陶哲軒警告數學將迎證明過剩危機
陶哲軒以個人身分發表論文，警告AI生成的證明可能讓數學從「證明稀缺」轉為「證明過剩」，逼迫學界重新制定發表與教學規範。
AI科研 資訊與深度分析
收錄 AI科研 相關產品動態與產業觀察，共 7 篇文章。
尋明生科1億美元押注生物模型
尋明生科完成1億美元B輪融資，將資金投入生物基礎模型、OpenDDE與濕實驗回饋閉環。
Claude把零點下界推至67%
Anthropic 稱未發布研究版 Claude 將黎曼 zeta 零點相關下界從 41.6% 推到 67.2%，並公開論文、專家說明與 Lean 形式化。
OpenAI讓Astra寫出十個證明
OpenAI以Astra的內部版本公開十項數學與理論計算機科學成果，並同步發布249頁論文、Lean證書與推理記錄。
GPT-5.6交出圖論證明
GPT-5.6交出圖論證明。本文整理已核驗事實，以及這則消息背後的產業訊號。
Anthropic 推出實驗室工作台 Claude Science
Anthropic 推出實驗室工作台 Claude Science。本文整理公告與報導重點、關鍵數字、企業說法，以及對市場或監管的含義。
Anthropic 推出可稽核的 Claude Science
Anthropic 推出可稽核的 Claude Science。