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
Legora 多文档错误核对测试
About this project
转述Legora用Astra在数分钟内比较41份文档并找到预置4处错误的测试。 作者明确尚未亲测；仅二手基准，文档内容与错误设置未读取。
评测
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.