Xin Zhiyuan编辑报告:KingHz [Xin Zhiyuan简介] 10分钟,答案是浅表的!陶兹(Tao Zhexuan)使用了Chatgpt,并发现30多年来,中国数学家解决了未解决的问题。没有“奇迹”。这次我使用了正确的工具链。 Chatgpt计算该系列的第一个元素,输入特定数据库,到达序列,找到文献并验证答案。数学社区再次见证了一个奇迹! Tao Zhexuan用新技巧演奏了Chatgpt。在一个陌生人的眼中,在两个显然无关的数学问题的帮助下,Chatgpt发现了隐藏的联系并解决了多年来未解决的问题。所有这些主要的中国数学家都必须问ChatGpt问题,但这花了不到10分钟的时间:Tao Zhexuan专门透露了他的手,并与Eddosproblems.com的条目259建立了联系。 “Erdős的问题” EridSproblems.com包括近1,000个数学家 Paul Erdős 提出或转发的问题,记录了每个问题的当前状态。他解决了 Erdős 259 问题。Erdős 379 号问题(在精益系统中形式化)。相关历史.pspecial n 换句话说,计算这些级数的第一项。我就是这么做的,你可以在OEIS中找到相关文献。陶哲轩让AI计算出四个元素的近似值(存储多个小数),并将这些小数字链输入到OEI中进行搜索。 OEIS 系统返回多个一致的结果。 A371134 链接:https://oeis.org/a371134 页 A371134 列出了 1999 年发表的文献。作者:科学技术研究所的 Imre Z. Ruzsa。门户网站:https://doi.org/10.1023/a:1004742930674 值得注意的是,该文档之前并未包含在 Eridsproblems.com 中。因此,这个问题已经正式“解决”了。这是第一个将 Erdes 问题与 OEIS 问题联系起来的概念证明。等式,产生实质性结果。数学家在“气氛编程”中的第一人称经验使Tao Zhexuan看到了AI在数学研究中的价值。半自动文献搜索是AI工具的一个很好的应用程序方案,因为该工具的输出(可能是不确定性)不是为最终输出生成,而是用于查找更多可靠的资源。在AI+数学中,他首先是“环境研究”。他曾经公开说:在这方面,他遵循“编码氛围”作为Github的副驾驶的技术趋势,进行了实践甚至开放。毫无疑问,陶兹恩(Tao Zhexuan)是最熟悉“氛围编码”和最熟悉“环境编码”的程序员的数学家之一。实际上,这一新发展并不是纯粹的“幸运”。 2025年8月31日,Tao Zhexuan启动了一个新的合作项目。通过系统地将您的ERDő问题网站连接到您的OEI数据库众包。两者是什么相关的? ERDS提出的大多数问题涉及某种类型的整数序列。例如,对于满足特定属性的结构,当比例为n时,最大或最小尺寸为f(n)。其中一些序列包括在OEI中。但是,在许多情况下,它们尚未在OEI中输入或存在,但尚未建立指向ERDSS网站的链接。为此,OEIS维护者Thomas Bloom和Tao Zhexuan提出了启动众包方案,该方案系统地计算了OEI中这些ERD和交叉验证问题的序列。他们创建了一个GitHub存储库来协调过程。 GitHub项目:https://github.com/teorth/erdosproblems存储库的主文件是一个大表,可记录每个ERDS问题的当前状态。例如,问题3当前被标记为“打开”,其OEIS状态istá标记为“可能”(可能有一个相关的序列)。项目核心的内容:AS一个示例状态,问题编号3包含r_k(n)序列,该序列定义为算术序列的最大子集大小,不包含k的长度为{1,…,n}。这些R3(n),R4(n)序列,…可能已经在OEI中,因此您查找关键字或计算第一个比较。 (更新:纳税人已经确认前四个序列分别对应于A003002,A003003,A003004和A003005,并且表相应地更新了)。许多问题所涉及的序列不需要复杂的数学知识来计算。道Zhexuan希望这将成为一个“公共数学”项目,并希望通过聚集更多的公众参与数学兴趣,并提供实验数据和线索,从而在研究层面上促进和发现问题的收集和发现。此外,该项目还将为AI提供用于数学辅助工具的测试站点。您可以使用AI自动计算序列,或生成和实现代码。但是,您必须知道生成的内容中可能存在的错误或幻觉。但是,如果AI给出的结果与OEIS中的序列成功一致,则该任务将完成。此外,最终结果仍然取决于OEI或人类验证文献,因此无需将结果直接包含在数据库中。这仍然是一个实验项目,可以根据反馈对工作流进行调整。总而言之,这是一种尝试将现代数据工具(OEIS,Github,AI)与一组历史数学问题相结合的尝试,以及一个实践DAND探讨了“质量参与 +实验数据 +智能工具”如何在数学研究中共同起作用。请参阅:https://mathstodon.xyz/@tao/115135610687969581HTTPS:///terrytao.wordpress.com/2025/2025/08/31/a-crowdsourced-sourcerced-sourced-sourced-sourced-project-project-project-project-project-project-project-project-project-project-project-link-link-prosproble
特殊声明:先前的内容(包括PhotOS和视频(如果有)已由网络自我媒体平台的用户收取和发布。该平台仅提供信息存储服务。
注意:以前的内容(如果您有照片或视频)将由社交媒体平台NetEase Hao的用户收取和发布,仅提供信息存储服务。