[问卦] 训练AI数学证明能取代数学家吗

楼主: abcd991276 (QQ)   2024-05-31 02:44:56
如题
AI 能打败世界棋王
也能帮大学生写报告与论文
那训练AI写数学证明
能打败得过菲尔兹奖的数学家吗
证明数学家证不出来的猜想干五科宁
干五八卦

Links booklink

Contact Us: admin [ a t ] ucptt.com