#數學研究
6 篇文章
TechLab 所有關於「數學研究」嘅文章、評測同教學，由最新排起。
Tech NewsOpenAI Astra 交出十項數學成果：識創新，定係識拼文獻？
OpenAI 未公開模型 Astra 一口氣交出十項數學成果，有新界限、反例同完整構造，部分論證亦有 Lean 證書。不過成果成立、方法有新意、模型可重複做到，係三個唔同問題；而家最缺嘅資料，正正係失敗次數、人類點引導同外部同行評審。
Tech NewsClaude 拉 60 個 subagents 攻黎曼猜想：67.2% 進展到底有幾實在
Anthropic 話未發布版 Claude 將黎曼 zeta 函數臨界線零點嘅已知下限，由 41.6% 推高至 67.2%。成績夠搶眼，但模型冇解開黎曼猜想，完整研究流程亦未有外界重現。真正值得睇嘅係，AI agent 已經識得分工、查文獻、互相挑錯同交出可核對成果。
Tech NewsOpenAI Astra 一口氣交十項數學成果，AI 原創研究去到邊一步？
OpenAI 未公開模型 Astra 交出十項數學同理論電腦科學成果，仲附上 Lean 證書。件事證明 AI 已經摸到原創研究門口，不過「十題全解」講大咗：部分成果只係改善已知界限，形式驗證亦取代唔到專家判斷、文獻追溯同研究價值評估。
Tech NewsAstra 交出十項數學研究成果，AI 科研協作去到邊？
OpenAI 話未公開嘅 Astra 推進咗十項數學同理論電腦科學研究，仲交出論文同 Lean 證明。成果份量唔細，不過十項都係官方揀出嚟嘅成功個案，外界暫時重跑唔到模型，真正命中率同研究成本仍然係問號。
Tech NewsOpenAI Astra 推進十項數學難題，AI 開始試做長時間原創研究
OpenAI 公開內部模型 Astra 推進十項數學同理論電腦科學難題，亦放出論文、推理整理同 Lean 證明檔。真正值得睇嘅位，係模型識得長時間試路、撞板再重組思路；不過機器驗證、專家閱讀同正式同行評審，仍然係三個唔同層次。
Tech NewsClaude Fable 5 搵到雅可比猜想反例，數式驗到但「AI 證偽」要收窄
Anthropic 數學家 Levent Alpöge 公開一組由 Claude Fable 5 協助搵到嘅三維多項式，聲稱推翻 1939 年提出嘅雅可比猜想。關鍵數式已有獨立覆核，不過完整 prompt、人手篩選同推導紀錄仍然欠奉，講成 AI 獨力解決難題就行得太快。