과학 X/Twitter
80년 묵은 에르되시 기하학 추측, OpenAI 모델이 반증
OpenAI의 범용 추론 모델이 수학자 폴 에르되시가 1946년에 제시한 기하학 난제를 자율적으로 해결했다. AI가 수학의 주요 미해결 문제를 스스로 풀어낸 최초의 사례로, 외부 수학자들이 증명을 검토하고 검증했다.
1분 소요 38 조회
태그
#erdos
#erdos 태그가 달린 기사
과학 X/Twitter
AI 최초의 자율 수학 증명 — OpenAI 모델, 80년 에르되시 추측 반박
OpenAI의 범용 추론 모델이 1946년 폴 에르되시가 제기한 이산 기하학의 핵심 추측을 자율적으로 반증했다. AI가 수학의 주요 미해결 문제를 독립적으로 해결한 것은 역사상 처음이며, 다수의 수학자들이 독립적으로 검증했다.
1분 소요 42 조회
LLM 레딧
GPT-5.4 Pro의 에르되시 문제 풀이법, 60년 묵은 또 다른 난제에도 통했다
GPT-5.4 Pro가 에르되시 문제 1196을 풀기 위해 생성한 증명 방법이 60년 된 또 다른 에르되시 추측을 포함한 여러 문제에 성공적으로 적용됐다.
1분 소요 42 조회
과학 해커뉴스
ChatGPT가 건드린 60년 묵은 에르되시 문제, HN이 놀란 이유
HN은 이번 수학 이야기를 "AI가 또 해냈다"보다 사람이 못 본 길을 찍어준 사건으로 봤다. 거친 GPT-5.4 Pro 초안을 수학자들이 추려내고 다듬는 과정 자체가 더 큰 화제가 됐다.
2분 소요 43 조회