[問卦] 訓練AI數學證明能取代數學家嗎

作者: abcd991276 (QQ)   2024-05-31 02:44:56
如題
AI 能打敗世界棋王
也能幫大學生寫報告與論文
那訓練AI寫數學證明
能打敗得過菲爾茲獎的數學家嗎
證明數學家證不出來的猜想乾五科寧
乾五八卦

Links booklink

Contact Us: admin [ a t ] ucptt.com