AI破解十大数学难题，数学家要失业？
8月1日，OpenAI披露了其下一代模型Astra内部版本取得的震撼成果：在高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学等领域，一口气给出了十项全新的研究结果。这些问题的核心结论大多至少十年没有进展，部分已悬而未决数十年。
在学会数学之前，AI 先学会了大厂的虚荣心
研究人员让 100 个 Gemini Agent 共同证明 71 道形式化数学猜想。实验开始 57 分钟后，Agent 们已经正常解出 37 题。
大空头1.5万字长文引争论：“OpenAI必将崩溃，全球股市恐遭清算”（中英全文）
The same reckoning applies to the online cult acolytes of this AI era. There are millions of people online who have developed a genuine hostile resentment toward anyone who does not immediately accept a for-profit tech corporation’s marketing messaging as objective scientific truth. This cult-like fanaticism within the broader tech audience is a deep cultural sickness that must be dismantled once and for all.
玩了10年微信，今天才知道，微信右上角“+”号功能这么强大
我们每天都在使用微信，大家都知道微信右上角的“+”号，可以用来添加好友，其实它还有更强大的功能，那么下面我们就来看看，它有什么强大之处。
卡加了，吞吐为何没跟上？大模型推理中的等待，有了新解法
沿着这个目标，团队进一步分析负载随时间的变化并把预测重点放在近期哪些请求会结束上，形成短期预测与路由策略，并在真实系统中验证了收益。
突发！OpenAI下一代AI攻克10项菲尔兹奖级难题
数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。
Trace能看到故障，为什么还不能证明根因
Agent 线上效果下降时，团队通常会打开 Trace：模型看到了什么、调用了哪个工具、在哪一步重试、最终为何失败，似乎都能沿时间线找到。问题是，完整记录只能证明事情发生过。
奥特曼急了，OpenAI稳坐三年的王座，刚刚被Anthropic踹下去了
大模型之战，终于在2026年迎来了最震撼的颠覆性时刻。Anthropic在工作场所的采用率达到了34.4%，首次超越了OpenAI的32.3%。
老黄：Prompt已死，整个AI圈都在疯狂追Loop
黄仁勋给我们划出下一阶段的新重点:Nobody writes prompts anymore. The new job is to write and handle loops.