陶哲轩：不要过早痴迷于某一个“大问题”或“大理论”
想在数学领域有所建树，需要付出艰辛的努力。如果你不喜欢自己所做的事，就不能从自己的工作中获得满足感，也就很难持续投入成功所需的巨大精力。
陶哲轩
最难数学基准测试是什么？
最难的数学基准测试是“FrontierMATH”。这一测试由顶尖数学家陶哲轩联合60多位数学家推出，包含数百道原创且极具挑战性的数学问题，涵盖了从奥林匹克数学竞赛（IMO）水平到现代数学研究前沿的各个领域，如数论、群论和代数几何等。这些题目通常需要专业数学家花
数学天才陶哲轩的伯乐
2015年9月17日，美国加州大学洛杉矶分校的数学家陶哲轩（Terence Tao）宣布破解埃尔德什猜想（the Erdős Discrepancy Problem），整个数学界为之兴奋。
o3来了！编程跻身人类全球前200，破解陶哲轩说难的数学测试，北大校友任泓宇现身直播间
原创 关注前沿科技 量子位梦晨 西风 发自 凹非寺量子位 | 公众号 QbitAIOpenAI公布下一代模型，o1之后直接o3！“双12”直播活动最后一天，终于来了个大的，奥特曼本人也再次现身直播间。
OpenAI o3震撼觉醒，AGI今夜降临？血洗o1，破解陶哲轩最难数学题
OpenAI下一代模型——o3，重磅诞生了！陶哲轩预言难住AI好几年的数学测试，它瞬间破解，编程水平位于全球前200，在ARC-AGI基准中更是惊人，打破所有AI纪录接近人类水平，离AGI更近一步。
o3来了！编程能力跻身人类全球前200，破解陶哲轩说难的数学测试
o3相比o1最突出的成绩，一是顶尖程序员竞赛CodeForces分数超过2700，人类超过这个分数的目前只有不到200个。
很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去
o1推理代表着推理的未来。菲尔兹奖得主陶哲轩在OpenAI最新访谈中表示，AI可以帮助从头开始重新设计数学，以前所未有的规模处理数学问题，引领着一个全新的发现时代。
陶哲轩对谈OpenAI高管，“也许很快OpenAI就能证明陶哲轩是错的”
事情是这样的。数学大佬陶哲轩和OpenAI两位高管最近进行了一场线上对谈，主题为“The Future of Math with o1 Reasoning”，即以推理为主的o1模型如何与数学融合，从而解锁突破性的科学进步。
陶哲轩新论文“太反直觉”：再战Erdős问题
可以理解成，要使一个级数的和是有理数本来就很难，再加上任意有理数t的偏移量，还让级数保持有理性，难度就又加几个数量级了。
陶哲轩：通义千问QwQ奥数真厉害，开源大模型顶流
机器之心报道编辑：泽南QwQ 具有神奇的推理能力。一个刚发布两天的开源模型，正在 AI 数学奥林匹克竞赛 AIMO 上创造新纪录。本周五，知名数学家、加州大学洛杉矶分校教授、菲尔茨奖得主陶哲轩（Terence Tao）介绍了第二届 AIMO 竞赛的最新进展。比
陶哲轩新论文“太反直觉”：再战Erdős问题，证明44年数学猜想是错的
梦晨 衡宇 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩最新力作，在“自然数倒数之和是否为有理数”问题上取得一系列进展。其中最引人瞩目的一项成果，就是证明了一个非常反直觉的猜想，居、然、是、对、的：存在一个递增的自然数级数ak，使得对任意有理数t，都是有
陶哲轩新论文“太反直觉”：再战Erdős问题，证明44年猜想是错的
可以理解成，要使一个级数的和是有理数本来就很难，再加上任意有理数t的偏移量，还让级数保持有理性，难度就又加几个数量级了。
陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明
鱼羊 一水 发自 凹非寺量子位 | 公众号 QbitAI57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系！大神陶哲轩激动宣布：等式理论计划，成功。