FrontierMath: Erdős Problems
높을수록 좋음
수학자 에르되시가 남긴 미해결 문제 가운데 2026년 8월 기준 아직 풀리지 않은 추측 68개를, AI가 기계가 검증할 수 있는 증명(Lean)으로 증명하거나 반증해야 합니다. 문제마다 한 번, 최대 300달러와 72시간이 주어집니다. 점수는 0~100%입니다. 높을수록 좋습니다.
최고 점수2.9%GPT-6 Astra
측정한 모델5개
최근 갱신2026.09.01
모델 출시 시기 (오른쪽이 최신)
그때까지의 최고 기록위로 갈수록 좋음
순위모델실행 조건출시일가격/1M점수
- 1max2026.09.04$402.9%
- 2max2026.09.01$400.0%
- 2xhigh2026.04.23$240.0%
- 2max2026.06.09$400.0%
- 2max2026.07.09$160.0%
"작업 도구"는 AI가 과제를 풀 때 함께 쓴 실행 환경(에이전트 프로그램)입니다. 같은 모델이라도 작업 도구와 추론 강도에 따라 점수가 크게 달라질 수 있습니다.