OpenAI, 10년 넘게 풀리지 않던 수학 난제 10개를 AI로 해결
Ten advances in mathematics and theoretical computer science
OpenAI가 내부 버전의 차세대 모델 Astra를 사용해 고차원 기하학, 부호 이론, 군론, 양자 복잡도, 암호학 등 다양한 분야에서 10년 이상 미해결 상태였던 수학 및 이론 컴퓨터 과학 문제 10개에 대한 새로운 결과를 얻었다고 발표했다. 여기에는 에르되시 단위 거리 추측의 반례, 콘느의 강성 추측의 반증, 비소픽 군의 존재 증명 등이 포함된다. OpenAI는 이 결과를 Lean으로 형식화하고 인간 연구자들이 검토했으며, 연구 커뮤니티와의 협력을 강조했다.
AI가 생성한 증명에 대해 인간 저자임을 주장하는 것은 시스템의 기여와 진정한 인간 지적 작업의 본질을 모두 왜곡하는 것입니다.