陶哲轩提出“Math 2.0”实验挑战：利用AI从排除Landau–Siegel零点的各类新论证中，推导假想第十个判别式（Heegner数）的有效上界，并尽量优化常数，且不使用Heegner方法。该问题已解决，无干扰研究之虞。他邀请读者提交可验证的界，允许使用AI但须披露，鼓励协作而非竞赛，重视论证的简洁性与可检验性。