archorfight /
GPT-6 Astra 发布一周，demo 已经多到刷不过来。这个仓库把传播最广的案例收拢在一起做核对：每条链接都指向原作者的原始帖子（不是转发），热度是真实赞数，社区项目附仓库链接和星数。 目前收录： 37 个病毒级 Demo，按赛道分组（3D 建模/游戏/Computer Use/现实应用/硬件电子/基准实测） 19 个社区项目（含 Astra 用 Lean 4 否证 Köthe 猜想、通关《传送门》的完整配置仓库） 26 条社区热…
GPT-6 Astra 发布一周，demo 已经多到刷不过来。这个仓库把传播最广的案例收拢在一起做核对：每条链接都指向原作者的原始帖子（不是转发），热度是真实赞数，社区项目附仓库链接和星数。 目前收录： 37 个病毒级 Demo，按赛道分组（3D 建模/游戏/Computer Use/现实应用/硬件电子/基准实测） 19 个社区项目（含 Astra 用 Lean 4 否证 Köthe 猜想、通关《传送门》的完整配置仓库） 26 条社区热帖（Reddit 按主题分 5 组 + Hacker News 深度讨论） 官方发布数字 + harness 争议的深度分析（99.9% 那个分数是自定义 harness 跑出来的，默认 harness 只有 62.7%） 中英双语（README + zh-CN）。 使用方式 打开仓库即用。想找某个赛道（比如 Blender 建模、KiCad 画板）直接跳对应小节；每条带一句话说明证明了什么能力。有更好的案例欢迎提 PR，贡献规则在 CONTRIBUTING.md。
讨论这个产品