數學

09-25美股雷達

通過「哥德爾測試」！GPT-5不僅會算 還能提出人類沒想到的解法

AI 領域迎來歷史性一刻，GPT-5 成功通過「哥德爾測試」，並破解了三大組合優化猜想。這項突破讓 OpenAI 的研究科學家大為震驚，尤其是 GPT-5 不僅能解決這些複雜的數學問題，還能自主推翻原有的猜想，提出全新的有效解法。根據最新發布的研究論文，GPT-5 在由海法大學和思科主導的計畫中，首次面對開放性數學猜想的挑戰。

07-22科技

Google與OpenAI AI模型勇奪國際數學奧林匹亞金牌！創下史上首次紀錄

Google (GOOGL-US) 與 OpenAI 近日宣布，他們開發的人工智慧（AI）模型在全球頂尖「國際數學奧林匹亞」（IMO）數學競賽中，首度雙雙奪金。這是 AI 系統首次在該競賽中達到此一成就，使 AI 推理能力跨出重要一步。根據《路透》報導，兩家公司的模型分別成功解出 6 題中的 5 題。

05-15科技

72小時破解300多年數學難題！谷歌推出自我進化AI工具AlphaEvolve 晶片算力狂飆23%

全球科技圈周三 (14 日) 被一則爆炸性消息引爆，蟄伏一年的谷歌(GOOGL-US) 秘密武器「AlphaEvolve」正式亮相，這個融合 Gemini 大模型的「AI 進化引擎」不僅破解困擾數學家 300 年的「接吻數難題」，更在晶片設計、AI 訓練等領域掀起效率革命。

02-24科技

數學界聖杯「黎曼猜想」破解有望 關鍵就在Grok3？

馬斯克旗下 AI 聊天機器人 Grok3 發布後，有傳聞 Grok3 在訓練過程中證明了「黎曼猜想」，這消息震撼了數學界。創投公司 IBC Group 創辦人 Mario Nawfal 日前也發文表示，破解黎曼猜想的競賽正在升溫，而 Grok 3 可能正是關鍵所在。