ChatGPT 首次獨立證明數學假設！AI 除了 vibe coding 更進步到「vibe proving」 |
作者
TechNews 編輯台|發布日期
2026 年 03 月 31 日 11:10 |
|
比利時布魯塞爾自由大學（Vrije Universiteit Brussel，VUB）資料分析實驗室最新研究，商用大型語言模型首次證明獨立產生原創數學證明。團隊指出，OpenAI ChatGPT-5.2 Thinking 成功解開一個數學問題，並催生名為「vibe proving」的新 AI 推理法。 繼續閱讀..
Axiom 稱旗下 AI 工具破解四道數學難題！AI 推理力進步或對資安系統有重大影響 |
|
作者
TechNews 編輯台|發布日期
2026 年 02 月 05 日 12:00 |
|
數學界的人工智慧進步也引起關注。最近 Axiom 新創公司宣稱旗下 AI 工具 AxiomProver 成功解決四個長期未解的數學問題，引起學術界熱烈討論。這些問題涉及代數幾何和數論等領域，是數學界多年未解的難題。 繼續閱讀..
