特伦斯·陶与达梅克·戴维斯在SAIR基金会发起了数学挑战，旨在简化解决2200万代数问题的能力。第一阶段已完成，生成了有效的“备忘单”。第二阶段正在进行，参赛者需使用Python代码生成Lean证明。新挑战聚焦于神经网络执行简单的模乘运算，探索其在处理大输入时的可扩展性。

Google DeepMind的AI系统Aletheia在数学挑战FirstProof中成功解决了6个研究级难题，展示了AI在数学研究中的潜力。Aletheia注重可靠性，宁愿不答也不答错，标志着AI从解题向研究的质变。