跳到正文
原文
Wired · AI· Sophia Chen·· 2 天前AI 评分62

攻克数学难题曾是艺术形式,AI的出现改变了这一点

Solving Math’s Greatest Problems Was an Art Form. Then Came AI

AI 导读

OpenAI使用数千智能体解决了Navier-Stokes存在性与光滑性难题。数学家指出数学发现类似艺术探索,而OpenAI的暴力证明方式可能削弱人类理解。

来源:Wired · AI · wired.com