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/