数学博士陶哲轩博客

最新推荐文章于 2025-09-05 17:08:13 发布
转载 最新推荐文章于 2025-09-05 17:08:13 发布 · 3.7k 阅读 · 2 ·
CC 4.0 BY-SA版权
原文链接：http://terrytao.wordpress.com

此博客为数学博士陶哲轩的博客，提供了其博客的链接为http://terrytao.wordpress.com 。
GPT-4成功得出P≠NP，陶哲轩预言成真！97轮「苏格拉底式推理」对话破解世界数学难题
强化学习曾小健
09-21 231
是的，如果我们能够证明不存在一种算法能够以低于图片的时间复杂度解决某些SAT实例，那么当变量数量趋于无穷大时，它确实可以为某些无法在多项式时间内解决的NP完全问题的存在提供强有力的证据。GPT-4回答说，并非所有表面看来复杂的问题都有高效、优雅的解决方案，这可以归因于多种因素，比如所涉及变量的数量、变量之间关系的性质，或问题本身的内在难度。要证明一个问题没有高效、优雅的解决方案，可以假设存在这样的解决方案，然后证明这一假设会导致矛盾，这样就可以有力地证明某些解法不可能存在。=NP问题背后的根本问题吗？
2023年数学大事件盘点
帅帅de三叔
01-31 415
2023年数学大事件盘点
陶哲轩实分析：极限定律的本质
彪悍的人生不需要解释！
07-11 730
本文是笔者对陶哲轩实分析6.1节的分析 本文主要指出，极限定律组仅仅是实数理论下的定义而已，他不是定理。就像有理数集满足的代数定律在本质上应该当做是有理数理论搭建过程中形式化有理数a//b下的加减乘除定义而已，最多你可以把诸如加法交换律的东西看成是加法定义的推论。但是6.1节给出的极限定律的内容甚至比加法交换律还少！他除了是一个定义以外，没有任何更多的东西了！真是令人惊叹！我建议陶哲轩在极限定律...
陶哲轩自述考砸经历：智商高达230的数学天才，却因没复习险些挂科
zandaoguang的博客
08-03 611
机器之心报道编辑：蛋酱、小舟很难相信，智商高达 230 的陶哲轩（Terence Tao），也会在一场考试中险些挂科。从这篇自述文章中，我们可以近距离感受到，数学天才的荣耀背后，是多少个...
陶哲轩：一个好的理论，就是对现实世界的一种极致高效的“压缩”
最新发布
人工智能学家
09-05 122
其中最核心的，或许是他对理论本质的精辟概括：一个好的理论，就是对现实世界的一种极致高效的“压缩”——用最少的参数，解释最多的观测。函数是连续的、可微的、可积的、有界的分别是什么意思？本书中的分析理论将帮助你解决以上这些问题，并且会让你了解这些法则（以及其他的法则）在什么情况下是适用的，在什么情况下是不能使用的，从而把这些法则有益的应用与谬论隔离开来。然而，在一个人工智能以前所未有的速度渗透进人类智力活动最前沿的时代，即便是陶哲轩这样的大脑，也在重新思考数学的本质、证明的形态以及未来的研究范式。
特征值_陶哲轩数学发现的故事 | 特征值特征向量等式
weixin_39901203的博客
12-31 739
12月3日，陶哲轩在其个人博客上更新了一篇文章，https://terrytao.wordpress.com/2019/12/03/eigenvectors-from-eigenvalues-a-survey-of-a-basic-identity-in-linear-algebra/说他与合作者在arXiv上更新了此前关于特征值的文章Eigenvectors from Eigenval...
学习并重新学习您的领域 
baozhiqiangjava的博客
05-31 437
来自陶哲轩的博客。https://terrytao.wordpress.com/career-advice/learn-and-relearn-your-field/ 即使在您选择的专业领域，学习也永远不会停止。例如，在撰写有关该主题的论文十多年之后，我仍在学习有关基本谐波分析的令人惊讶的知识。 仅仅因为您知道基本引理X的陈述和证据，您就不应该将这个引理视为理所当然；相反，您应该更深入地研究直到真正了解引理的含义： 您可以找到其他证明吗？ 如果您知道引理的两个证明，那么您知道证明在什么程度..
14天精读掌握《陶哲轩：实分析》第1天 2019.7.7
彪悍的人生不需要解释！
07-08 717
14天精读掌握《陶哲轩：实分析》第1天 2019.7.71. 14天精读掌握《陶哲轩：实分析》计划概览2. 今日学习成果3. 今日时间表4.Atimelogger截图 2019.7.7
谈谈时间管理--陶哲轩
aigao1992的博客
06-28 672
谈谈时间管理--陶哲轩 在这个世界上，除了极少数的天才或愚者，其实，你、我、他谁也不差谁，谁也不多谁，但人人有生之年所做所达，却是千差万别，这是为何？ 所以我一直坚持认为，人之一生，如海洋上的一叶孤舟，如何要活得有所不凡？ 答案，掌握了时间，便是掌握了一切。 掌握...
华裔天才数学家-陶哲轩
热门推荐
leemboy的博客
02-09 1万+
陶哲轩 当代最年轻的天才数学家，他的才学、人格魅力和治学风范值得我们尊敬和学习。陶哲轩，男，1975年7月17日出生于澳大利亚阿德莱德，华裔数学家，任教于美国加州大学洛杉矶分校（UCLA）数学系。陶哲轩是赢得菲尔兹奖的第一位澳大利亚人，也是继1982年丘成桐之后获此殊荣的第二位华人  。中文名： 陶哲轩英文名 ：Terence Chi-Shen Tao国    籍：澳大利亚民    族：汉族出...
陶哲轩 vs. 韦东奕（基于公开资料的对比）
wolf800的博客
07-21 1687
摘要 陶哲轩（1975年生）与韦东奕（1991年生）是当代著名数学家，但处于不同职业阶段。陶哲轩10-12岁创IMO最年轻金牌纪录，24岁成为UCLA终身教授，已发表350多篇论文，获得菲尔兹奖等多项顶级荣誉，研究领域广泛。韦东奕16-17岁两获IMO金牌，30岁成为北大副教授，发表论文约15篇，主攻偏微分方程和随机分析，目前国际影响力有限但正处于学术黄金期。二人智力均属顶尖，但陶的学术成就和影响力显著领先。韦若能在Navier-Stokes等重大难题上取得突破，有望缩小差距，但追赶陶的综合成就仍需时间验证
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
加百力 的技术博客
04-23 783
加州理工团队解决了形式化研究神器Lean运行LLM推理时的核心技术挑战，可以让LLM在Lean中提出证明策略，允许人类以无缝的方式干预和修改。Lean Copilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？就在刚刚，加州理工教授Anima Anandkumar宣布，团队发布了Lean Copilot论文的扩展版本，并且更新了代码库。论文地址：https://arxiv.org/pdf/2404.12534.pdf。
14日精读掌握《陶哲轩-实分析》计划（2019.7.7-2019.7.20）
彪悍的人生不需要解释！
07-04 1514
本篇目录14日精读掌握《陶哲轩-实分析》计划概览作者介绍本书内容介绍本书目录书本封面 14日精读掌握《陶哲轩-实分析》计划概览 我将在接下来的14天掌握《陶哲轩-实分析》全部内容（2019.7.7-2019.7.20） 学习期间每天在B站直播15小时（B站搜 月下卓） 本计划和七十天极限学习挑战并行，七十天学习挑战计划参见下面的链接， 我会从7.7开始每天学习15小...
陶哲轩：数学不仅仅是严谨性和证明
RexWang 的博客
10-07 1465
由于 LLM 的幻觉问题，数学形式化——这一消除幻觉确保论证严谨性的手段——受到了很多关注。按照陶哲轩的说法，形式化是在前严谨阶段到严谨阶段的过渡，能避免常见错误和消除误区。然而，数学真正具有创造力和生命力的地方在于后严谨阶段。在这一阶段，研究者在已经掌握严谨理论基础的情况下，开始建立和形成数学直觉。如果 LLM 能够在后严谨阶段发挥其作用，那么它很有可能会真正引起数学学术界的广泛重视。
陶哲轩：张益唐新论文存在一些技术问题，我已请他澄清
programmerjob的博客
11-18 353
在很长一段时间里，该方法都是“初步估计在一个小区间里素数分布之上界”的唯一方法，曾使哥德巴赫猜想前进一大步，张益唐解决孪生素数猜想的思路也受其启发。我这篇文章非常复杂……张益唐在这次的朗道西格尔零点猜想的证明中，使用了类似的改进版方法，还特意把数字选为致敬年份的-2022和-2024。可以预见的是，一旦张益唐的新论文通过同行评议，这个结果也会在国际数学家的合作努力下迅速降低，这次的最终目标是1。关于自己的未来，已67岁的张益唐在亲笔写的知乎长文中也提到，没有考虑过退休的问题。
陶哲轩实分析：数学家对于R和Q集可数性的探究
彪悍的人生不需要解释！
07-15 1796
本文意淫了康托尔是如何证明了R是不可数集的，还意淫了某位不知名数学家是如何证明Q是可数集的。本文较细致的分析了Q和R可数性证明过程。 于是我便在1873年完成了轰动世界的证明！没错，就是我证明了R是不可数的！我叫康托尔！ 本文编写于14日精读掌握《陶哲轩:实分析》,day8 【数学家思考：R是不可数集的证明探究】 ○ 首先，我作为一名数学家，我天天用各种N的子集去映射到R上，看看R的反应。然后...
压缩感知--陶哲轩
数学算子的天地
01-07 4439
http://songshuhui.net/archives/38054
实数系的基本定理_初中篇1|知实数-为什么0.9的循环等于1？
weixin_39638012的博客
11-22 877
(初一下学期)弘毅: 为什么0.9的循环等于1?我：说来话长，你坐下听我慢慢说。摘要：1. 该问题的普遍性2. 有理数3. 从有理数到实数4. 真正理解实数-极限与拓扑5. 关于高中及以前的数学-结合自身需求这是一个好问题，恭喜你已经成为一个爱思考的人类！1. 该问题的普遍性其实不只是你说的这个，除了0，其它任何一个有限小数都有两种表示方法:比如 2. 有理数首先说说我们认识实数的过程。在远古时代...
【AI学习】陶哲轩在 2024 年第 65 届国际数学奥林匹克（IMO）的演讲：AI 与数学
bylander的博客
09-15 2197
陶哲轩介绍到被数学家接受并开始普及的方法：形式化证明辅助工具
陶哲轩谈数学问题求解的思维方法
资源摘要信息:"solving-mathematical-problems-terence-tao.pdf" 是由著名数学家陶哲轩（Terence Tao）撰写的一本关于数学问题解决方法的专著，该书从作者个人视角出发，系统性地探讨了如何有效地思考、分析并解决...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值