PulseAugur
中
实时 10:33:13
English(EN) Mathematicians Use Shanghai AI Lab's Intern-S2 to Prove 3D Ghys Conjecture, Verified in Lean

上海人工智能实验室的Intern-S2协助证明三维Ghys猜想，由北京大学验证

作者 PulseAugur 编辑部 · [2 个来源] ·

上海人工智能实验室的研究人员利用其Intern-S2大语言模型协助证明了三维Ghys猜想，这是一个在动力系统领域长期存在的重大难题。该证明是通过人机协作过程实现的，模型在数学家的指导下进行了大量的计算和探索。随后，北京大学的一个团队使用Lean定理证明器正式验证了该证明，确认了其正确性，并展示了AI在解决复杂数学挑战方面的潜力。 AI

影响 展示了AI在复杂数学推理和形式化验证方面的能力，有可能加速理论科学的突破。

排序理由 该集群详细介绍了在AI协助下取得的重要数学证明及其形式化验证，符合研究类别。

在 Pandaily 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

上海人工智能实验室的Intern-S2协助证明三维Ghys猜想，由北京大学验证

本文如何被排名

Signal score
39 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Research
该集群详细介绍了在AI协助下取得的重要数学证明及其形式化验证，符合研究类别。
Source corroboration
2 independent sources
Multiple independent publishers reporting the same story raises confidence that it's real and newsworthy.
Topics
paper, model release
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
Breaking (< 6h)
Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

完整方法见我们的编辑标准。

报道来源 [2]

  1. 雷峰网 (Leiphone) TIER_1 中文(ZH) ·

    上海人工智能实验室的“Qwen-S2”大模型进入前沿数学研究流程：辅助证明三维Ghys猜想并进行形式化验证

    <p style="text-align: left; margin-top: 6pt; margin-bottom: 6pt;"><span style="font-family: Arial; font-size: 11pt;">上海人工智能实验室（上海AI实验室）访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。北京大学董彬教授、刘若川院士团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工作的正确性。有业内人士认为，这标志着中国科学家首次…

  2. Pandaily TIER_1 English(EN) · [email protected] (Pandaily) ·

    数学家使用上海人工智能实验室的Intern-S2证明了3D Ghys猜想，并在Lean中得到验证

    A proof of the codimension-one case of a 1995 conjecture by Etienne Ghys was developed with Intern-S2 over many rounds of dialogue, and a Peking University team formalized it in Lean.

相关实体

相关话题