近日，在红杉资本主办的 AI Ascent 上，OpenAI 研究科学家 Dan Roberts 做了主题为「接下来的未来 / 扩展强化学习」的演讲，其上传到 YouTube 的版本更是采用了一个更吸引人的标题：「9 年实现 AGI？OpenAI 的 ...

在 Zulip 讨论中，Bruno Le Floch 最初指出，在论文中「E1689-E2 的所有已知证明都是计算机辅助」这一说法太绝对了。他自己后来给出了一个更具可读性的「人类版本」，虽有些步骤灵感来自 prover9，但整体不应算作纯计算机证明。

Jim Fan，英伟达机器人部门主管和杰出科学家、GEAR 实验室联合领导人、OpenAI 的首位实习生，最近在红杉资本主办的 AI Ascent 上做了一场 17 分钟的演讲，介绍了「解决通用机器人问题的第一性原理」，包括训练机器人 AI ...

从直觉上讲，这个假设可以理解为：虽然所有方法最终都指向最大似然估计（likelihood），但如果基于一个相对简单的奖励模型进行强化学习（RL），就等于在策略空间中走了一条「捷径」。

「互联网泡沫」是指上世纪90年代末美国股市在牛市推动下，科技类股票估值迅速飙升的现象。以科技股为主的纳斯达克指数在1995年到2000年间从不到1000点上涨到超过5000点。然而，到了2000年，形势开始发生变化。2001年至2002年间泡沫破裂， ...

他可不是普通人：Tesla 前 AI 总监，OpenAI 联合创始人之一。 这种大佬级人物都开始谈论“不写代码”，那咱们还是得认真听一听。

昨晚，金融时报消息，OpenAI和微软正在重新洽谈数十亿美元的合作条款。这场谈判旨在让OpenAI能够进行未来的首次公开IPO募股，同时保护微软对前沿AI的访问权限。 这种公司模式已被 Anthropic 和埃隆・马斯克的 xAI ...

过去我们研究AI和人类的相似性，最常见的做法是什么？“看结果”：让AI做题，看它答对多少，概率分布和人的选择对不对得上。例如，让GPT写作文、识别图片、做逻辑推理，然后对照人类的数据，得出一个“AI越来越像人了”的结论。

今年3月，GitHub CEO Thomas Dohmke 与微软 CEO Satya Nadella 一同出现在韩国首尔，参加“Microsoft AI Tour”的一站。此次活动旨在通过深度技能培训课程，帮助与会者掌握 Copilot AI Stack。 在首尔，Dohmke 接受了 EO Media YouTube 频道的专访，视频发布不到四周，便吸引了超过 30 万次观看，8200 个点赞 ...

在刚刚闭幕的RSAC 2025上，MCP（模型上下文协议）无疑是个热门的新兴话题。在这个言必谈AI安全的网络安全盛会上，被认为将在不断发展的 AI 驱动型安全格局中举足轻重的MCP，引发了广泛的关注。

DeepSeek-R1的性能已经媲美甚至超越美国最顶尖的闭源AI模型，对于全球AI圈来说，这件事的意义都极其深远。

下面是2024年12月29日，拍摄的园区高清照片。4个约11,150平方米的「模块」组成了一栋44,600平方米的建筑，目前仅有两栋建筑在建，关键IT负载容量约为180兆瓦。