#scientific-discovery

OpenAI의 범용 추론 모델이 1946년 폴 에르되시가 제기한 이산 기하학의 핵심 추측을 자율적으로 반증했다. AI가 수학의 주요 미해결 문제를 독립적으로 해결한 것은 역사상 처음이며, 다수의 수학자들이 독립적으로 검증했다.

OpenAI는 2026년 2월 13일 GPT-5.2가 이론물리 미해결 문제인 charged Cardy formula에 대해 새로운 해를 제시했다고 발표했다. Cambridge와 Flatiron 소속 외부 전문가 검토, 논문·모델 출력 공개까지 포함된 점이 핵심이다.