当AI可以逆向一切的时候，我们还剩下些什么？
我让agent读了下这个项目的运行逻辑，说起来倒也不那么复杂，它也是建立在之前的逆向生态基础上迭代出来的，就是把Ghidra、Hopper这些专业逆向工具通过MCP接给coding agent，你看中哪个软件的哪个功能，让agent去拆，拆完给你证据，再照着给你自己的项目做一个。
Anthropic科学家宣布：全球博士生职业生涯一夜清零
过去 7 个月里，模型一直在解决数学家们此前未能攻克的数学难题;在硅谷，拥有「长期时间线」意味着认为 AGI 将在 10 年内到来。
56年没解开的题，AI全解了！谷歌DeepMind新成果登上Science主刊
来源：市场资讯（来源：新智元）新智元报道谷歌的AI数学家，登上Science了！论文里的主角，是DeepMind的AlphaProof Nexus。9项埃尔德什问题、44项整数序列猜想，它都给出了证明。其中两道老题，足足悬了56年。
压成本赚快钱：“偷工减料模拟游戏”《黑心装修队》发售
IT之家 8 月 16 日消息，由 Gray2RGB 开发的恶搞装修模拟游戏《Low-Budget Repairs（黑心装修队）》近日登陆 Steam。玩家将扮演一名经营小型装修公司的装修师傅，通过尽可能压低施工成本，在有限预算下最大化自己的利润。
电脑突然进不去系统、蓝屏、提示"自动修复"！别慌重要文件还能救
先讲个很多人的噩梦。前天一位粉丝私信说，他电脑正开着，突然蓝屏，重启之后就一直提示"正在准备自动修复"、"自动修复无法修复你的电脑"，怎么也进不去系统。他急得不行，因为桌面上、文档里有他攒了好几年的重要资料，怕全部丢了。先别慌，**电脑进不去系统，不等于文件丢了。
哈佛谷歌惊人研究：GPT-6 Astra已解决98%世界物理难题
就在刚刚，一项研究显示，GPT-6 Astra 已经解决了 98% 的全新理论物理难题!项目贡献者包括了Suvrat Raju、Sudip Chakraborty、A. Ramesh Chandra等数十位知名学者。
GPT-6第1天直接攻破5道Erdős难题，Fable 5.1交了白卷
刚出道的GPT-6 Astra，又解决了5道Erdős数学难题。另外4个模型，GPT-5.6 Sol、GPT-5.5、Claude Fable 5.1、Claude Fable 5都交了白卷，通通0分。
初代Mac首席设计师：往图标里加的细节越多，它能代表的人就越少
一点不夸张，这是Y Combinator Startup School前几天的演讲中，我最喜欢的一场。演讲者是Susan Kare，初代Macintosh的唯一视觉设计师。她1983年加入苹果。