一个AI智能体声称在外部图论领域取得突破性新成果。它构造出围长为(8/5) log n的正则图,这是38年来首次改进,也是迈向理论最大值的一大步。
摘要
一个AI智能体声称在外部图论领域取得突破性新成果,构造出围长为(8/5)log n的正则图,这是38年来首次改进,并向理论最大值迈出一大步。
暂无内容
查看缓存全文
缓存时间: 2026/10/20 08:46
该内容为 PDF 文件的二进制原始数据(压缩后的 PDF 对象流),其中没有可读取的文章正文,因此无法进行翻译。请提供该 PDF 中提取出的可读文本或 Markdown 格式的文章内容,我再为您翻译成简体中文。
相似文章
@OpenAI:这一结果指向更深远的意义:人工智能系统正逐渐能够整合漫长而困难的推理链条……
OpenAI在数学领域取得了一项突破:一个人工智能模型自主解决了平面单位距离问题,这是自1946年由Paul Erdős提出的一个著名未解问题。该模型发现了一类全新的构造,其性能优于正方形网格。这标志着人工智能首次独立解决了一个数学领域的重要开放问题。
@LiorOnAI:这比听起来要重要得多。一位数学家给了Grok 4.5一个开放研究问题,但它的回答不仅仅是解释已知数学,而是发现了一个全新的反例。
一位数学家报告称,Grok 4.5在四维球面上发现了一个全新的超压缩性反例,这可能标志着AI首次完成了原创数学研究,但有待同行评审。
@mattshumer_: 又一个长期未解的猜想被AI推翻了。疯狂的是提示词……基本上:- “做一次突破…”
一条推文报道,AI(很可能是GPT-5.6 Pro)推翻了图论中一个长期未解的Dinitz-Garg-Goemans猜想,使用的提示词很简单,比如“做一次突破”。
OpenAI 再向震动不已的数学界抛出数百项成果
继其大语言模型解决二十年来最大数学突破之后,OpenAI 宣布其新内部模型已再产出 372 项成果,每项都解决或大幅推进了数学或理论计算机科学中的重大公开问题,且不再需要数百万美元的成本。
OpenAI大量新证明中最令人兴奋的主张
OpenAI发布了700多篇由AI智能体生成的论文,声称在理论数学、计算机科学和物理领域解决了372个公开问题,其中包括关于黎曼假设的重大进展,尽管部分证明已被发现错误并撤回,专家仍称这些成果令人震惊。