编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！
前言1988年国际奥林匹克竞赛有一道数学题难倒了众多参赛选手，来自澳大利亚的四名专家也不会做，就连智商超过爱因斯坦的陶哲轩也没做出来，那么这道题到底有多难呢？IMO数学题IMO题若a,b,k∈Z+，且k=(a²+b²)/(ab+1)，证明k是完全平方数！
在数学领域，有一个特别危险的职业陷阱：你可能因为过度专注某个领域的一个难题（或某种宏大的“统一理论”），而忽略了其他数学活动（甚至“数学”以外的人生）；但实际上，无论在数学知识储备上还是职业生涯规划上，你都还没有真正准备好将如此多的研究时间投入这类项目中。
陶哲轩第一时间在社交媒体上转发了他们的新论文:古斯和梅纳德在黎曼猜想方面取得了显著突破。论文标题是《New large value estimates for Dirichlet polynomials》。
文|谦语谈书风编辑|谦语谈书风神童陶哲轩，8岁时参加满分800分的考试，取得了760分的好成绩。更让人惊讶的是，经过专业测评，他的智商比爱因斯坦还要高。陶哲轩真的是神童吗？他取得过哪些惊人的成就呢？本文陈述内容皆有可靠信息来源，赘述在文章结尾。
