AI Development Present and Future: Classical Mathematics Is No Longer Enough

MIT Technology Review 发表 了一篇有趣的文章《人工智能与数学的未来》。整个现代世界都建立在数学之上，而这一学科的突破可能为人类开辟通往真正令人惊叹的新技术的道路。然而，DARPA（美国国防高级研究计划局）认为，数学已经停滞在过去。因此，该机构启动了一项名为 expMath（Exponentiating Mathematics）的倡议，旨在通过创建成为“AI 合著者”的工具，加速人工智能在数学领域的发展。最终目标是让 AI 能够独立解决最复杂的数学问题。不过，研究人员指出，这需要非常规的思维，因为高等数学是一个实验性方向，包含试错法和灵感。尽管 AI 取得了令人瞩目的成就，但距离创建真正“具备数学思维”的系统还有很长的路要走。

与此同时，俄罗斯公布了第三轮人工智能领域研究中心遴选的结果。七所入选的大学和科研机构将各获得 6.76 亿卢布的资助，用于开展强人工智能、可信人工智能和多智能体人工智能领域的研究。正如 政府网站 所报道的那样。