让 AI 做研究很容易，难的是让它承认自己错了
今年 4 月，AlphaGo 之父 David Silver 的新公司 Ineffable Intelligence 拿了 11 亿美元种子轮，欧洲历史上最大;
PentAGI：你写一句目标，它替你把渗透测试跑完
渗透测试这行当，最贵的不是工具，是人手。一个目标从踩点到出报告，熟练的人也要好几天。有个开源项目把这段流程切成五步，交给一组 AI 智能体接力跑。PentAGI 是 VXControl 做的自主渗透测试系统，3.3 万 Star，MIT 许可，可以整套装在自己的服务器上。
DeepSeek Harness 桌面端来了！带你拆解核心机制
DeepSeek Harness是 DeepSeek 开源的 AI Agent 框架，在 GitHub 上受到了广泛的关注。
陶哲轩质疑OpenAI公司：719篇AI数学证明，人类真的理解了吗？
IT之家 10 月 9 日消息，OpenAI 于 10 月公布 719 份 AI 数学解答，涵盖 372 个数学结果族，涉及数百项开放研究问题，不过发布后被指尚未完全达到“数学与人工智能顾问小组”（AGMAI）提出的标准。
UNREAL：用单一模型统一检索与长上下文
英伟达与以色列理工学院（Technion）的研究团队在arXiv发布论文《UNREAL: Unifying Retrieval and Long-Context with a Single Model》（arXiv:2610.
陶哲轩在“害怕”什么？
当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的？美国当地时间10月9日，著名数学家、菲尔兹奖得主陶哲轩在其博客转发了托马斯·黑尔斯的专栏文章“《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》”。
content、context、contest 的判断关键在语境？
一、先看一张表：一眼分清三兄弟记忆锚点：看中间的三个字母——tent（帐篷→装东西→内容）、text（文本→上下文）、test（测试→比赛） 。---二、content：两个读音，两种人生content 是三个词里最“分裂”的，因为它读音一变，意思就变。1.
AI批量破解百年数学难题，为何遭顶尖数学家集体反对
前言人工智能解锁顶尖数学研究能力，早已成为科技圈热议的常态。2026年10月，OpenAI一次性放出数百份AI数学研究成果，高调宣称攻克大量世界级未解难题。大众纷纷感叹科技进步的速度。数学界顶尖学者却集体发出警示声音。这场看似颠覆科研的技术突破，背后藏着容易被大众忽视的学术隐患。
改变人类文明的大事件，就这么悄然发生了！
这件大事非常静悄悄地发生在北京时间 10 月 7 日早上 6 点 19 分，OpenAI非常平淡地发了一个消息，说我们往 GitHub 上传了 722 篇数学论文，有兴趣的自己下载来看。