AI Briefing미출시 OpenAI 모델, Hadwiger 추측 반증하며 AI 수학 시대 가속
·2026.10.22 14:56
핵심 내용
미출시 OpenAI 모델이 Hadwiger 추측을 반증하며 AI 주도 수학 시대의 급격한 도래를 알렸다.
자세히 보기
- 미출시 OpenAI 프런티어 모델이 반례 그래프 존재에 대한 확률적 논증으로 Hadwiger 추측을 반증함. 해당 결과는 4,000개 주요 문제 실행 후 생성된 'math repo'의 수백 개 주요 결과 중 하나임.
- John Loeber 추산에 따르면 모델은 문제당 약 3.5시간 분량의 ChatGPT-Pro-Thinking 등가 컴퓨트를 소비했으며, 문제당 비용은 약 100달러로 추정됨.
- Navier-Stokes 존재성과 매끄러움 문제는 GPT-6 Astra 출시 며칠 후 해결됨. 이에 Loeber는 자신의 Hadwiger 추측 연구가 상대적으로 자명해져 작업을 중단함.
- Loeber는 비공개 Lean4 포크와 커스텀 하네스를 포함한 정교한 커스텀 엔지니어링이 베이스 모델 개선으로 인해 구식이 되었으며, 약 100만 줄의 Lean 정리가 무의미해졌다고 주장함.
- 'AI-math 시대'로의 전환은 점진적이지 않고 돌발적이었으며, 인간-AI 협업 창구는 해당 분야가 완전히 AI 주도로 바뀌기 전까지 약 한 여름 동안만 지속됨.
- AI가 생성한 결과의 약 50%는 평문으로 생성된 후 Lean으로 형식화되는 것으로 보이며, Loeber는 형식 검증 없이 일관성을 유지하는 인지적 난이도 때문에 이를 '미친 짓'이라고 평가함.
- 수학 공동체는 충격 또는 부인 상태에 있으며, 주요 기여를 할 개인 확률은 '희박'에서 '제로'로 떨어지는 반면 발견된 진리에 대한 접근은 무한해짐.
- Loeber는 Frontiermath 같은 정량적 평가 대신 인상으로 진전을 측정했으며, 결정 불가능한 문제는 무한한 AI 답변 가능성에서 제외된다고 언급함.
이 한국어 요약은 AI가 자동으로 만들었습니다. 원문의 주장과 맥락은 원문에서 확인해 주세요. 저작권은 원저작자에게 있습니다.
