**AxiomProver at IMO 2026 (perfect score)** 这是一个开源项目，通过 Hacker News 发现的。该项目在 2026 年 IMO 评分为 41/100。 **价值** 该项目的价值在于，当其 README 和活动与具体工作流程匹配时，它可能会非常有用。 **典型接入方式**