[일반] 대충 IMO 골드 수준의 AI를 연구자들이 목표로 한다는 기사

[익명(125.130)]

https://www.quantamagazine.org/at-the-international-mathematical-olympiad-artificial-intelligence-prepares-to-go-for-the-gold-20200921/

시도한다는 내용이지 아직 성공했다는 것은 없지만 과연 얼마만에 IMO 문제풀이도 따일 수 있을까

[익명(39.7)]

1,4번 논증기하나 부등식같은건 딸 수 있을거같은데

[익명(125.130)]

알파고처럼 인간보다 더 나은 퍼포먼스 보일라나?

[익명(39.7)]

일단 개발할 수만 있다면 그렇겠지?

[익명(113.30)]

IMO 도장깨기하는 AI라니;

[익명(125.130)]

IMO 도장깨기 AI 나오면 수잘갤러들 경시대회 컴플렉스 해방ㄷㄷ

[llll(111.118)]

imo challenge자체는 좀 된거일텐데 업데이트된게 있나? 글구 gpt-f 증명같은거 보면 ㅋㅋㅋㅋ 쟤네가 풀어도 인간이 이해할만한 방식은 아닐듯

[익명(125.130)]

ㄹㅇ 인간이 이해할 방식은 아닐듯

[익명(125.130)]

좀 됐다기엔 아직 1년 정도라서 더 갈 길 먼듯

[익명(61.255)]

특별히 주목할만한 일이 없다고 하는거보면 아직 멀은듯. 언젠가는 AI가 수학도 넘는 날이 오기는 하겠지.

[익명(118.235)]

IMO 따이면 경시 우짜냐