新智元报道 一页纸，啃下了一篇要用 44 页顶刊论文才啃动的硬骨头。 1991 年，《数学年刊》（Annals of Mathematics）上登出过一篇 44 页的论文。 作者叫József Beck，这个名字在组合数学圈无人不知。 他是 Beck-Fiala 定理的提出者，1985 年 Fulk
新智元报道 北京时间今天凌晨，时隔 16 年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的 AI 大模型。 小组赛阶段，当商汤小浣熊押「佛得角」能挺进 32 强时，没人
新智元报道 「你已达到使用上限，请等待额度重置。」 用过 Claude Code、Codex 的人，大概都被这行字噎过。bug 刚修到一半，弹窗一出，全停了。 如今你把活整件甩给 Agent，它替你干、也替你烧钱，每一次调用都在按 Token 结算。 Token，俨然成了这个时代最像「货币」的东西。
新智元报道 过去两年，AI 智能体（Agent）完成了一次身份转变。 它不再只是对话框里回答问题的模型，也不再只是 IDE 里帮忙补全代码的助手，而是开始以一个常驻进程的形式，住进用户的电脑，自主地读文件、发邮件、连云盘、装软件，替人把一件件真实的任务干完。 以 OpenClaw 为代表的这一代「C
来源 | Tech 星球 文| 林京 在 2026 WAIC 被大模型参数与具身智能的机械骨骼包围时，小红书的展馆显得有些“另类”——选择将生态内的诸多开发者送往展厅，以及一场主角为 00 后甚至 05 后的“让 Builder 被看见”论坛。 小红书同步推出了两大产品新能力：RED Skill 全
悬而未决 87 年的经典数学难题——雅可比猜想（Jacobian Conjecture），可能被一个只有三行公式的反例推翻了。 7 月 20 日，数学家、Anthropic 研究人员 Levent Alpöge 在社交平台 X 公布了一个三元多项式映射。它满足了雅可比猜想要求的前提条件，却违背了猜想
IT 之家 7 月 20 日消息，近年来，低空云层数量增加，为海洋遮挡阳光并帮助降低地球温度。但这一反馈机制如今可能正在发生逆转，并可能进一步加快全球变暖速度。 据 IT 之家了解，云层一直是预测未来气候变化过程中最大的“不确定因素”之一，因为它们反射太阳辐射的方式十分复杂，既可能让地球升温，也可能
7 月 20 日消息，据迪粉之家公众号，比亚迪海狮 08 配置信息曝光，其中纯电车型提供 800 公里和 900 公里续航版本，并且有 5 座和 6 座车型的版本，目前的消息是 8 月份上市。 据 IT 之家此前报道，比亚迪海狮 08 今年 4 月在北京车展首发亮相，搭载第二代刀片电池、闪充技术、云
2026 世界人工智能大会（WAIC）期间，摩尔线程首次公开展示了其最新的 MTT C256 超节点。 据介绍，该产品首创一层 Scale-up 网络架构，实现标准单宽机柜 128 卡全互联，并柜扩展可达 256 卡极速互联，相当于用一层 Scale-up 网络把 256 张 GPU 变成一台数据中
7 月 20 日，2026 年世界人工智能大会上，无问芯穹联合创始人兼 CEO 夏立雪提出，从 Pre-training（预训练） 到 Post-training（后训练）、从 Test-time（推理时扩展） 到 Agentic scaling（智能体扩展），在四条 Scaling Law 的作用