年轻人常用网站国外服务器商

年轻人常用网站,国外服务器商,网络规划设计师历年视频教程,wordpress用户分组管理西风 鹭羽 发自 凹非寺量子位 | 公众号 QbitAI刚刚#xff0c;陶哲轩与多名数学家通力合作#xff0c;为Erdős#1026正式画上了句号。至此#xff0c;这个尘封50年的难题终于得到完全解决。关键是#xff0c;AI又立大功了。在多种AI工具的辅助下#xff0c;整个解题流程仅…西风 鹭羽 发自 凹非寺量子位 | 公众号 QbitAI刚刚陶哲轩与多名数学家通力合作为Erdős#1026正式画上了句号。至此这个尘封50年的难题终于得到完全解决。关键是AI又立大功了。在多种AI工具的辅助下整个解题流程仅用48小时便完成。博采众家AI之长正在成为解决问题的关键。正如陶哲轩本人所说用传统方法一两位数学家用简单的编程和文献检索工具最终也能完成但可能需要数周或者数月才能解决。陶哲轩随后亲自梳理并公开了此次问题被解决的完整过程。消息传出后网友纷纷感叹“太酷了”一起来看看他们究竟是如何解决的48小时解决Erdős#1026Erdős#1026问题最早在1975年被提出初始问题为但该问题表述相当模糊于是数学家Desmond Weisenberg提议对这个函数的最小可能值进行研究引入一个最大常数的量c(n)使得其中c(n)是所有长度为n的不同实数序列。如果用博弈论来解释该问题那么就是假设Alice有N个硬币她将硬币分为n堆每堆大小都为Bob只能选择一个单调子序列的堆并拿走这些堆里的所有硬币。问Bob无论Alice如何分配硬币至少能保证拿走全部硬币的多少比例其中c(n)是Bob拿走的最小比例。这里陶哲轩还用AI画了一张简单的说明图陶哲轩随即给出了他的初步答案显然c(1)1时Alice只有一堆Bob可以拿走全部c(2)1时两堆一定处于单调Bob可以拿两堆c(3)2/3时Bob至少可以取两堆但无法保证全部三堆。数学家Stijn Cambie提出了更进一步的猜想。通过计算c(n)的前几个值可以得到存在以下近值112/31/21/23/72/53/81/3。所以如果,...,是不同的正实数且那么总存在一个和至少为1/k的单调子序列。但该问题随后一直没有出现进展直到Boris Alexeev使用Harmonic的数学AI模型亚里士多德在证明助手Lean中自动构造并证明了关键不等式。该证明成功将原问题转化为一个计算几何领域的矩形填充问题。一个小时不到另一位数学家Koishi Chan加入其中给出了一个基于原始Erdős–Szekeres定理的替代证明印证了前面AI的发现。第二天陶哲轩注意到了这个问题他将该问题放入AlphaEvolve要求它通过生成总和为固定值这里选择的是10的6次方的实数或整数序列来获取c(n)的上界并尽可能确保S的值够小。在运行一小时后AlphaEvolve生成了以下c(n)的上界其中包含了一些结构清晰的潜在极值解显然数值分数除以10的6次方正在试图逼近简单有理数于是陶哲轩又利用John Cook的公开专用工具将序列整理成这为序列c(n)的值提供了一种猜想之后Boris Alexeev继续找到了该猜想的简洁表述即满足和。另外他还提供了一个明确的上界构造该上界通过构造不利配置的序列实现基本思想仍然来自Erdős–Szekeres定理即复杂设计数字排列顺序会使得长单调序列无法同时拥有很好的权重。这种构造是组合性的需要精心设计序列结构与分块策略才能使最长序列单调和受限。用ChatGPT Pro生成1/c(n)的图像能够直观看出它基本上是对平方根函数的分段线性逼近。不久之后数学家Lawrence Wu就该问题结合正方形填充Erdős#106进行了阐述。根据Erdős#106他将f(n)引入该问题设定其为最小数使得把n个正方形按平行坐标轴打包进一个大正方形时满足其中对于n10时用ChatGPT Pro生成转换成方形打包的图像如图所示在此基础上Lawrence Wu通过AI论文检索找到了一篇去年由Baek、Koizumi和Ueoro联合发表的论文最终证明了猜想中的公式从而完成了整体证明。接下来陶哲轩将上述所有信息全部输入了ChatGPT生成了连贯证明。人人AI数学破壁机当然这已经不是陶哲轩第一次用AI解题了。最近他还借助Gemini 2.5 Deep Think破解了Erdős问题#367。这是他本人很擅长的连续整数结构的乘法数论问题该问题建立在前人并不完整的反证基础上陶哲轩借助Gemini Deep Think进行证明补全。全程只用了十分钟Gemini就从论证分析打通了结论确认。另外陶哲轩前段时间还利用GPT-5进行半自动化文献检索。他借助GPT-5对相关数列进行高精度计算随后将得到的结果输入OEIS一个收录全球数列的数据库进行检索对照进而发现部分Erdős问题其实早已在既有研究中被解决——只是长期没人注意到未把结果与问题库对应起来。至于什么是Erdős问题它出自20世纪著名匈牙利数学家Paul Erdős。此人一辈子合作了超500位数学家毕生发表了约1525篇数学论文数量之多至今无人能及。相应地他也提出或转述了千道问题给后人留下了“Erdős问题”。其中大量题目被收录于erdosproblems.com网站。该网站由数学家Thomas Bloom制作记录了每道题目的当前状态。目前绝大多数难题依然悬而未解。随着AI技术的不断进步接连有人利用AI成功解答了这些几十年来未曾解决的难题。陶哲轩本人就表示“在Erdős问题网站上AI辅助已经变得很常见”。就在前几天来自Harmonic的数学AI模型还被曝独立证明了Erdős问题#124。微软前AI副总裁、目前在OpenAI研究AGI的Sebastien Bubeck表示“该解决方案100%由AI生成总计耗时6小时”。目前Erdős网站也公开鼓励大家借助AI等工具辅助解题允许使用AI辅助撰写评论但需满足(a)公开说明使用了AI(b) 内容包括数学内容、代码、数值数据及相关来源已由用户本人独立不借助AI仔细检查和验证(c)评论长度合理。而这次Erdős#1026的快速解决离不开“人与人的协作”“人与AI的协作”。这种协作方式也正在成为一种新趋势。参考链接[1]https://www.erdosproblems.com/forum/thread/1026[2]https://terrytao.wordpress.com/2025/12/08/the-story-of-erdos-problem-126/