에르되시의 전설적인 문제들이 왜 인공지능에 풀리는가

OpenAI는 내부 AI 모델이 폴 에르되시의 단위 거리 문제에 대한 반례를 발견했다고 발표했다. 이는 1946년에 제기된 추측이다. 그 결과는 이후 인간 수학자들에 의해 개선되었지만, 먼 수학 분야의 아이디어를 사용했다는 점에서 참신했다. 8월 1일, OpenAI는 또 다른 모델인 Astra가 10개의 추가 수학적 돌파구를 달성하여 에르되시 문제 3개를 더 풀었다고 발표했다. Noga Alon은 이러한 모델들이 수학 연구를 급진적으로 변화시키고 있다고 언급했다. Thomas Bloom은 2023년 초에 erdosproblems.com 웹사이트를 만들어 에르되시 문제들을 모았고, 2025년 8월에는 댓글 섹션을 추가하여 커뮤니티를 조성했다. 아마추어 수학자 Wouter van Doorn은 커뮤니티의 도움으로 문제 1102를 풀었고, Terence Tao로부터 피드백을 받았다. 이후 Kevin Barreto와 Liam Price는 GPT-5.2와 GPT-5.2 Pro를 사용하여 문제를 풀기 시도했다. 그들은 문제 333을 풀었지만, 에르되시가 1977년에 이미 해결한 것으로 밝혀졌고, 이후 이전에 해결책이 없던 문제 728을 풀었다.