研究 / RESEARCH新聞 / NEWS
Claude 十一天完成費馬大定理首個機器檢查證明
Anthropic 公開 Claude 於 11 天內寫成的費馬大定理首個完整電腦檢查證明:1,300 萬行 Lean、29,500 個中間定理,已於 GitHub 開源。
本日共 4 則報導,依發布時間排列;刊登標準與來源分級見編輯方法。
共 4 則文章 · 全部日報
Anthropic 公開 Claude 於 11 天內寫成的費馬大定理首個完整電腦檢查證明:1,300 萬行 Lean、29,500 個中間定理,已於 GitHub 開源。
路透社獨家指 Anthropic IPO 最早 10 月中旬路演、11 月中期選舉前數日掛牌,招股書延至 9 月下旬;年化營收達 650 億美元,投資人估值傳 2 兆美元。
GPT-6 Astra 分階段推送讓付費訂閱者看得到用不到,Altman 公開致歉並宣布每缺一天補一次可儲存的用量重置,Pro 等方案已開放、Plus 分批推送中。
NVIDIA 10-Q 顯示股權投資達 990 億美元、另有 250 億美元承諾;Intel 約 300 億、SpaceX 約 210 億是最大部位,單季證券收益 78 億美元計入 GAAP。