OpenAI 官宣 24 天完成 100 + 世界级数学难题攻关,AI 助力数学研究提速

OpenAI 对外发布消息,其 AI 系统在 24 天内完成 100 + 世界级数学难题的攻关工作,这套 AI 系统可以独立完成猜想推导、逻辑证明