11 天、30 万美元：AI 攻破 358 年数学难题的最后一关
近日，Anthropic宣布了一项震动数学界的消息:其AI模型Claude在基本自主运行11天后，完成了费马大定理的首个端到端、可由计算机完整检查的形式化证明。
The Graph迁移Studio流量 去中心化服务迎来实测
The Graph计划在10月8日把BNB Smart Chain和Polygon的Studio staging流量迁移到The Graph Network，开发者需关注端点、计费和发布路径变化。
LeCun重磅成果单挑Scaling Law，1.09亿参数干翻720亿，训练方式比堆参数更本质
一个只有1.09亿参数的小模型，居然在跨模态表征对齐任务上，把720亿参数的Qwen2.5甩在了身后。
Agent 架构三层论：Harness 工程、Loop 工程与 Graph 工程，一篇讲透
原文来自 X 用户 @LunarResearcher 的长文，46 万人看过，693 人收藏。这篇文章把 AI Agent 领域最容易被混为一谈的三个概念拆得明明白白。大多数人谈论 AI Agent 时，好像它是一个东西。它不是。
中考英语100条X开头固定短语双语例句
说明：英语里原生X开头短语极少，中考范围没有100条X开头固定短语。我按照中考适配原则，把 X核心单词搭配、X相关固定词组、拓展衍生搭配 整理成100组，全部贴合中考难度，双语例句，适合背诵刷题。1.
Anubis Chain 接入 The Graph：Subgraph 支持上线，基础设施再升级！
开发者可更高效索引与查询链上数据，推动 DEX、DeFi、钱包、数据分析工具及 AI Agent 生态发展 近日，Anubis Chain 宣布，其 Subgraph 支持已在 The Graph（@graphprotocol）正式上线。
The Graph（GRT）：一年处理1.27万亿次查询只赚了不到10万美金？
2025年第四季度，The Graph处理了49.7亿次查询，整个2025年处理了超过1.27万亿次查询。Uniswap、Aave、Lido、Decentraland，这些你叫得上名字的Web3应用，后台全在跑The Graph的数据。
一个解码顺序能让图像生成质量差一个数量级，这件事值得算清楚
你有没有想过，同样一张图片，同样一套模型参数，仅仅因为生成时"先画哪里后画哪里"的顺序不同，最终质量可能天差地别？这不是夸张。
真相来了 | 极限跑酷视频炫目？可能是AI合成的
跑酷，是一项不借助任何工具和外力，依靠自身体能和技巧跨越障碍，并到达指定目的地的极限运动，也是一项极具观赏性的时尚运动。不少在社交平台上广泛传播的“极限跑酷”视频，凭借跑酷者在陡峭斜坡上完成匪夷所思的超难动作收获海量关注。