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

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

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

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

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

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

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

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

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

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

最近，根据路透社等外媒报道，特朗普团队计划取消拜登时期所制定的AI芯片出口的限制，并对其重新调改。 就在当天，相关消息发布后，英伟达等企业的股价也有所上涨。 拜登时期的AI扩散规则是在去年12月提出，并计划于2025年5月15日生效。该规则的主要目的 ...

母亲节将至，华为云空间携手三联生活周刊倾情打造温情创意短片《老妈的空间都去哪了》，通过三个生动温暖的故事带我们走进“妈妈的空间”，原来妈妈的空间里藏着的不仅是定格生活点滴的珍贵影像，更是难以复刻的爱与时光。 母亲节将至，华为云空间 ...