在 AxiomProver 獲得 Putnam 數學奧林匹克競賽滿分後，我們覺得是時候從數學奧林匹克競賽轉向“成人”數學——也就是數學研究了！ 我們也認為選擇一個理論構建領域至關重要。 這是人工智能數學家探索之旅的第一個小型測試案例。
本文為機器翻譯
展示原文
Axiom
@axiommathai
02-06
1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance.
This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.
來自推特
免責聲明：以上內容僅為作者觀點，不代表Followin的任何立場，不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
