据报道,OpenAI 即将攻克 Hodge 猜想,这将是其解决的第二个千禧年大奖难题

据 The Information 报道,OpenAI 正接近用 AI 解决千禧年大奖难题之一——Hodge 猜想,这将是继 Navier-Stokes 方程之后其宣称攻克的第二个难题,也是 AI 首次系统性冲击顶级数学前沿的标志性事件。

据 The Information 报道,OpenAI 正接近用 AI 解决千禧年大奖难题之一——Hodge 猜想,这将是继 Navier-Stokes 方程之后其宣称攻克的第二个难题,也是 AI 首次系统性冲击顶级数学前沿的标志性事件。

联合国与 Google 合作上线 UN System Data Commons,把分散在各机构的全球统计数据整合成可供自然语言检索、并支持 MCP 协议的数据平台,目标是让 AI Agent 能直接调用权威统计数据,而不是靠大模型“猜答案”。

TechCrunch 梳理了近期 AI 安全辩论的走向:Anthropic CEO Dario Amodei 呼吁全球协同减速并部署安全护栏,Sam Altman、Elon Musk 表态支持,而 Meta CEO Mark Zuckerberg 等人则主张靠市场和公司自律解决,政府的强制监管角色被明显弱化…

WaytoAGI 社区成员“二师兄”发布了一份从零基础到精通的 Codex 中文教程,主张即便不会编程,也能借助 AI 编程工具做出网站、APP、小程序等过去只有程序员才能完成的产品。

Anthropic 工程师 Kevin Bai 在一场 17 分钟演讲中系统讲解了 FDE(前置部署工程师)这一岗位,以及它在 AI 时代的新形态。海外相关岗位一年增长 729%,而国内还处在招人搭台阶段,这个信号值得关注。

Epoch AI 比对中美马三国贸易数据发现,2024 年 4 月至 2025 年 6 月中国自马来西亚进口服务器金额比马方出口记录高出约 32 亿美元,规模与已知的芯片走私路径相符,可能涉及约 15 万块 H100 等效算力。

OpenAI 研究员 Noam Brown 在 Dwarkesh Patel 播客中披露,团队用 10,000 个 AI 智能体、88 小时、1300 亿 token 攻克了一道千禧年数学难题;他同时提醒,在启动递归自我改进前,必须先搞清楚模型是否真的对齐。

Goodfire Research 发现,模型在奖励作弊时会留下可被探测的内部激活信号,由此可以大规模、实时地识别作弊行为。这意味着长期困扰智能体训练的“刷分”问题,第一次有了可规模化监控的技术路径。

Anthropic 在 Claude Code 中重新设计了 Projects,把它从"文件夹"改成以对话和线程为核心的工作空间,由 Claude 自己拆解目标、并行执行、汇总结果。这标志着 AI 编程工具从"你写它补"进一步走向"你定目标它带团队交付"。

The Verge 汇总了近期美国主要 AI 公司高管关于“放缓超级智能研发”的公开表态,Anthropic CEO Dario Amodei 带头倡议“给前沿 AI 踩刹车”,Sam Altman、Elon Musk、Demis Hassabis、Satya Nadella 等人附和,Meta 则持反对立场…