[일반] Ai가 스스로 난제를 푼다(X) 수학자가 Ai를 활용한다(O)

[익명(shore1232)]

언젠가는 ai 스스로 다하겠지만

O4, O5 나와도 얘네들 스스로는 난제 해결 못할거고

한동안은 타오같은 수학자들이 그걸 활용해서 결과를 내게 될듯

물론 이정도만 해도 대격변 수준. 

4색정리 컴퓨터 증명도 당시엔 논란이었는데

Ai의 도움을 받는다? 

이거 못받아들이는 수학자들 많을듯 

[어브리(abbreviate)]

증명만 제대로 나오면 상관없지 ai가 하든 4색정리때랑은 다를걸

[Ausus2(chess237)]

근 3~4년간은 확실히 그럴듯 - dc App

[익명(124.199)]

4색 증명 얘기는 케이스 최대한 줄였는데도 너무 많은거 컴퓨터한테 다 시켜보고 확인한 증명이라 멋이 없다고 그러는 거고 AI가 만든 증명이라도 인간보다 멋진 증명은 충분히 나올 수 있을 것 같음