昊梵体育网

Claude自主跑11天，把费马大定理翻译成计算机能验的形式化证明。不是AI重新证明了定理，而是生成1300万行代码让Lean逐步核查，这效率原本预计要数年。

2026-09-05 07:35:00 UC新闻助手 科技

Claude自主跑11天，把费马大定理翻译成计算机能验的形式化证明。不是AI重新证明了定理，而是生成1300万行代码让Lean逐步核查，这效率原本预计要数年。

阅读：1

猜你喜欢

小米18Fold中折叠外观抄袭华为PuraXMax？这两天听到不少这样的说

小米18Fold中折叠外观抄袭华为PuraXMax？这两天听到不少这样的说

2026-09-04 郝评科技
标签： 小米科技 华为 小米18fold puraxmax 手机行业
小米二代双表盘，取消了两个圆盘的设计，应该是为了能显示更多的内容。最主要，能摇头

小米二代双表盘，取消了两个圆盘的设计，应该是为了能显示更多的内容。最主要，能摇头

2026-09-04 冬亦用汽车啦
标签： 小米科技
卢伟冰回应小米18Fold起售价过万卢伟冰主动回应小米18Fold“一万多元起

卢伟冰回应小米18Fold起售价过万卢伟冰主动回应小米18Fold“一万多元起

2026-09-04 苍南看言
标签： 小米科技 卢伟冰 澎湃os 芯片
华为鸿蒙Next公测了，彻底去掉安卓代码的纯血鸿蒙。我升了之后感觉流畅度有明显提升，特别是动画过渡，

华为鸿蒙Next公测了，彻底去掉安卓代码的纯血鸿蒙。我升了之后感觉流畅度有明显提升，特别是动画过渡，

2026-09-03 俊泽热读科技
标签： 华为鸿蒙系统 安卓
苹果这次恐怕要踩大坑了！说出来你可能不信，问题居然出在新掌门人的“完美长相”

苹果这次恐怕要踩大坑了！说出来你可能不信，问题居然出在新掌门人的“完美长相”

2026-09-04 桉闻通史
标签： 苹果 库克 特努斯
有人喷赵露思又又又在卖惨，因为她用的手机壳背后是小药丸，因为她拿自己有抑郁症和躯

有人喷赵露思又又又在卖惨，因为她用的手机壳背后是小药丸，因为她拿自己有抑郁症和躯

2026-09-05 乐松赏娱乐
标签： 赵露思 手机壳 抑郁症
利物浦的手机屏保图利物浦​​​

利物浦的手机屏保图利物浦​​​

2026-09-05 香香的小克利
9月即将发布的新手机也太多了。。。又燃起了我想换手机的念头，但是我最首要的要求就是，1.不卡2.不容

9月即将发布的新手机也太多了。。。又燃起了我想换手机的念头，但是我最首要的要求就是，1.不卡2.不容

2026-09-04 素福品品汽车
标签： iPhone 18 vivo 华为

热门分类