科技 · 新闻详情
《新科学家》：数学难题证明不再稀缺 AI让数学进入混乱时代
真正值得关注的不是cnBeta这一条动作本身，而是它可能把「互联网」的竞争焦点推向更大范围的连锁反应。
发生了什么：人工智能正在进入数学最核心的领地。过去，人们习惯把计算机视为高速计算器或证明检查器，如今，新一代模型已经能够提出证明思路、搜索反例、形式化复杂论证，甚至直接参与开放问题研究，这让数学界第一次认真面对一个令人不安的问题：如果机器也能“做数学”，人类数学家的价值将转移到哪里？
为什么重要：它提示了一个值得继续跟踪的变化方向。
观察窗口：接下来观察它是否会引发更多同类动作，以及影响范围能否扩大。
正文来源：非原文：为保证每日生成稳定，未启用实时抓取源网页正文，以下为已有摘要与自动整理内容
原文链接：https://www.cnbeta.com.tw/articles/science/1577806.htm
原文链接：https://www.cnbeta.com.tw/articles/science/1577806.htm
人工智能正在进入数学最核心的领地。过去，人们习惯把计算机视为高速计算器或证明检查器，如今，新一代模型已经能够提出证明思路、搜索反例、形式化复杂论证，甚至直接参与开放问题研究，这让数学界第一次认真面对一个令人不安的问题：如果机器也能“做数学”，人类数学家的价值将转移到哪里？
阅读全文
机器翻译/自动整理可能存在误差，请以原文为准。
继续阅读
正在加载推荐…