Advancing mathematics by guiding human intuition with AI

《用人工智能引导人类直觉,推动数学发展》

conjectures 猜想,推测(数学:先提出猜想,在试着去证明)
Millennium:千禧年
attribution techniques:归因技术
combinatorial invariance conjecture:组合不变性猜想
counterexamples 反例

hyperbolic invariants:双曲不变量

slope:斜度

数学套路:发现一些模式、把这些模式公式化 or 证明一些猜想,最后推导定理;

先有结论、提出猜想;再试图证明猜想
数学归纳法:n=1、2、3的简单例子,找规律;泛化到 n 的情况;再试图证明结论
数学有很多公开的、未解决的问题
AI套路:数据 + 实验,看实验结果;根据结果找可解释性的结论

BSD猜想,千禧年 2000年 (美国克雷数学研究所 (Clay Mathematics Instit

你可能感兴趣的:(AI论文精读--李沐,人工智能)