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

人工智能

Claude 辅助完成 19 万行代码，三元哥德巴赫猜想实现形式化证明

研究团队借助 Claude 大模型辅助，产出 19 万行形式化代码，完…

分维采样者
2026年11月13日
6 4 0 6

联系我们

联系：143 0457 151

工作时间：周一至周五，9:30-18:30，节假日休息