[일반] 내년이면 IMO 만점급 AI 나오지않을까?

[익명(115.138)]

내년도 아니라면 내후년?

발전속도 보면 충분히 그럴거같은데

[익명(anxious1657)]

그럼 좋겠다 인간은 그냥 놀고만 먹을 수 있게

[익명(180.20)]

imo 만점이랑 놀고 먹는거랑 무슨 상관..

[수갤러 1(122.40)]

mo난이도에 따라서.. 쉽고 llm 친화적으로 나오면 지금도 만점받읋수 있을듯

[익명(210.205)]

AI가 IMO 만점을 받든 프론티어매스 만점을 받든 의미가 없음 어차피 수학의 핵심은 증명인데 AI는 명제 증명을 너무 못함

[수갤러 2(211.118)]

o1이 2024년 9월에 나왔는데 그전에는 calculus도 잘 못한다고 깠음. 2025년 4월에 o3나오니깐 학부 수학은 얼추 정리된다 그런 공감대 형성. 하지만 증명이 엉성하여 유능한 수학도보다 못하다고 평가. 이제 7월에 o3 + ? 가 나왓는데, imo 1등에 왠만한 수학도보다는 높은 확률로 높다고 됨. 구글 alphaproof인지는 아직 공개도 안햇고, 구글도 현재 imo 금메달 딴걸로 추정되고 잇음. 이 모든게 1년도 안된 타임라인에 벌어진 일임.