4 道長期未解數學題被 AI 破解：新創 Axiom 如何把 AI 推向「可驗證推理」的新階段？

<p>專注於數學推理的 AI 新創公司 Axiom，近期因其 AI 系統成功破解多道長期未解的數學問題，引發學界與科技圈關注。 不同於多數大型語言模型著重文字生成，Axiom 的目標是打造能產出並驗證數學證明的 AI 系統，方法結合了大型語言模型與專有的 AI 系統，讓推理結果可被形式化檢驗，從而達...