Google DeepMind的AI系统Aletheia在数学挑战FirstProof中成功解决了6个研究级难题，展示了AI在数学研究中的潜力。Aletheia注重可靠性，宁愿不答也不答错，标志着AI从解题向研究的质变。
名为Gauss的AI在三周内完成了陶哲轩和Kontorovich提出的数学挑战，远超他们18个月的进展。该AI能自动形式化数学内容，生成约25000行Lean代码，未来计划提升形式化代码量100到1000倍，推动数学项目进展。
完成下面两步后，将自动完成登录并继续当前操作。
