2000美元算出十年未解难题

8月1日, 官方把一条惊动学术界的消息给公布了, 在数学跟理论计算机科学范畴这样的领域里, 有十项一直悬着没解决的难题被成功破解了, 这些问题的关键研究最少十年都没有真正的进展, 绝大部分甚至时间更久。然而破解它们的可不是人类数学家, 而是下一代核心模型Astra的内部版本。依照Sol API的费率来计算, 解决这些问题耗费的总共的词元成本大概是2000美元, 换算成人民币是13530元。

这一消息, 迅速在学术圈引发挺大震动, 此消息, 也迅速在科技圈带来巨大波澜。在过去十年当中, 全球顶尖的那些数学家, 在这些难题之上, 投入许许多多的精力以及经费, 然而现在, 却被一个AI系统, 以成本不到两万元人民币给攻克。这实在不禁使人们去思考: 数学研究的门槛, 是不是已经被彻彻底底给颠覆掉? 人类数学家的价值, 又该采取怎样的方式去重新进行定义?

署名权归属成为争议焦点

官方于公告里清晰表明态度称, 署名权理应如实呈现研究成果的产生进程。要是一项全然由AI系统生成的证明被宣称是人类独立创作的, 这般不仅抹消了该系统的贡献, 还歪曲了真正人类智力劳动的实质。此一立场径直回应了近些年来学术界针对AI辅助研究署名问题的热烈探讨。

据知悉, 人类的科研人员, 在此次所取得的成果里面, 协助去撰写了论文底稿, 并且在Lean这种语言当中, 针对这些证明开展了形式化的验证工作, 还要对其正确性承担责任。可是, 数学论证本身, 完全是由系统生成的。这样一种分工的模式, 开创了学术研究方面的全新范式, 不过, 也带来了一个相当棘手的问题, 那就是: 当AI成为主要贡献者的时候, 论文作者栏应该怎样去填写?

人类研究员扮演什么角色

处在此次项目里的人类研究员可不是啥都没干, 他们做了把AI得到的数学论证转变成能读懂的论文的事, 还在Lean语言里一行一行地去核查每个证明步骤无误, Lean是个交互式定理证明工具, 它要证明时过程可得绝对形式化, 一点都马虎不得, 这就表示人类研究员对每个结论都有着实际的学术方面的责任。

可问题是, 那些研究员并不曾参与核心数学思想的创造进程。他们更近似于质检员以及翻译官，而非探索者。这样的角色转变使得好多传统数学家心绪不安：要是将来AI能够解决更多疑难问题, 人类数学家会不会就只能沦落为验证工具? 抑或是讲, 这种分工自身便是数学研究进化的必然趋向?

十项难题覆盖哪些领域

关于数学与理论计算机科学多个前沿方向的十项进展被公布了, 这其中包含组合数学里的极值问题, 图论之内的染色问题, 算法复杂度理论之中的下界证明等。过去十年甚至更长时段里, 这些问题致使无数研究者失败而归。有一项关于随机图性质的问题为例, 从2015年被提出之后, 仅仅发表过三篇存在关联的论文, 并且都没有获得突破性的进展。

这些难题存在着共同特性, 那在于, 其表述是简单且易于让人理解的, 然而, 其证明情形却是极其艰难困苦的。它们并不像声名广泛为人所知的黎曼猜想那般, 不过, 在专业范畴之内, 它们皆属于被一致认可的难啃硬骨头。Astra能够在短时间当中接连攻克十项难题这件事情表明, 它的数学推理能力已然达到了人类顶尖水平甚至于超越了这一水平。这也使得人们对于AI在更为繁杂的数学问题方面所具备的潜力满怀期待。

学术伦理面临全新挑战

现有学术评价体系的滞后性, 被此次事件给暴露了出来。当下, 全球主要学术期刊针对AI生成内容的署名规则, 并非尽皆相同, 有的要求披露AI参与状况这个事必须得做, 有的则是完全禁止AI署名。此时官方高调公布AI贡献, 实际上是在促使学术界直面这样一个现实: AI已然成为研究工具, 如同计算机和计算器那般的存在, 然而它的贡献程度, 要比前两者远超许多。

更麻烦的是, 要是AI系统能够持续给出高质量数学证明, 那么未来博士生的培养方向会面临根本性调整, 科研经费的分配方式会面临根本性调整, 数学奖项的评选标准也会面临根本性调整。一些学者有所担心, 也许这会致使人类数学研究被边缘化, 然而也有看法觉得, AI把人类从繁琐证明里解放出来, 使我们能够专心钻研更具创造性的问题提出。

未来研究模式何去何从

有官方表明, 此次所公开的十项进展仅仅只是开端而已, 往后Astra会在更多的领域持续发挥类似的作用。与此同时, 他们还呼吁学术界一块儿去制定AI参与研究的伦理方面的规范。这般开放的态度是值得予以肯定的，然而具体规则的确立仍然需要多方进行博弈。数学界、计算机科学界、出版机构以及资助机构都得参与到讨论当中。

可以预见到的是, 人类跟AI协作的研究模式会成为常态。关键的问题在于, 我们怎样去建立一套公平又合理的贡献认定机制, 既不会让AI的功劳被埋没, 也不会让人类研究者的价值被低估。这得要整个学术界在实践以及讨论当中逐步地摸索, 而此次事件无疑为这场讨论提供了绝佳的案例还有起点。

瞧到此处, 你觉得在AI攻克数学难题之后, 论文首位作者应当写上AI的名称吗, 欢迎于评论区去分享你的见解, 点赞以及转发能使更多人投身这场关键讨论。