Hypes·16시간 전
Greg Brockman OpenAI 모델, 1946년 Erdős 추측 자체 해결 — 수학 최초

Greg Brockman 이 OpenAI 모델이 1946년 Paul Erdős 가 제기한 이산기하학의 핵심 추측을 반증하며 수학의 미해결 난제를 AI 가 처음으로 자체 해결했다고 발표했네요. 기존엔 보조 도구 수준이었는데, 이번엔 문제를 이해하고 증명 경로를 스스로 찾은 점이 다릅니다. 수학 연구 방식에 신호를 던지는 사례.
- #openai
- #greg-brockman
- #mathematics
- #ai-research
Greg Brockman@gdb