AGI Hunt· hargup13·· 3 小时前AI 评分43
Lean 4 推导的 C 代码登顶 12 美元服务器挑战赛，每用户 CPU 消耗低 19%
Lean 4 推导 C 代码登顶 12 美元服务器挑战赛，CPU 降 19%
AI 导读
开发者 hargup 宣布其 Lean 4 提交登顶 $12 server challenge（12 美元服务器挑战赛），服务用户数超过 Rust、C 甚至手写汇编版本。
来源：AGI Hunt · agihunt.info
Lean 4 推导的 C 代码登顶 12 美元服务器挑战赛，每用户 CPU 消耗低 19%