과학 X/Twitter
AI 최초의 자율 수학 증명 — OpenAI 모델, 80년 에르되시 추측 반박
OpenAI의 범용 추론 모델이 1946년 폴 에르되시가 제기한 이산 기하학의 핵심 추측을 자율적으로 반증했다. AI가 수학의 주요 미해결 문제를 독립적으로 해결한 것은 역사상 처음이며, 다수의 수학자들이 독립적으로 검증했다.
1분 소요 42 조회
태그
#scientific-discovery
#scientific-discovery 태그가 달린 기사
과학
GPT-5.2, 이론물리 미해결 문제에서 새로운 해 도출: OpenAI Frontier 연구 성과 공개
OpenAI는 2026년 2월 13일 GPT-5.2가 이론물리 미해결 문제인 charged Cardy formula에 대해 새로운 해를 제시했다고 발표했다. Cambridge와 Flatiron 소속 외부 전문가 검토, 논문·모델 출력 공개까지 포함된 점이 핵심이다.
1분 소요 37 조회