科学与数学
Lean 4 反证 Köthe 猜想（Krempa 矩阵形式）
Epoch AI 评测中，预发布 GPT-6 Astra 自主写出 Lean 4 反例。仓库含 Challenge/Solution、Comparator 配置和 CI。
返回作品库
科学与数学 / GPT-6 Astra
四种灾难场景的 HTML 生成成本对照
关于这个作品
每个场景一个自包含 HTML；单轮且不修改。 平台报告 Astra 25159 token、1.67 美元，Fable 37767 token、2.51 美元。 平台自营同题评测，成本与无修改声明未独立复现。
评测
公开提示词
创作者尚未公开这个作品的提示词。你可以查看作者原帖或项目源码，了解更多创作细节。
作品图片与视频
创作者与来源说明
Most entries have no play URL, source, or full prompt. Use the original post.