MathAtlas：針對研究所等級自動形式化的全新基準測試
MathAtlas 是一個包含 52,000 筆研究所等級數學內容（如定理、定義與證明）的大型基準測試。它引入了數學依賴圖，旨在測試模型在處理複雜、多步驟數學結構時的推理能力。
Search
Tag: #mathematics40 results
陶哲軒推薦Claude Code處理修訂
菲爾茲獎得主陶哲軒讚揚Claude Code僅用15分鐘處理論文所有審稿意見。該AI不僅快速完成修訂，還反向找出審稿人的錯誤。
AI重塑數學研究與教育規則：陶哲軒證實學生閉卷成績已現下降趨勢
OpenAI核心高管Mark Chen與菲爾茲獎得主陶哲軒在UCLA IPAM對談，揭露AI對數學研究的變革。AI已從低效研究生進化為高中數學與程式競賽金牌水準。陶哲軒指出學生閉卷成績下降，AI成為常態生產力工具。
🔬
不穩定的神經網路與數學悖論
本文探討了神經網路的理論局限性，將 Matthew Colbrook 關於不穩定系統的研究與 Gödel 的不完備定理連結起來。它挑戰了業界認為增加數據和算力就能解決所有問題的預設觀點。
🔬
Terence Tao 12 年前的預言由 AI 實現
著名數學家 Terence Tao 已成為 AI 的熱情倡導者，他指出現代模型終於實現了他對自動化推理的長期預言。
深入探討機器學習中的線性高斯系統
這份教育資源針對線性高斯系統與多元常態分佈提供了詳盡的推導與直觀解釋。內容涵蓋了狀態估計、感測器融合及時間序列預測等領域的核心概念。
CrowdMath：用於協作數學推理的新數據集
CrowdMath 是一個包含 164 個經專家標註的協作數學研究討論鏈的新數據集。它旨在彌補解決明確定義問題與開放式問題解決過程中複雜、迭代過程之間的差距。
數學證明形式化中的人機協作工作流程
本研究分析了數學家如何將 AI 整合至證明形式化的工作流程中。研究顯示，儘管偏好各異，但在使用者保持對發現過程的高層次控制時，AI 工具能顯著提升形式化的準確性。
Axiom Math 推出免費 AI 數學工具 Axplorer
位於帕羅奧圖的 Axiom Math 新創公司推出 Axplorer，這是一款免費 AI 工具，幫助數學家發現模式以解決長期問題。它是 François Charton 於 2024 年共同開發的 PatternBoost 的重新設計。此工具旨在革新數學研究。
壓縮即是你所需：數學建模
研究人員使用階層式定義和單子，將人類數學建模為形式數學的可壓縮子集。對 MathLib 的分析顯示，展開長度隨深度呈指數增長，符合阿貝爾單子模型。這建議將自動推理導向可壓縮區域。