AI 数学研究重大突破：GPT-5.4 Pro 等模型成功解决超图 Ramsey 难题-低调大师

AI 数学研究重大突破：GPT-5.4 Pro 等模型成功解决超图 Ramsey 难题

2026-03-26 7

人工智能在科学研究领域的应用再次取得里程碑式进展。Epoch AI FrontierMath开放问题集中的一个超图Ramsey理论难题已被多个先进AI模型成功攻克，其中包括GPT-5.4 Pro、Claude Opus 4.6 (max)、Gemini 3.1 Pro以及GPT-5.4 (xhigh)。这一突破标志着AI在高级数学推理和原创性研究方面迈出了重要一步。

该问题的核心挑战在于改进已知的H(n)下界估计。此前的最佳结果给出了一个递归定义的下界k_n，但研究者普遍认为这个下界并非最优，即使在渐近意义下也存在改进空间。问题的目标是找到新的超图构造方法，从而证明H(n) ≥ c·k_n对于某个常数c > 1成立。

据了解，该问题的首个解决方案由Kevin Barreto和Liam Price使用GPT-5.4 Pro获得。AI模型不仅成功找到了满足条件的超图构造算法，还提供了完整的数学论证。问题的贡献者、数学家Will Brian审阅了解决方案后予以确认，并评价道："这是一个令人兴奋的解决方案。我之前曾怀疑AI的方法是否可行，但现在看来它完美地实现了。它消除了我们下界构造中的一个低效之处，在某种意义上反映了上界构造的精巧性。上下界匹配得如此之好，这在Ramsey理论问题中相当罕见。"

Brian计划将这一解决方案撰写成论文发表，并可能展开AI思路启发的后续研究。Barreto和Price将作为合作作者参与相关论文的撰写。GPT-5.4 Pro的完整对话记录和解题过程的PDF文档已公开，供学术界进一步研究和验证。

在首个解决方案问世后，Epoch AI团队完成了FrontierMath开放问题测试框架的开发。在这一标准化测试环境中，多个顶尖AI模型同样成功解决了该问题：Claude Opus 4.6 (max)、Gemini 3.1 Pro和GPT-5.4 (xhigh)都独立给出了正确解答。这一多模型验证过程增强了对AI解题能力的信心，也展示了当前前沿AI模型在复杂数学推理方面的普遍实力。

值得注意的是，较早版本的模型如GPT-5.2 Pro和Gemini 3 Deep Think在该问题上未能取得成功，凸显了模型迭代带来的能力跃升。从失败到成功的转变，反映了AI系统在数学推理、算法设计和长程规划等核心能力上的持续进步。

在问题发布前，相关领域的专家对该问题的难度和重要性进行了评估。据统计，全球约有10位数学家对这一专业课题有深入了解，其中5至10位曾认真尝试解决该问题。专家估计，人类专家解决这一问题通常需要1至3个月的时间。解决方案的学术价值被评为"中等程度有趣"，适合发表在专业数学期刊上，且被认为很有可能衍生出更多有趣的数学问题。

这一成功案例对AI辅助数学研究的未来具有深远意义。它表明，在特定类型的组合数学和构造性问题上，AI已经具备了与人类专家竞争乃至超越的能力。随着AI推理能力的持续提升，数学研究中"猜想-证明-构造"的传统范式可能迎来根本性变革，AI有望从辅助工具演变为真正的研究伙伴。

参考来源

https://epoch.ai/frontiermath/open-problems/ramsey-hypergraphs
https://epoch.ai/files/open-problems/gpt-5-4-pro-hypergraph-ramsey.txt
https://epoch.ai/files/open-problems/hypergraph-ramsey-gpt-5-4-pro-solution.pdf

微信关注我们

原文链接：https://www.oschina.net/news/414521

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

GNOME 基金会推出奖学金计划

GNOME 基金会宣布推出GNOME Fellowship计划，一项旨在资助致力于 GNOME 项目长期可持续发展的社区成员的新举措。首轮奖学金将于 5 月启动，为期 12 个月，资助对象为独立贡献者和社区贡献者。“这种方式可以减少捐助者和基金会的行政负担，让有才华的人能够发挥所长：发现重要问题并解决它们。” 基金会每年将根据申请人的经验和所在地提供 7 万至 10 万美元的资助，凡在 GNOME 领域有建树或相关经验者均可申请，但受美国相关政策限制，申请者需符合特定条件。GNOME 基金会理事会委员会将审核申请，并遴选申请人。 GNOME 一直以来的蓬勃发展，离不开众多贡献者的支持：他们投入时间和专业知识，构建并维护着数百万用户赖以生存的桌面环境、应用程序和平台。然而，开源贡献往往依赖于志愿者在繁忙的工作之余抽出时间，或是企业在众多优先事项中选择资助开发。因此，项目中许多重要的领域——那些不那么引人注目但却至关重要的基础设施工作 —— 往往得不到足够的投入。该奖学金计划改变了这一现状。得益于“GNOME 之友”捐赠者的慷慨支持，我们现在能够直接资助贡献者，让他们专注于对 GNOM...

2026-03-26

8

3月26日，在中关村论坛年会—RISC-V生态科技论坛上，中国科学院正式公布在RISC-V关键技术突破、产业协同创新及人才培养领域的系列重要成果，集中发布“香山”开源处理器与“如意”原生操作系统两大重要成果，并正式启动下一代芯片与操作系统的联合研发工作。专家介绍，RISC-V是一套全球免费开放的芯片底层架构，相当于芯片界的“通用标准”。它不用交专利费、可自主修改，是我国突破芯片生态、发展可控算力的重要路线之一。据报道，会上发布的“香山”开源高性能 RISC-V 处理器性能达到国际先进水平，同步推出了全球首个开源片上互连网络 IP，使其成为国际领先的开源高性能 RISC-V 处理器系统。“如意”RISC-V 原生操作系统率先全面支持国际标准，进一步夯实我国主导的开源软件根基。目前，高性能开源芯片已实现规模化产业落地。进迭时空、蓝芯算力、芯动科技、奕斯伟计算等企业基于“香山”处理器成功推出商用芯片，大幅降低了企业研发成本，让开源芯片真正从实验室走向生产线。论坛现场，下一代“昆明湖”架构的联合研发与“如意”操作系统的联合开发同步启动。中国移动、中国电信、中兴、阿里、腾讯、字节跳动等数...

2026-03-26

12

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。