详细内容或原文请订阅后点击阅览
从代币到定理：构建神经符号AI数学家
下一个高斯可能不是诞生的 - 它们可能会在云中旋转，从代币到定理：构建神经符号AI数学家的数学家首先出现在数据科学上。
来源:走向数据科学头条新闻：“ AI赢得了所有诺贝尔奖” - 物理，化学，文学，生理和经济学方面，同时还打包了田野奖章，相当于诺贝尔的数学奖。继续这个思想实验，描绘了一个世界上的AI数学家和科学家与我们一起工作的世界，重塑了发现本身。一天，几个世纪以来，人类的进步只有几个小时。在这样的世界中，著名的Riemann假设可以通过在提示中打字并运行计算来解决：当您快速拿一杯茶并返回您的桌子时，证明就在等您。
“ AI赢得了所有诺贝尔奖” 和 字段奖章，Riemann假设是数字理论的核心，对质数，密码学和数学基础的分布产生了深远的影响。这只是一个例子。千年奖问题，希尔伯特（Hilbert）著名的23个未解决的挑战清单以及无数的其他长期难题都可能迅速连续下降 - 不是一个一个人解决，而是像雨滴一样被不可抗拒的电流扫除。在这个想象中的未来，曾经要求几代人的创造力可能会在AI的不懈推理能力之前崩溃。
Riemann假设在AI的标记中，进步的界限可能不是通过人类的辛劳，想象力或数百年来等待另一个牛顿或爱因斯坦的等待，而是通过计算的巨大可用性和每个代币的成本。
这是生活中的日常日子，在一个非凡的世界中，数百万的超级智能AI数学家和科学家与我们一起工作：
🌅早上。 气候研究人员询问AI：“对耦合的海洋 - 大气PDES的所有稳定解决方案进行分类。” 到午餐时间，该系统已经交付了能够以前所未有的精度模拟长期气候的算法。 🌍🌊
早上。 “对耦合海洋 - 大气PDE的所有稳定溶液进行分类。” 晚上。 ）