Wu Bing

这里保存一些关于 AI、形式化验证、工程系统和比赛复盘的技术文章。

GitHub: wubing101

最新文章

• 中文：和 Codex Goal 一起挖数学搜索空间：从 39 亿 pair 到 1.8 亿 residual
• English: Digging Through a Mathematical Search Space with Codex Goal: From 3.9 Billion Pairs to 180 Million Residuals