困扰全世界几个世纪的「臭名昭著」谜题——费马大定理，或将被AI攻克？一位英国数学家宣布，即将启动用Lean重现费马大定理证明过程的项目，将100页证明变成代码。从此，世界顶尖数学难题的证明将成为「众包」项目，你我都可以进去添几笔。
来自主题: AI技术研报
7839 点击 2024-04-09 15:29
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
困扰全世界几个世纪的「臭名昭著」谜题——费马大定理，或将被AI攻克？一位英国数学家宣布，即将启动用Lean重现费马大定理证明过程的项目，将100页证明变成代码。从此，世界顶尖数学难题的证明将成为「众包」项目，你我都可以进去添几笔。
毫无疑问，数学家的工作方式，正在被AI颠覆！陶哲轩转发的这期美国数学学会通报，大咖云集，星光璀璨。针对AI改变数学的议题，他们中有降临派，也有怀疑论者。而陶哲轩也直接高呼：这个领域太快了，现在我没发表的论文已经不够看了！
陶哲轩点赞转发，《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。
又一项针对AI模型的数学奥赛来了！只要在50道题中做出3道，就有可能把百万美元大奖抱回家。题目难度为人类的高中学术竞赛难度，包括基础算术、代数思维和几何推理。欢迎AI模型们踊跃报名。
一年一度的阿里全球数学竞赛又开始了。本届最大的亮点，首次向硅基AI开放，最高可摘得1万美金大奖。不用等了，带着你的AI来挑战吧。
最近的数学圈，都被椭圆曲线的murmuration（椋鸟群飞）现象震惊了。由经验不足的本科生无意中做出的这个成果，竟让一位华人数学家离「千禧年问题」更近了一步。而且这次数学难题的破解，是由AI来完成的！
AI中的应用：在机器学习中，单条数据样本的表征都是以向量化的形式来完成的。向量化的方式可以帮助AI算法在迭代与计算过程中，以更高效的方式完成。
高中阶段学习数据科学能不能代替数学，这个话题的讨论已经延伸到了 AI 圈。
AI影响之一是让业余数学家也能做出贡献。
普林斯顿大学和DeepMind的科学家用严谨的数学方法证明了大语言模型不是随机鹦鹉，规模越大能力一定越大。