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
Astra 与 Fable 的游戏、前端和动效实测对照
About this project
转述 @chaseai__ 的实测；游戏经 Codex，动效调用 Higgsfield MCP。 转述称 Astra 游戏与前端更完整、动效打平，偏好与成本判断为评测者主观结论。 二手评测总结；未取得完整测试配置或独立复现，多个输出作为同一评测组。
评测
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.