第422章 全部核验通过

第422章 全部核验通过 (第1/2页)

可这一回的情况，好像有那麽一点不一样。
　　
　　因为燕大这份通知的末尾，挂着的是田钢、高稳，甚至还有姚先生的名字。
　　
　　田钢在华夏数学界的分量，是不需要解释的。
　　
　　他的名字出现在这里，几乎就等於在替这个模型背书了——它在数学上，至少不是一个只能看的花架子。
　　
　　而高稳和姚先生往那一站，又让人知道这个大模型绝对不会是钻漏洞的野鸡模型。
　　
　　最後再配上那几张断层式的榜单，不少数学家心里已经泛起了嘀咕。
　　
　　难道说，这一回真出了一个数学上能用的大模型？
　　
　　当然，也有人压根不信。
　　
　　“别逗了，ai幻觉到现在都没法解决，拿这种东西当科研夥伴？我反正是不敢信的。”
　　
　　“就是，你们倒是说说看，如今数学的顶刊里，哪一篇论文挂过一个大模型的名字？”
　　
　　这话一出口，他们自己都先笑了。
　　
　　“跑分嘛就是个娱乐，竞赛题再难，那也是有答案的。”
　　
　　“等它哪天把一个没有答案的真问题做出来了，再来跟我谈什麽科研夥伴吧。”
　　
　　这些年被ai坑过的数学家，想让他们再信一次ai确实比较难了。
　　
　　这些风波，李东自然都知道。
　　
　　但是这和他没有半点关系。
　　
　　因为通知上那一串名字里，压根就没有他。
　　
　　倒不是他淡泊名利而是这事多少牵扯着点小黑，他不希望太多目光落在自己身上。
　　
　　不过名字可以不挂，但钱一分也不能少。
　　
　　模型公测之前，他就和学校还有田钢他们把账算清楚了：技术许可挂在学校名下，往後未央的每一笔进项，都按协议给他分成。
　　
　　所以外面吵成什麽样，他是真没空管。
　　
　　因为此时他正和彭罗斯还有莎拉在做一件很重要的事。
　　
　　顶刊里没有一篇论文挂过大模型的名字？
　　
　　废话。
　　
　　那是因为我之前没出手。
　　
　　……
　　
　　燕大，理科一号楼，三楼的一间研讨室。
　　
　　窗帘拉了大半，投影幕布上是一条缓慢向上曲线。
　　
　　李东、彭罗斯和莎拉三个人已经在这间屋子里待了好几天了。
　　
　　他们面前的白板上写着一行字。
　　
　　【已验完十一万条恒等式】
　　
　　这几天里，彭罗斯每天早上都会拎着三份早餐准时出现，莎拉则是将未央给出来的每一个结果，都抄在了本子上，好像生怕丢了一样。
　　
　　李东也劝过她，机器是不会丢东西的。
　　
　　莎拉只是摇头。
　　
　　这是她的论文，她想亲手摸过它走的每一步。
　　
　　十一万零四百一十六条着色的恒等式，未央在第九天就全部验完了。
　　
　　每一条都是非交换多项式环里、pbw约化之後上千个符号的精确硬算。
　　
　　一致性假设ch，成立。
　　
　　那把叫挠精化不变量的尺子，从此把条件性三个字，从自己身上摘了下去。
　　
　　第十四天，数据空间和呈示空间的联合搜索停在一个挠化的drinfelddouble上。
　　
　　一个不大的有限群，配上一个三阶上循环。
　　
　　就是这组数据，让这把尺子第一次看见了东西。
　　
　　第十七天淩晨四点，未央从呈示空间里捞出了一个平衡呈示。
　　
　　

（本章未完，请点击下一页继续阅读）