HN
Hacker News • 10일 전
IMP 10
OpenAI 모델, 이산기하학 핵심 추측을 최초로 반증
OpenAI의 범용 추론 모델이 80년 난제인 '평면 단위 거리 문제'에 대한 기존의 오랜 수학적 추측을 반증하는 증명을 자율적으로 완성했습니다. 이는 수학의 특정 하위 분야에서 AI가 유명한 미해결 문제를 해결한 첫 사례로, AI의 고차원적인 추론 능력과 독창적인 아이디어 도출 능력을 입증한 혁신적인 기록입니다.
OpenAI 수학 이산기하학