MIT团队用GPT-6Astra改写Qwen3.5-0.8B权重，MATH-500成绩升至48.1%
麻省理工学院计算机科学与人工智能实验室（MIT CSAIL）的研究团队近日展示一种名为“权重空间编程”的AI优化方法，让OpenAI的GPT-6 Astra直接改写Qwen3.5-0.8B的神经网络权重。仅调整约0.016%、即13.072万个参数，Qwen3.5-0.
筛完 4 万个 GitHub 教育开源项目：4 万→140→73→25
我花了两个晚上，把 GitHub 上四万个教育仓库拆成了一条漏斗。39,986 → 140 → 73 → 25。第一层就砍掉 99.65%。查法先交代清楚：全部用 GitHub 自己的搜索接口，一行一条查询语句，你打开浏览器就能照着跑一遍，没有一个数字是估的。
日赚1.7亿数学博士靠AI杀入英国顶级富豪
10月11日，《星期日泰晤士报》公布2026英国富豪榜，46岁的亚历克斯·格尔科冲到榜单第八位，正式跻身英国十大富豪行列。很多人以为他靠炒股运气暴富，其实人家是实打实的数学博士。1979年他出生在莫斯科，手握莫斯科国立大学数学博士学位，之后又拿下经济学硕士。
Codex天团深度复盘：编程顶流是如何诞生的？
在AI编程工具的牌桌上，OpenAI的Codex曾长期连入场资格都没有:用户寥寥，口碑平平，团队也走到了散伙边缘。
Axiom Math 想让 AI slop 远离数学，用形式化验证打地基
AI 破解数学难题的新闻越来越多：上个月仅 OpenAI 一家就发布了 719 篇声称解决某些最困难问题的手稿。计算机辅助检查也可能出错。在一堆 AI 垃圾内容之后，Axiom Math 押注数学可以避开这个命运，不是放慢速度，而是站在更稳的地基上。
46岁数学博士靠AI做市，年赚72.6亿英镑
来源：上海证券报 英国富豪榜迎来更新。《星期日泰晤士报》此前发布的英国财富排行榜显示，亚历克斯·格尔科（Alex Gerko），一位46岁的数学博士，以160.06亿英镑的总财富攀升至2026年英国富豪榜第八位。过去一年，他的财富激增72.61亿英镑——日均增长约1989万英镑。
2026深度实测：两大AI编程工具对比，开发者该怎么选
为了不被各家宣传数据忽悠，我自己搭了一套 Benchmark：同一个遗留项目，同样的需求文档，分别用 6 款工具来改，记录每一项耗时和代码质量。
Anthropic上市文件揭AI能源困境：数据中心越来越依赖天然气发电
为什么连Anthropic这样的AI巨头也不得不在数据中心现场架设天然气轮机自发电？当电网扩容遥遥无期、并网排队漫漫无期之时，天然气真的能成为AI算力的"救命稻草"吗？要理解这一困境背后的深层逻辑，不妨先听听天然气行业内部人士如何剖析当前的供需格局与管道瓶颈。
人工智能 - 最热的名字，最卷的赛道，也是最容易"同名不同命"的
人工智能专业代码：080717T | 学科门类：工学 · 电子信息类 | 授予学位：工学学士一句话定位：计算机专业教你"怎么把程序写出来"，人工智能专业教你"怎么让程序从数据里学出规律"。前者重系统，后者重模型——这是两者最本质的区别。