本文探讨了如何利用人工智能辅助数学研究，通过两个例子展示ML在发现拓扑结和表示论数学结论中的作用。文章提出AI可以用于寻找数学对象之间的关系，帮助数学家形成猜想，并通过学习函数连接不同的数学概念。AI不仅搜索空间广泛，还能提供反例，促进数学定理的验证。作者强调，结合数学家的直觉与AI的力量，可以推动数学领域的新发现。
《用人工智能引导人类直觉，推动数学发展》
conjectures 猜想，推测（数学：先提出猜想，在试着去证明）
Millennium：千禧年
attribution techniques：归因技术
combinatorial invariance conjecture：组合不变性猜想
counterexamples 反例
hyperbolic invariants：双曲不变量
slope：斜度
数学套路：发现一些模式、把这些模式公式化 or 证明一些猜想，最后推导定理；
先有结论、提出猜想；再试图证明猜想
数学归纳法：n=1、2、3的简单例子，找规律；泛化到 n 的情况；再试图证明结论
数学有很多公开的、未解决的问题
AI套路：数据 + 实验，看实验结果；根据结果找可解释性的结论
BSD猜想，千禧年 2000年 （美国克雷数学研究所 (Clay Mathematics Instit
最低0.47元/天 解锁文章
扫一扫
1130
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
