OpenAI, 100만 달러 규모의 두 번째 수학 문제에서 진전을 이루었다고 밝혔습니다.

본문

논쟁의 여지가 있는 Navier-Stokes 주장이 있은 지 며칠 후, OpenAI는 또 다른 밀레니엄 상 수학 문제에서 "상당한 진전"을 이루었다고 말했으며 아직 어떤 문제인지는 밝히지 않을 것입니다. OpenAI는 수학의 가장 어려운 공개 문제에 대한 현금화를 완료하지 않았습니다. 적어도 문제를 해결한 공로에 대해서는 회사가 돈을 원하지 않는다고 말했기 때문입니다. Navier-Stokes 방정식에 대한 해결책을 주장한 지 며칠 후, OpenAI는 New York Times에 또 다른 밀레니엄 상 문제에서 "실질적인 진전"을 이루었다고 말했습니다. 이 문제는 Clay Mathematics Institute가 2000년부터 100만 달러의 현상금으로 지원한 7가지 그랜드 퍼즐 중 하나입니다. OpenAI는 여전히 그것이 어떤 문제를 의미하는지 밝히지 않았지만 전문가, 애호가, 기자들은 각자의 이론을 가지고 있습니다.

소셜 미디어를 통한 대화는 복잡한 기하학적 모양의 "구멍" 수를 계산하는 방법에 대한 1950년 퍼즐인 호지 추측(Hodge Conjecture)에 초점을 맞췄습니다. 이러한 종류의 크기는 너무 많아서 실제로 그림으로 그릴 수 없습니다. OpenAI는 그 추측을 확인하지 않았으며 작업 뒤에 있는 미공개 모델이 장기간 작업 및 에이전트 워크플로우를 위해 구축된 소문난 Aeon 버전이라는 소문도 확인하지 않았습니다. ^ 약 30분 전 Codex Desktop에 나타난 통계 기능 플래그에 추가된 새로운 슬러그 "aeon"은 "헤아릴 수 없을 정도로 또는 무한히 긴 시간, 시대 또는 영원"을 의미합니다. 지난 9월 8일 OpenAI는 미공개 내부 모델이 Lean 검증 증명을 생성했다고 밝혔습니다.

Lean은 한 번에 한 논리적 단계씩 수학 증명을 확인하는 소프트웨어로서 공기와 같은 유체가 물이 움직이면 물리적으로 불가능한 무한 속도로 "폭발"할 수 있습니다. Navier-Stokes는 항공기 설계, 일기 예보 및 의사가 혈류를 모델링하는 방법을 뒷받침하며 거의 90년 동안 완전한 수학적 설명을 거부해 왔습니다. NYU 수학자 Tristan Buckmaster는 4페이지짜리 성명서에서 자신의 입장을 밝혔습니다. 그와 인류학 연구원 Levent Alpöge는 거의 1년 동안 조용히 관련 증거를 추적하여 8월 22일까지 완료했습니다. OpenAI의 Sébastien Bubeck이 이 사실을 알고 먼저 출판하기 전이었습니다. Buckmaster는 Bubeck이 자신이 경쟁 연구소에서 일하고 있기 때문에 OpenAI가 팀 다음 날 출판하도록 하거나 Alpöge 없이 혼자 작성하라고 지시했다고 말했습니다.

같은 주에 Anthropic은 자사의 Claude 모델이 11일 만에 358년 된 페르마의 마지막 정리 증명을 공식화했다고 밝혔으며, 수학자 Terence Tao는 AI 연구소가 서로 경쟁하면서 새로운 문제를 발견하는 것보다 더 빠르게 어렵고 유용한 문제를 수학의 공급으로 소모하고 있다고 경고했습니다. OpenAI는 어떤 결과를 게시해도 100만 달러의 상금을 쫓는 것이 아니라 이 문제를 공개 척도로 사용하고 있다고 말합니다.