第94章 或许他真的要成为这个领域的开创者？
姬天明此刻总算是听出一点名头了。
这群人野心很大啊。
想要趁着I初步发展的浪潮，在未来有一天彻底改变数学的研究方向。
如果真如他们所说，在未来I的辅助下。
这些工具配合上I，可以证明成百上千的数学猜想，或者找到成百上千的数学猜想反例。
那绝大多数数学工作者将会从证明猜想、证否猜想转变成为验证I写的推理与证明。
到时候只有极少数大数学猜想才会被人研究。
或者只有顶尖数学家可以把控数学发展的脉络，以及如何推动数学的发展。
姬天明听了一天，这真的可以吗？
听起来怎么这么离谱呢。
这就是国际顶级前沿数学界讨论的东西吗？
用I来证明数学猜想或者证否数学猜想。
那还要人干嘛。
一旁的史浩铭此刻说道“这事情干得，这不是让我们这些数学工作者失业吗。
还真是干一些恶心的事情。”
未来真要是I配合这些工具能够证明数学猜想，第一个考虑转行的就是他这种国内的土博博士生。
这也是目前不被主流数学界所接纳的原因。
自己干一个淘汰自己的数学框架出来？
只能说来这里，确实是十分的长见识。
一旁的袁亚湘说道：“这就是科技发展带来的代价。”
“每一次的世界级技术革命，每个人就身处洪流之中。
我们无法改变大势。
也许在这个期间，我们可以凭藉先知先觉又或者自己的努力、幸运，可以站在潮头之
上。”
“当然也可能被时代的洪流冲刷成为一粒尘沙。”
“不要觉得这是天方夜谭，从主流学术界逐步接受克卜勒猜想的形式化证明开始，就已经意味着这是一条可以走得通的路。”
姬天明默然，他是有系统的人，更应该相信未来科技的变化。
“不过这一天应该还很远，至少他们目前需要解决的事情就数不胜数。
工作量，最核心的框架代码，人力，物力以及资源，都很难。”
就在三人一边走一边讨论的时候，袁亚湘接了个电话，然后说道：“丘教授让一个人来见我们。”
二人疑惑道：“谁？”
“比尔卡尔，明年菲尔兹奖的有力竞争者之一。”
二人：！？
“那可是菲奖啊。”
袁亚湘缓缓道：“是啊，才不到四十岁，证明了代数几何中的核心问题BB猜想。
