Claude 用 11 天做完费马大定理形式化证明

程序员的那些事 · 公众号 · 程序员 · 2026-09-05 16:39

原文地址：访问原文地址
总结与预览地址：访问文章预览/总结
文章地址：访问文章快照

分享到微博

推荐文章

玉伯 · GPT-6 Astra 已上线 YouMind 确实非常强大

15 小时前

阿里云云栖号 · 2026云栖大会新玩法：千仔陪你沉浸式云逛展

昨天

玉伯 · 这几个 Skill 有意思永远有各种创意通过 Skill

2 天前

程序员的那些事 · 刚刚！黄仁勋官宣英伟达 129.3 亿美元收购抱抱脸

2 天前

51CTO技术栈 · 黄仁勋给AI热潮泼冷水：接入AGI，公司也不会一夜之间提高效率，大模型只是“大脑”，Agent还要先装上“外骨骼”

2 天前

十五五规划研究院 · 原创 | “十五五”国资园区突围战：新质生产力驱动下的生态赋能与运营重构

1 年前

刘润 · 我和微软，3个重大决定，伴随着3次降薪

1 年前

FM93交通之声 · 93主播孙婧亲测：暑假带娃去澳洲，这几个体验让学霸妈都拍大腿！

1 年前

江南都市报 · 苹果iOS26新增实用功能：便利不同设备WiFi登录

1 年前

一叶目开 · 最全面，最透彻，一路通天的英语学习步法

1 年前