Science & math
Lean 4 disproof of the Köthe conjecture
In an Epoch AI eval, a pre-release GPT-6 Astra autonomously wrote a Lean 4 counterexample. Challenge/Solution, Comparator config, and CI are in the repo.
Back to projects
Science & math / GPT-6 Astra
开展六自由度轨道交会对接工程基准
About this project
作者要求双体ECI传播、HCW引导、四元数动力学、燃料和力矩约束，并分项审核。 作者给Astra92.6、Fable81.4；Astra43分钟，Fable74分钟。 分数是作者engineering-quality评分；其说明严格hard-fail下Fable应为0，未独立复核实现。
评测
Published prompt
The creator has not published a prompt for this project. Explore the original post or source code for more context.
Project media
Creator & source notes
Most entries have no play URL, source, or full prompt. Use the original post.