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

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

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

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

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

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

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