MINUTES
關於 Minutes
返回最新列表

科學「簡直瘋狂」:數學家稱理解OpenAI最新成果可能需要數年

OpenAI一次發布近400項由人工智慧生成的數學結果,分散在700多份手稿中。數學家表示,梳理這些成果可能耗時數年;驗證程度不一,只有部分手稿附有形式化證明。

OpenAI數學人工智慧形式化驗證

TThe Verge★★★☆☆2026-10-09 19:09原文

「簡直瘋狂」:數學家稱理解OpenAI最新成果可能需要數年
「簡直瘋狂」:數學家稱理解OpenAI最新成果可能需要數年科學