实体 Ghys Conjecture

Ghys Conjecture

PulseAugur coverage of Ghys Conjecture — every cluster mentioning Ghys Conjecture across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

时间线

2026-10-15 research_milestone A proof for the 3D Ghys Conjecture was achieved through human-AI collaboration using the Intern-S2 model and subsequently verified. 来源

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_301634 · Oct 15 · 07:14

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

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