40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了！数学大佬陶哲轩转发了这一消息，并欣慰表示：这再一次体现了证明助手对于数学研究的协作是多么有用。计算机科学家ScottAaronson为此还写了一篇博文，并大肆赞赏：这个发现是自1983年以来，忙碌海狸函数研究中最重要的进展。具体而言，人们历经数十年努力，终于找到了第五个“忙碌海狸”图灵机：BB(5)=47,176,870（5状态图灵机，
-
-
23 年来首次突破，陶哲轩赵宇飞学生联手攻下组合数学难题
陶哲轩和赵宇飞的学生联手，给数学界整了个新惊喜：让组合数学领域最大难题之一——从无序中证明有序，取得了23年来的重大突破。这个问题有多难？用知名华裔数学家、MIT副教授赵宇飞本人的话说，是“我不会建议任何学生去做这个课题”。有意思的是，这甚至还是个“意外”收获：陶哲轩弟子、刚上研究生二年级的JamesLeng（以下简称小冷）原本试图延续另一位菲尔兹奖得主——蒂莫西・高尔斯的理论研究。但搞了一年多，80 0 2024-08-07 12:57
-
传奇大爷拿下“数学界诺贝尔奖”，陶哲轩祝贺：他本应更知名
这是属于概率论的高光时刻。有着“数学诺贝尔奖”之称、与菲尔兹奖齐名的阿贝尔奖，今年颁给了72岁法国数学家米歇尔・塔拉格兰（MichelTalagrand）——酷酷的朋克大爷，还有一个传奇又有趣的灵魂。官方宣布的获奖理由是：因其对概率论和泛函分析的贡献，在数学物理和统计学方面的杰出应用而获奖。Nature对他在数学中的贡献也寄予了高度的评价：塔拉格兰奠定了数学基础，使其他人能够解决涉及随机过程的问题122 0 2024-03-21 16:55
-
陶哲轩：AI 让业余数学家也能做出贡献
AI影响之一是让业余数学家也能做出贡献。数学下一次文化转变在于AI生成的证明是否会被接受。很快会有个AI聊天机器人坐在你旁边。当你完成证明时，他可以回答问题，帮你解释每一步。在Quantamagazine最新长达七千字的访谈中，陶哲轩如是说。除此之外，他还谈到了数学本质、“好的”数学研究的构成要素，以及如何应对新技术的出现。作为菲尔兹奖、数学突破奖、麦克阿瑟奖等多个奖项的获得者，陶哲轩目前已累计撰129 0 2024-02-25 13:38
-
AI 首次攻克难倒陶哲轩数学难题：DeepMind 里程碑算法登上 Nature，LLM 实现搜代码自我进化
困扰数学家多年、让陶哲轩直呼喜欢的上限集问题数学难题，竟然被DeepMind的新算法破解了？这是史上首个用LLM发现的算法，堪称里程碑级研究，一经发布立马登Nature。上限集问题，是困扰数学家们多年的开放性问题。著名数学家陶哲轩，就曾将上限集问题描述为自己最喜欢的开放性问题。陶哲轩博客而大语言模型，竟然在这个问题上做出了新发现。今天，GoogleDeepMind、威斯康星大学麦迪逊分校和里昂大学178 0 2023-12-15 20:14
-
AI 颠覆数学研究！陶哲轩借 AI 破解数学猜想，形式化成功惊呆数学圈
【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！三周前，他曾发布一篇博文，记录下自己使用Blueprint在Lean4中形式化多项式Freiman-Ruzsa猜想的证明过程。就在昨天，他激动宣布：将多项式175 0 2023-12-06 14:27
-
陶哲轩甩出调教 GPT-4 聊天记录，点击领取大佬的研究助理
鹅妹子嘤，天才数学家陶哲轩搞数学研究，已经离不开普通人手里的“数学菜鸡”GPT了！就在他最新解决的一个数学难题下面，陶哲轩明确指出自己“使用了GPT-4”，后者给他提出了一种可行的解决方法。借助GPT-4，他不仅成功地突破了这一难题，还将答案分享在了MathOverflow上：它给我提供了最终的解题思路，接下来我只需要继续计算就行。为了给更多数学家分享用GPT-4工作的便利性，陶哲轩还将自己的聊天166 0 2023-06-26 12:33
-
陶哲轩宣布主持白宫生成式 AI 工作组，李飞飞、Hassabis 发表演讲
最近，「数学天才」陶哲轩表示，自己将领导白宫生成式人工智能工作组，就当前AI评估并收集意见。在陶哲轩看来，加入工作流的ChatGPT在数学专业领域中，并没有太多增值。近来，美国总统科技顾问委员会（PCAST）成立了一个生成式人工智能工作组。值得一提的是，数学天才陶哲轩在这个工作组中担任了co-leader的角色。陶哲轩在自己的博客发文称，我和LauraGreene共同主持这个生成式人工智能工作组。179 0 2023-05-16 14:08
-
「数学天才」陶哲轩：GPT-4 无法攻克一个未解决的数学问题，但对工作有帮助
数学天才陶哲轩的研究也用上了AI工具GPT-4。有了GPT-4，你想做的，只需复制、粘贴、一键完成！当红炸子鸡ChatGPT，也成为数学天才陶哲轩的研究工具了。近日，他在网上称自己发现了一些ChatGPT的小用例。首先，它很擅长解析代码格式的文档（在这种情况下是#arXiv搜索的API），然后返回一个正确格式的代码查询（后来它还提供了一些工作的python代码，以我要求的方式调用这个API，尽管我183 0 2023-04-10 18:48
-
陶哲轩攻克 60 年几何学难题，发现「周期性密铺猜想」在高维空间反例
数学界的多年难题——周期性密铺猜想，被陶哲轩和RachelGreenfeld攻破了。几何学中的「周期性密铺猜想」，被陶哲轩推翻了。几年前，数学家证明了，无论你想出的密铺多么复杂或巧妙，如果只能对单个密铺使用平移，那么就不可能设计出一个只能非周期性地覆盖整个平面的密铺。数学家们推测，这样结果也适用于高维空间。这个假设被称为周期性密铺猜想。但现在，陶哲轩等人通过构造了一个可以非周期地填充高维空间，但不278 0 2022-12-16 14:18
-
陶哲轩：张益唐新论文存在一些技术问题，我已请他澄清
张益唐的零点猜想证明，该由谁来检验？不少人把目光投向陶哲轩。最新消息，陶哲轩已经读过张益唐的论文并做出点评：目前论文的基本正确性尚未得到确认。存在一些印刷错误和技术问题（主要集中在第11和12节）。我已转发给益唐并请他澄清。这段点评藏在他个人博客一篇旧文章的评论区里，还挺不好找的。具体来说，陶哲轩列出了论文中一些方程引用缺失，集中在63-67页、70页、98-99页，以及结尾的109页。可以看出，240 0 2022-11-17 13:23
