Terence Tao
PulseAugur coverage of Terence Tao — every cluster mentioning Terence Tao across labs, papers, and developer communities, ranked by signal.
- instance of Fields medal 90%
- authored Mathematics in the age of AI 90%
- instance of International Congress of Mathematicians 90%
- employed by Peking University 70%
- affiliated with Peking University 70%
- used by Lean 4 Programming Language 70%
- affiliated with Mathematics in the age of AI 70%
- authored by Lean 4 Programming Language 60%
- affiliated with Astra 50%
- authored by Astra 50%
7 天有情绪数据
Terence Tao leveraging AI for rapid software porting and development
Recent evidence shows Terence Tao using AI to port 24 Java applets in an afternoon and exploring AI coding agents for app development. This indicates a pattern of Tao actively integrating AI tools into his workflow for practical software engineering tasks, beyond just theoretical mathematical exploration.
Terence Tao to publish on AI's role in mathematical problem-solving
Given Terence Tao's recent engagement with AI coding agents and the claim of GPT 5.6 Pro solving Erdős problems (with a user who has co-authored with Tao), it's plausible Tao will soon publish his own reflections or findings on AI's impact on advanced mathematical problem-solving. This could include insights into how AI tools are changing the landscape of theoretical mathematics.
AI models to be benchmarked against Tao's mathematical contributions
As AI models like GPT 5.6 Pro demonstrate increasing capabilities in solving complex mathematical problems, it's likely that future benchmarks will compare their performance against the known contributions and problem-solving abilities of leading mathematicians like Terence Tao. This could lead to new metrics for AI mathematical reasoning.
-
Terence Tao 建议禁止 AI 解决某些数学问题
数学家 Terence Tao 提出，某些开放的数学问题应被指定为不对 AI 求解器开放。他认为，这些问题是评估 AI 能力的宝贵且“未受污染”的基准。Tao 还相信，这些问题对于训练数学家和开发新颖技术至关重要，如果 AI 在其解决方案上进行训练后能够轻易解决它们，那么它们的价值就会降低。
-
Terence Tao：AI 或引发自哥德尔以来数学界最大危机
著名数学家 Terence Tao 警告称，人工智能可能引发数学界的危机，其影响可与哥德尔工作带来的基础性变革相媲美。Tao 认为，核心问题并非 AI 技术本身，而是其对科学贡献的价值和定义的影响。他提出，一个人类无法理解的证明应被视为不完整的，并质疑在 AI 辅助的研究环境中，作者身份和奖励的性质。
-
陶哲轩将人工智能时代比作数学基础危机
著名数学家陶哲轩将当前的人工智能时代与现代数学中一个重要的时期——数学基础危机——进行了类比。这一比较突显了人工智能对数学领域及其基本原理产生的深远影响。
-
陶哲轩在新论文中探讨人工智能时代的数学
著名数学家陶哲轩（Terence Tao）发表了一篇探讨数学与人工智能交叉领域的论文。该论文可在arXiv上获取，深入研究了数学原理在人工智能技术发展和理解中的演变作用。旨在深入阐述数学在人工智能时代如何持续发挥基础性作用。
-
Terence Tao推出Palomar注册表，用于Lean已验证的数学
Terence Tao推出了Palomar，一个旨在编目使用Lean证明助手进行形式验证的数学的注册表。该倡议旨在为已验证的数学知识创建一个集中且易于访问的资源，从而在该领域培养更大的信任度和严谨性。该项目利用Lean的能力来确保复杂数学证明的正确性。
-
Terence Tao 发布 "Palomar" 用于 AI 验证的数学证明
Terence Tao 推出了 "Palomar" 项目，旨在编目 Lean 验证的数学证明。该计划试图通过人工智能生成的解释，使复杂的数学概念更容易理解和参与。目标是创建一个令人兴奋的证明注册表，吸引数学家并可能激发新的研究途径。
-
AI 协助数学家解决长期存在的 Hadamard 矩阵问题
研究人员，包括数学家 Levent Alpöge 和名为 Claude 的人工智能，据报道找到了构建各种阶数 Hadamard 矩阵的解决方案，包括之前难以捉摸的 668 阶。这一突破解决了数学中一个长期存在的挑战，因为 668 阶是 Hadamard 矩阵最小的未知临界阶数。EpochAI 在 FrontierMath 基准测试中将这些发现（也涵盖了 2000 以下的另外 11 个阶数）暂时标记为“由 AI 解决”。这一发展凸显了人…
-
不相关的Mastodon帖子链接到Hacker News讨论
此集群包含两条不相关的Mastodon帖子，均链接到Hacker News。第一条帖子讨论了HRT反例的部分消化，提到了数学家Terence Tao。第二条帖子是一个“Show HN”帖子，展示了一个可视化地球构造历史和未来地球仪上城市的项目。
-
OpenAI的Astra模型解决了十年来的数学难题，引发了关于AI创造力的辩论
据报道，OpenAI的内部模型Astra解决了数学和理论计算机科学中的十个复杂问题，其中包括一个自1999年以来悬而未决的问题。该模型生成了一个反例来证明soficity猜想，该证明已得到正式验证并在GitHub上发布。虽然这一成就是显著的，并得到了数学家的认可，但值得注意的是，Astra是在现有概念框架内解决问题的，而不是发明新的概念框架，这使其与范式转移式的发现区分开来。
-
数学家陶哲轩分享人工智能对数学影响的见解
著名数学家陶哲轩分享了题为“人工智能时代的数学”的幻灯片。建议更广泛的受众阅读这些幻灯片，以了解数学与人工智能的交叉点。
-
数学家驳斥OpenAI的AI生成的Connes刚性猜想证明
一位数学家驳斥了OpenAI声称其新AI模型证明了Connes刚性猜想的说法。来自堪萨斯大学的数学家J. L. Nielsen发现，该AI生成的由37000行Lean 4代码组成的证明存在缺陷。具体来说，Nielsen指出，AI构建中使用的一个群不满足该猜想的必要条件。这一事件凸显了在验证AI生成的科学结果时，人类监督的至关重要性，因为Lean等形式化验证工具仅检查证明的逻辑结构，而不检查其语义准确性或与原始问题的相关性。
-
Gary Marcus 质疑 OpenAI 的 Astra 突破，称其仅部分复制
Gary Marcus 批判性地审视了 OpenAI 的 Astra，认为它可能并非该公司声称的重大突破。他指出，一位 Anthropic 的数学家在 24 小时内使用现有模型 Fable 部分复制了 Astra 的结果，这引发了对其真正新颖性和范围的质疑。Marcus 还引用了数学家 Terence Tao 的一次讲座，该讲座讨论了 AI 对数学的潜在影响，区分了解决特定问题和构建更广泛的数学理论，他认为 Astra 尚未体现出这种区别。
-
OpenAI 的 Astra 模型以低于 2,000 美元的价格实现了 10 项数学突破
OpenAI 宣布，使用名为 Astra 的内部模型在数学和理论计算机科学领域取得了十项重大进展。这些突破解决了诸如几何、密码学和复杂性等领域的长期悬而未决的问题。该公司强调了这一过程的效率，并指出该研究的 API 费用不到 2,000 美元，与以往 AI 在数学方面的能力形成鲜明对比。OpenAI 已在 GitHub 上提供了 Lean 4 的形式化证明，以确保透明度和可验证性。
-
人工智能推理能力引发争议，声称存在“捷径”和“思维幻觉”
人工智能推理能力的最新进展引发了关于这些系统的性质和可靠性的辩论。虽然大型推理模型（LRMs）在解决复杂数学问题等方面展现出了令人印象深刻的问题解决能力，但研究表明，这些成功可能源于“捷径”或“系统博弈”，而非真正的理解。Melanie Mitchell等专家指出，虽然LRMs提高了准确性，但生成的“思维链”可能无法准确反映内部过程，有时甚至可能无益。
-
研究发现：领域知识可提升 LLM 协作质量
软件工程师 Sean Goedecke 认为，领域知识能够显著增强与大型语言模型 (LLM) 的交互协作。他以 Terence Tao 最近与 ChatGPT 关于雅可比数学猜想的对话为例，阐述了这一点。Goedecke 的核心论点是，从 LLM 交互中获得的见解质量与提示编写者的专业知识水平成正比，并表示“LLM 青睐专业知识”。
-
Terence Tao 探讨人工智能时代的数学
数学家 Terence Tao 提交了一份 PDF 文件，概述了数学与人工智能的交叉领域。该文件题为“数学在人工智能时代”，通过 GitHub 链接分享，表明其中可能包含代码或相关资源。本次演示可能探讨了人工智能如何影响数学研究和应用。
-
Terence Tao 分享人工智能对数学的影响观点
著名数学家 Terence Tao 发表了他对人工智能及其对数学影响的全面概述。这项工作以精选摘要的形式呈现，还包括一个探讨他观点的配套访谈。Tao 的见解深入探讨了人工智能与数学研究不断发展的关系。
-
陶哲轩分享ChatGPT会话；国会关注AI“终止开关”；AMD达成重磅芯片交易
陶哲轩分享了与ChatGPT进行的数学会话，展示了其能力。与此同时，美国国会正在考虑一项AI“终止开关”法案，此前发生了涉及OpenAI的事件。在商业新闻方面，AMD已与Anthropic和OpenAI达成重要芯片交易，同时一家初创公司的估值翻倍，令人意外。
-
北京大学数学家王鸿和邓宇荣获菲尔兹奖章
两位中国数学家王鸿和邓宇在费城国际数学家大会上荣获菲尔兹奖章，创造了历史。1991年出生的王鸿是第三位获得该享有盛誉的奖项的女性，而她来自北京大学的同龄人邓宇也获得了这一荣誉。两位数学家因解决了重要的百年数学难题而受到认可：王鸿证明了关于三维“Kakeya集”大小的猜想，而邓宇则提供了将硬球系统与玻尔兹曼方程联系起来的严格推导，解决了希尔伯特第六问题的一部分。
-
王鸿和邓宇荣获菲尔兹奖，成为首批获得此项荣誉的中国籍人士
数学家王鸿和邓宇已成为首批获得享有盛誉的菲尔兹奖的中国籍人士。这对组合都曾在北京大学学习，并在费城举行的国际数学家大会上获奖。这一成就使中国成为第五个在单次颁奖典礼上拥有多名菲尔兹奖得主的国家，也是第一个实现此目标的亚洲国家。