开始吧

人类和费马大定理纠缠了三个半世纪，Claude这次只用了11天！？ 刚刚，Anthropic宣布，Claude完成了首个端到端、可由计算机完整检查的费马大定理证明。 约1300万行Lean代码、超过3万个中间定理、最终证明使用其中约29500个。 整个工程规模，已经超过Lean核心数学库Mathlib的5倍。 这次Claude没有发现一个全新的费马大定理证明。 它完成的是另一件同样工程量《惊人》的工作： 把人类数学家能够读懂的证明，彻底翻译成计算机能够一行一行检查、没有任何「这里显然」的形式化证明。 而这件事，数学界原本是按多年工程来准备的？？？？ 350多年数学史，被Claude塞进1300万行Lean 先快速说一下费马大定理到底是什么。 其指的是，对于任意整数n>2，都不存在正整数a、b、c，使：aⁿ+bⁿ=cⁿ。 这个命题看起来极其简单，难度却高得离谱！！ 从17世纪费马留下这个命题开始，欧拉、勒让德、库默尔等一代代数学家不断往前推进，始终没能拿下完整证明。 直到1993年，英国数学家Andrew Wiles第一次公开宣布证明费马大定理。 随后审查发现其中存在关键缺口。 Wiles又花了大约一年时间和

英特尔正悄然布局一个意想不到的方向——重返内存。现任CEO 陈立武近日在公开对话中透露，他正在研究"新的内存架构"，并已从SK海力士引进高管人才，外界由此得以一窥这家芯片巨头转型战略中鲜少曝光的一面。 陈立武在与老友、投资人Michael（主持人）的对话中表示，他专门为此设立了一个"心头好项目"，聘请了曾执掌SK海力士的Shil Lee加盟英特尔。"大家应该能猜到我在思考什么方向，不过我们现在还没准备好公开细节。"他说。他同时强调，内存领域此前创新不足，但当前新技术涌现，已从大宗商品生意演变为值得深挖的战略领域，而CPU与内存之间的堆叠（stacking）技术，将提供多种整合路径。 这番表态发生在英特尔艰难推进战略重组的关键节点。陈立武于2024年接任CEO后，面临的任务是重振一家在移动互联网、云计算和AI三次浪潮中相继落后的芯片老将。他坦言："过去英特尔错过了移动互联网，也错过了云计算和AI。所以从现在开始，我不会再错过任何一次大浪潮了。"上述内存布局，正是这一战略决心的具体体现之一。 垂直整合的逻辑：产品、封装与代工三位一体 陈立武在对话中详细阐述了他坚持推进垂直整合的核心逻辑。他认为，产品设计、先进封

关于谷歌内部算力的分配，有一个段子：如果你在谷歌打工，会得到100张卡；如果你离开创业，就能得到1000张卡。谷歌云的卡优先给了Anthropic挣钱，然后又从马斯克的SpaceX高价租借算力。迪安（Jeff Dean）决定辞职创业，谷歌立送上资金和算力。不过据说迪安他们离开，是因为想用英伟达或AMD的GPU...... 本文来自微信公众号： 未尽研究 ，作者：未尽研究 关于谷歌内部算力的分配，有一个段子：如果你在谷歌打工，会得到100张卡；如果你离开创业，就能得到1000张卡。 谷歌云的卡优先给了Anthropic挣钱，然后又从马斯克的SpaceX高价租借算力。 迪安（Jeff Dean）决定辞职创业，谷歌立送上资金和算力。不过据说迪安他们离开，是因为想用英伟达或AMD的GPU，而不是TPU了。据华尔街日报报道，他们认为谷歌的基础设施，好用于大型消费应用、大型广告系统和搜索，他们的研究想要的基础设施却不一样，希望比TPU更灵活。 其实，如果戴米斯.哈萨比斯（Demise Hassabis）最终辞职，立足于伦敦，引领整个欧洲从事他真心所系的AI for Science事业，谷歌也会跟着他送上算力的。 就是在谷

神译局是36氪旗下编译团队，关注科技、商业、职场、生活等领域，重点介绍国外的新技术、新观点、新风向。 编者按：与其在工业时代的旧范式里机械重复，不如将你广泛的兴趣转化为最强的现代化数字杠杆。文章来自编译。 我这个人极度偏执和沉迷。 当我（真正）对某件事产生兴趣时，其他一切都不再重要。 然后专注完全就是顺其自然。如果不是为了保命睡觉，我甚至可以一天“工作”24小时。它占据了我脑海里的全部。这是我唯一想学的，也是我唯一想做的。 在我的生命中，这种痴迷的循环发生过很多次。一开始是健身，接着是灵 修，再后来是数字艺术、摄影和网页开发。然后是心理学、哲学的各个分支，以及像直复营销和广告这样的各种“高价值”技能。 但有个问题。 如果你热爱学习且兴趣广泛，这个社会可能已经让你相信这种特质是一种弱点。而你可能也信了，因为你很容易把所有时间都花在学习上，却从未通过付诸行动来取得成果。 不过，他们的这种想法完全可以理解。大多数人的世界观仍深受工业时代范式的影响。他们坚信，成为一个专才、找一份需要你机械化重复工作40年的职业，然后在那个因为长期匮乏而导致除了买物质商品之外钱财再无大用的年纪退休，依然是人生最完美的路线。 但我可以满

周末愉快，静心观世面。秦老师说，写写梅西，我说好呀，我也挺喜欢他！那么马上开始吧！2026年6月17日，堪萨斯城。论干支是丙午。这场球后来被记住的，是三个数字：三个进球，第十六个世界杯入球，并列历史第一。可那个下午最要紧的一刻，发生在第17分钟，而它没有进任何一张数据表。那一刻，全场跑动最少的人，是梅西。德保...... 本文来自微信公众号： 秦朔朋友圈 ，作者：水姐 周末愉快，静心观世面。秦老师说，写写梅西，我说好呀，我也挺喜欢他！那么马上开始吧！ 2026年6月17日，堪萨斯城。论干支是丙午。 这场球后来被记住的，是三个数字：三个进球，第十六个世界杯入球，并列历史第一。 可那个下午最要紧的一刻，发生在第17分钟，而它没有进任何一张数据表。 那一刻，全场跑动最少的人，是梅西。德保罗带球往前，他站在弧顶附近，几乎停着。 脚没动，头在动——左，右，左。像在数什么，又像在听什么。球塞到脚下的那一瞬，他抬脚，贴地，远角。 不到两秒，他甚至没怎么助跑。然后张开手臂，慢半拍地跑向边线，庆祝得很克制，像一件早就算准的事，如期发生了。 赛后有人问起那个纪录，他说，这“只是一个数据”。 他说得比所有人都准。因为那天真正发生的