《用人工智能引导人类直觉，推动数学发展》
conjectures 猜想，推测（数学：先提出猜想，在试着去证明）
Millennium：千禧年
attribution techniques：归因技术
combinatorial invariance conjecture：组合不变性猜想
counterexamples 反例
hyperbolic invariants：双曲不变量
slope：斜度
数学套路：发现一些模式、把这些模式公式化 or 证明一些猜想，最后推导定理；
先有结论、提出猜想；再试图证明猜想
数学归纳法：n=1、2、3的简单例子，找规律；泛化到 n 的情况；再试图证明结论
数学有很多公开的、未解决的问题
AI套路：数据 + 实验，看实验结果；根据结果找可解释性的结论
BSD猜想，千禧年 2000年 （美国克雷数学研究所 (Clay Mathematics Instit