AI가 imo 은메달 성적 받고 그러니까
수학자들이 모여서 AI 수준 평가하는 문제들을 새로 만든거 같음
현재 있는 어떤 AI 모델들도 2% 미만의 문제해결률이라고 함
데이터 오염 문제 때문에 모든 문제는 공개되지 않은 새로운 문제라고 함
60여명의 수학자들이 만들었다고 하는데 대수기하학~집합론까지 여러분야의
전문 수학자들도 시간을 써야하는 수준의 문제들인듯
대충 타오, 가워스, 누군지 모르지만 IMO 코치가 이거는 AI가 풀기 어려울 것입니다 라고 하는 중
샘플 문제라는듯
다른 샘플 문제나 솔루션이 궁금하면 여기서 보면 될듯 : https://epochai.org/frontiermath/benchmark-problems
https://arxiv.org/abs/2411.04872
왜 imo는 잘 푸는거? - dc App
imo 문제랑 정답률차이가 많은건 imo 문제 자체를 학습해서인가?
아무래도 지금까지 쌓인 문제들이 있기도 하고 학생들이 보는 시험이다 보니까 출제 범위가 정해져서 그런거 같음 그래서 유형화가 비교적 잘 되어있는 기하를 잘하고 유형화가 잘 안되는 조합론쪽 문제를 잘 못푼거 같기도 함 / 프론티어매쓰는 출제범위 같은건 진짜 문제내는 사람 마음대로이고 사용하는 개념들도 더 어려운 것들이니 아직 AI에게는 어려운듯
신기한거 하네
앞으로 ai들이 이런 문제들을 어느 정도 푸는지 테스트하는 거 아님? 이런 걸 하는 이유가 뭐임?