Anthropic 的 Claude AI 在 11 天內產出了第一份完全經過電腦檢查的費馬最後定理證明,撰寫了代表迄今所建立最長數學證明的 1300 萬行程式碼。該 AI 系統完成了一項形式化專案,而倫敦帝國學院由人類主導的團隊自 2024 年起一直在進行這項工作,卻尚未完成。領導人類專案的數學家 Kevin Buzzard 審閱了 Claude 的證明,並確認僅使用數學基本公理便能成立,驗證了這個在 Pierre de Fermat 於 1637 年首次提出後持續 358 年未解問題的解答。 Claude AI 在 11 天內完成 1300 萬行證明 Anthropic 表示,Claude 產出了 1300 萬行電腦可以逐行檢查的程式碼。這份證明的規模超過 Mathlib 的五倍;Mathlib 是數學家進行形式化工作時使用的共用函式庫。在哥倫比亞大學建構 AI 形式化工具的 Tianyi Peng 領導下,數十個 Claude 代理程式並行工作,撰寫定義、證明小型結果,並在除了偶爾提供指引外幾乎沒有人工介入的情況下,將這些結果組合成更大的證明。 這些代理程式起初難以協調,會忘記已
General Motors 與 Ford Motor 正將延續百年的競爭擴展至美國國防合約與能源儲存系統。在川普政府接觸美國企業、尋求其大規模生產專業的協助後,Ford 今年加入 GM,尋求美國軍方合約。兩家汽車製造商也同時進入能源儲存系統市場,預期消費者能源成本上升與資料中心將帶動需求成長。在電動車業務損失數十億美元後,兩家公司正尋求新的成長領域,因此展開上述業務拓展。華爾街分析師認為,隨著美國新車銷售放緩,國防與能源儲存可能成為多元化發展機會,補足汽車製造商的核心業務。 GM 與 Ford 進入能源儲存市場 根據研究與顧問公司全網市場前沿,全球能源儲存系統市場預計將從 2024 年的 6687 億美元成長至 2034 年的 5.12 兆美元。GM 與 Ford 投入數十億美元興建電池芯工廠,以滿足原本預期但未能實現的電動車需求,如今正試圖把握預期中的能源儲存成長。 Ford 於 12 月宣布計畫投入 20 億美元啟動能源業務。這家汽車製造商計畫將與合作夥伴 SK On 在肯塔基州興建的電池工廠改造為能源儲存設備生產基地,預計於 2027 年底前完成。Ford 也計畫在密西根州馬歇