[%] AI가 수학 난제 증명도 할 수 있을까

[익명(118.235)]

어려운 증명은 학습 데이터가 없어서 힘들 것 같긴 한데

[익명(210.178)]

지금 AI는 인터넷 데이타 프롬터인데 그걸로 어떻게

[익명(210.97)]

out of distribution 이라 불가능 AI가 더 발전해서 out of distribution에 대한 추측능력이 생기면 가능

[익명(211.36)]

어디 레딧 개소리 긁어와서 보여줄듯.

[개추35댓22(2xvkdqoe893r)]

외않되 - dc App