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
不用物理引擎；手写逐帧重叠碰撞；固定 1200 帧、60 fps、20 秒录制，反馈观察但不手改代码。 作者报告 Astra 1.84 美元、9 分 56 秒、约 45k token；第二轮才完成。 成本、计时和确定性来自作者测试，未独立复现。
评测
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.