张益唐未竟难题被OpenAI攻破，人类联手GPT-6接力两周，证明只剩5页
2007年、2022年，张益唐两次发论文冲击它，最后那篇写了111页，拿下的也只是一个弱化版本。就在这两天，牛津数学家Ben Green甩出了一份排除Siegel零点的证明，在数学圈炸开了锅。
0‑6岁分龄绘本清单，照着买不踩雷（附阅读方法+避坑指南）
做育儿号三年，后台收到最多的提问，就是：“我家孩子X岁，该读什么绘本？” 我特别懂这种焦虑。 新手爸妈走进书店，或是打开网购页面，面对成千上万本绘本，很容易犯难。买贵的，怕不值；选便宜的，担心内容和纸张质量不行；跟风买网红爆款，结果孩子翻两页就丢到一边，钱花出去，书堆在家里落灰。
折线图怎么生成？学术、汇报、自媒体图表工具选择
折线图怎么生成，是很多人做数据展示时最先遇到的问题。对不少朋友来说，一提到画图，第一反应往往是打开熟悉的办公软件，在菜单里找插入图表的按钮，再一步步调整坐标轴、颜色和数据标签。
Codex天团深度复盘：编程顶流是如何诞生的？
在AI编程工具的牌桌上，OpenAI的Codex曾长期连入场资格都没有:用户寥寥，口碑平平，团队也走到了散伙边缘。
Claude Code桌面之父官宣离职，从高中辍学逆袭AI之巅
一天之内，Claude Code连走两员大将!如果说Thariq是在X上给全世界讲Claude Code的人，那Anthony就是把它从黑框终端搬出来、交到普通人手里的人。
GPT-5.6和Fable联手，解决了一道悬了25年的数学难题
GPT-5.6和Fable 5联手，解决了一道悬置25年的数学难题。微软研究院首席研究员Dimitris Papailiopoulos，证明了一个多项式时间算法，能让MIMO检测精确命中最大似然阈值。
数学要「毕业」了，xAI联创宣判：两千年英雄史彻底落幕
两千多年来，人类最聪明的大脑，一直在攀登同一片山脉，数学。从欧几里得、高斯，到希尔伯特、怀尔斯，每征服一座山峰，都要赌上一生。
GitHub火爆开源项目 MathModelAgent，数学建模1小时出稿
5000 多星的 GitHub 开源项目 MathModelAgent，定位很直接：把数学建模比赛从「三天人肉赶工」压缩到「一小时出稿」。
A\三大内部模型曝光，领先Opus5.5三个月，RSI缩短80%实验时间
Anthropic的三个内部神秘模型，曝光了。Model 2、Model 3、Model 4。其中最强的Model 4，在Anthropic的综合能力指数AECI上，已经超过了Opus5.5。
体验完升级后的字节Gauth，AI家教离一人一课又近了一步
升级后的字节 Gauth 让 AI 老师一边讲解一边在白板上绘图，配合动态演示把抽象内容讲明白。作者体验后认为，这离「一人一课」的个性化课堂又近了一步。