解决数学最大难题曾是一门艺术,直到人工智能出现
wired ·
OpenAI 最近声称利用数千个 AI 智能体解决了存在数十年的纳维-斯托克斯存在性与光滑性问题,这在数学界引发了争议。批评者认为,这种蛮力方法破坏了数学的艺术性和创造性本质,而数学更看重深入的理解而非仅仅得出结果。许多数学家感到,AI 捷径化了发展新理念所需的深思熟虑过程,可能导致在缺乏理解的情况下产生解决方案。由菲尔兹奖得主签署的一份声明警告称,大规模生产证明可能会摧毁人类创新的沃土。洛伦佐·加瓦西诺(Lorenzo Gavassino)等专家强调,复杂计算中固有的挣扎往往能激发突破性概念,例如虚数。此外,人们还担心透明度、归属权以及用自动化计算取代研究生训练所带来的伦理影响。尽管 OpenAI 已成立咨询小组以解决这些担忧,但关于 AI 在未来科学发现中角色的紧张关系依然存在。
wired