Kaggle AI Olympics:
https://www.kaggle.com/competitions/ai-mathematical-olympiad-prize
陶哲轩的群体协作项目：
https://terrytao.wordpress.com/2024/09/25/a-pilot-project-in-universal-algebra-to-explore-new-ways-to-collaborate-and-use-machine-assistance/
BB(5)的值确定:
https://m.thepaper.cn/newsDetail_forward_27947273
3维等宽形状:
https://www.quantamagazine.org/mathematicians-discover-new-shapes-to-solve-decades-old-geometry-problem-20240920/
Deepmind的AI取得了IMO银牌：https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
n^2+1的整数的最大质因子
https://www.quantamagazine.org/big-advance-on-simple-sounding-math-problem-was-a-century-in-the-making-20241014/