[일반] 수학이 먹히기까지 얼마나걸릴까

[익명(orangestar1122)]

적어도지금시점으로는 LLM기반이나 RL기반이나 실제로써먹을만한성능안나오는거같고

알파프루프 <<< 이건좀궁금하긴한데 기사하나띡내고 추가로풀린게아무것도없고 (얘도 조합론문제는 못푸는거같고)

저걸로 쓸만한 성능이나와도 잘하는게정해져잇다보니까 타오가말한것처럼 사람이 유용하게써먹는 도구정도될테고 수학자 완전대체할려면 강인공지능나와줘야할것같은데

[익명(211.62)]

2~5년

[익명(125.182)]

ㅇㅇ 결국 agi가 등장하는게 관건일듯. 지금은 벤치 성능 높이고 특정 분야에서 잘한다고 하더라도 도구로써의 느낌이 지워지지가 않음. 에이전트가 나오고 나서는 agi 느낌이 훨신 더 나지 않을까 싶네 - dc App

[익명(shore1232)]

수학 하나때문에 agi 골대 계속 뒤로 밀릴수도..