[일반] 인공지능은 이미 수학 증명을 할 수 있다.

[익명(222.112)]

https://m.dcinside.com/board/math/55660

테렌스 타오가 얘기하는 인공지능과 수학

Imo 문제를 10%가량은 해결한다는데,
이러면 인간 수학자 레벨이 아닐뿐 평범한 고등교육 받은 사람은 아득히 뛰어넘은 수준이란 거지

[수갤러 1(59.5)]

> 이러면 인간 수학자 레벨이 아닐뿐 평범한 고등교육 받은 사람은 아득히 뛰어넘은 수준이란 거지 대단하다고 할 수도 있겠지만 아직은 수학자들을 놀래기 어렵기도 한 거고.

[수갤러 2(175.208)]

IMO 문제라는게, 기존에 출제됐던 문제들 말하는거야? 그건 풀이가 인터넷에 있잖아. 올해. IMO 문제 뜨자마자 물어보면 어떻게 될지 알 수 있겠지.

[수갤러 3(223.39)]

imo도 기하 문제만 풀던데 유클리드 기하 깔짝댄다고 수학자 대체 ㅇㅈㄹ ㅋㅋㅋㅋ - dc App

[수갤러 4(211.234)]

기하문제는 오픈북을 학습하지 않았음. 어떻게 학습한건진 alphageometry 참고

[네모누리(nemonuri)]

알파고 나오기 한참 전 부터 수학자들은 이미 수학 증명하는 인공지능을 연구하고 있었는데. 힐베르트 프로그램이라던가, SAT Solver 라던가.