選項
首頁
快訊
內容
AnthonyRoberts
AnthonyRoberts
2026-10-09

OpenAI 釋出了涵蓋 17 個領域的 722 個由人工智慧生成的數學證明,引發了關於成本效益和實際用途的爭論。儘管這些證明經過了機器驗證,但許多證明缺乏人類可解釋性,單個符號的錯誤會導致連鎖失敗。數學家們擔心,人工智慧只是重新組合現有知識,將整理和解讀海量輸出的負擔轉移給人類研究人員,而沒有產生數學研究核心的新穎見解。

評論 (0)
0/300
OR