AI首次证明数学核心猜想：80年的经典难题，被OpenAI搞定了
机器之心编辑部我们正在进入科学的黄金时代？本周四，OpenAI 宣布用 AI 大模型推翻了离散几何学中的一个核心猜想：如果你在平面上放置 n 个点，有多少对点之间的距离恰好为 1？「Erdős 单位距离问题」（Erdős Unit Distance ...
AI时代，教育应培养学生哪些能力
“几秒钟梳理完十年文献核心观点，一键生成定制化PPT模板，几句话搭好完整的文章分析框架。”近日，在北京师范大学“京师智库对话第一期”——“AI时代的教育价值重估”现场，北京师范大学教育学部高等教育研究院院长周海涛开场便用三个日常场景点出了AI带来的变革。 那么，当AI把数小时的工作压缩到转瞬之间，一个核心问题不得不让人思考：AI时代，未来教育最该培养学生什么能力？ 周海涛表示：“当前最需要警惕的是 ...
美国AI监管令突然告吹内幕：白宫内讧 马斯克、扎克伯格游说特朗普
凤凰网科技讯 北京时间5月22日，美国总统特朗普在周四突然取消了一场备受关注的AI行政令签署仪式，该行政令旨在加强AI监管，赋予政府权力，在AI模型公开发布之前对其进行评估。 美国新闻网站Axios报道称，在签署仪式前几个小时，这一行政令就已土崩瓦解 ...
腾讯Marvis上线：操作系统级AI助手登场，一句话玩转电脑与跨端协同
5月20日，腾讯旗下操作系统层级AI助手Marvis（马维斯）正式发布，官网（Marvis.qq.com）开放下载，无须邀请码即可使用。这款产品跳出传统AI对话与单一应用层Agent框架，以系统级理解、本地隐私保护、预置多Agent协作、全平台跨端操 ...
DeepSeek组建Harness团队入局代码智能体 中国AI从“秀参数”迈向“做 ...
大模型领域的竞争格局正在发生深刻变化，从单纯比拼基础模型性能转向争夺终端应用入口。近期，DeepSeek公司通过内部信透露正在组建名为“Harness”的代码智能体工程团队，目标直指当前市场领先的AI编码工具Claude Code，这一动作被视为大模型企业从技术研发向产品落地的关键转型。
马斯克2700亿算力大单公开，54万张GPU、太空AI计算、4000亿并购案进展 ...
芯东西（公众号：aichip001） 作者 | ZeR0 编辑 | 漠影 ...
AI时代来临 萧振祥：政府保障的是人不是岗位
随着经济发展、劳动队伍日益老化，新加坡更须借助 人工智能 （AI） 等科技，提高生产与竞争力。但AI也会重塑 就业市场 ，政府因此要保障的，不是每一份工作都不受影响，而是确保人民在转型过程中仍有良好机会。
阿里发布新一代AI芯片平头哥真武M890和旗舰模型Qwen3.7-Max
【财新网】Agent应用热潮下，阿里云多业务线更新产品。5月20日举行的2026阿里云峰会上，阿里巴巴（NYSE：BABA/ 09988.HK ）披露多项AI基建与产品进展，包括搭载新一代自研AI芯片真武M890的超节点服务器、最新旗舰模型Qwen3 ...
OpenAI 推理模型突破性进展：AI 成功反驳 Erdős 单位距离猜想
在数学界与人工智能领域，2026年5月20日被视为一个极具里程碑意义的日子。OpenAI 的内部推理模型成功推翻了由数学大师保罗·Erdős（Paul Erdős）于1946年提出的“单位距离猜想”(Unit Distance Problem)，这是离散几何领域困扰数学界近80年的核心开放问题。 与此前曾引发争议的 AI 数学能力宣称不同，此次成果得到了学术界的广泛背书。 非检索式解决: 此次证明 ...
AI制药利好！核心平台将成立，华为也参与！巨头重金布局（附股）
今年5月，赛诺菲宣布投入超20亿元扩建AI卓越中心，推动全业务链条智能化升级。此外，艾伯维搭建专属数据融合平台，阿斯利康、强生等持续联动AI科创企业，挖掘全新药物管线。
热门工具
