标签 > Claude 辅助完成 19 万行代码，成功对三元哥德巴赫猜想进行形式化证明

独立开发者借助 Claude Code 完成了三元哥德巴赫猜想（弱哥德巴赫猜想：任何大于 5 的奇数都可以表示成三个质数之和）的形式化证明，