OpenAI의 722개 수학 논문은 승리가 아니라 경각심을 불러일으키는 신호입니다

OpenAI가 하루에 722개의 AI로 작성된 수학 논문을 출판한다는 것은 사람들을 환호하거나 당황하게 만드는 일종의 헤드라인이며 두 반응 모두 요점을 놓치고 있습니다.

유용한 부분: 컴퓨터가 한 줄씩 확인할 수 있는 Lean 버전과 함께 많은 교정본이 제공됩니다. 그것은 현실이며 위원회 없이 검증할 수 있는 수학을 향한 한 걸음입니다.

불편한 부분: 결과가 아니라 과정에 반대하는 수학자들이 볼륨 자체를 '슬로포칼립스'라고 불렀습니다. 그 어느 것도 밀레니엄 상 문제를 해결하지 못했습니다.

우리 모두를 위한 교훈: AI는 이제 우리가 확인하는 것보다 더 빠르게 전문가 수준의 작업을 생성할 수 있습니다. 병목 현상은 결코 세대가 아니었습니다. 그것은 검증이었고, 지금도 그렇습니다.

능력을 축하하되 점검을 구축하십시오. 그것이 생성하는 것을 검증할 수 없는 세상은 자신감 넘치는 넌센스를 대규모로 배송하는 세상입니다.