Event ·Official first-hand

论文证明路径结构最大化图索引随机游走范围

这篇论文证明了在所有相同节点数的连通二分图中，路径结构能最大化均匀选择的图同态到整数的期望范围。研究通过限制和缩放同态在每个二分部分类，然后收缩结果高度函数恒定的边，并给出零边秩的定量估计来补偿奇偶项，从而对节点数进行归纳证明。该证明通过OpenAI GPT-6 Astra的交互完成，并在Lean~4中形式化验证。

Current read

这是篇挺硬核的数学证明论文，作者用AI辅助证明了关于图同态的BHM猜想，对图论和概率论研究者可能有参考价值。

11 sources23° AI heatLast updated 2026/9/17 05:36:18

Evidence

11 sources

Primary sourcearXiv: OpenAI

2026/9/17 05:36:18View source

Related source 1DeepLearning.AI

2026/9/15 14:30:37View source

Related source 2Gary Marcus

2026/9/16 04:22:08View source

Related source 3lmarena.ai

2026/9/16 19:13:56View source

Related source 4Decoder

2026/9/17 09:45:55View source

Related source 5OpenAI

2026/9/17 20:15:13View source

Related source 6Greg Brockman

2026/9/17 21:31:30View source

Related source 7IT之家

2026/9/18 00:03:24View source

Related source 8Tech in Asia

2026/9/18 00:14:27View source

Related source 9shao__meng

2026/9/18 00:28:18View source

Related source 10AI Will

2026/9/18 02:38:40View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story