首次,AI成功推導出λ-演算中N元組的通用"foldr"函數。這是Gemini Pro 2.5,搭配Deep Think。所有其他模型都無法做到這一點,包括o3和Grok 4。@GoogleDeepMind 取得了不錯的進展。
@GoogleDeepMind(關於 Bend,我們決定將在十月開始發布相關內容,這很可能是發布的月份。)
73.45K