[일반] 수학계가 30년 안에 인공지능에게 먹힐 가능성이 얼마나 되나요?

[익명(211.36)]

수학 증명의 과정은 새로운 길을 만들어나가는것이라 인공지능이 어려워할것 같다고 생각합니다만 요새 인공지능의 발전 속도가 너무 빨라진것 같아요

[익명(223.38)]

이미 새로운 공리계에서 식 자동도출하는것도 먹히고있음.

[익명(211.36)]

아.. 공리계를 바꾸는거는 ㅠㅠ 너무 추상적이라서 인간은 쓰기 어려운 방법이네요

[익명(106.101)]

새로운 공리계가 뭘 말하는거임?