中原AI研究院博士招聘启事
根据相关规定，中原人工智能产业技术研究院现面向社会公开招聘博士人才10名。一、单位简介中原人工智能产业技术研究院成立于2024年2月，由河南省政府批准设立，由河南省科学院主办，加拿大皇家科学院李明院士全职负责，属公益二类省直事业单位，是河南省重点打造的科技创新平台。研究院以“做造福人类的AI”为使命，专注生物信息与人工智能大模型领域，致力于基础研究与应用技术攻关，推动重大科研成果产出，建设国内领先、国际一流的人工智能创新平台，汇聚高端人才，助力全省人工智能产业高质量发展。二、组织实施本次招聘工作在省人社厅
美首季生产率环比微增 0.3% 略低于预期
依据美国劳工统计局公布的数据，生产率年化季环比增幅为 0.3%，而市场预估中值为 0.4%。 在接受调查的 31 位经济学家中，预测范围介于增长 0.2% 至 1% 之间。 劳工统计局早先发布的初值显示，一季度生产率增长 0.8%；单位劳动力成本季环比上扬 1.8%，低于预期的 2.4%（初值为升 2.3%）；同比方面则上升 0.5%（初值为升 1.2%）。此外，产出季环比增长 1%，初值记录为 1.5%。 责任编辑：李安桐 新浪财经声明：本文系转载自合作方媒体，新浪财经发布此信息旨在传递更多资讯，内容仅
摩根士丹利看好美团前景 维持120港元目标价不变
摩根士丹利(211.01, 3.01, 1.45%)表示，美团即时配送业务的亏损幅度显著改善，且预计外卖业务的单位经济（UE）将在二季度实现盈亏平衡，尽管到店业务面临竞争压力。维持对公司的超配评级，目标价120港元。摩根士丹利Gary Yu等分析师在报告中指出，预计美团二季度亏损将环比小幅扩大，主要原因在于小象超市扩张和在Keeta上的投资。到店业务尽管目前保持稳定，但仍面临与抖音竞争日益激烈带来的利润率下行风险。
AI颠覆80年数学猜想，学界迎来新纪元
OpenAI近期宣称，其人工智能（AI）推理能力再度实现重大突破，成功解决了一个困扰数学界长达80年的难题——由匈牙利数学家保罗·埃尔德什（Paul Erdős）在1946年提出的“平面单位距离问题”。埃尔德什提出的问题是：若在纸上绘制若干个点，其中有多少对点的距离恰好相等（即相距1个单位）？埃尔德什曾证明，将点按网格排列可获得大量单位距离点对。随后他推测，其他排列方式很难超越网格的效能。数十年来，学者们一直试图验证该猜想。然而，OpenAI的模型得出了不同结论，指出存在某种排列方式优于埃尔德什设定的“上
AI创业启示|智能水务监测平台如何让漏损检测从月度复盘升级为每日预警
每日 AI 创业案例简报｜2026-05-31今日重点案例MizuWatch：一款将智能水表、GIS地理信息系统、数字孪生和异常检测算法深度融合的水务智能平台。它揭示了一个重要启示——垂直领域AI创业不必一开始就颠覆整个行业，完全可以从帮助运营团队更早发现漏点、识别异常曲线、定位风险区域这些具体场景切入。众多AI创业项目面临的核心困境在于：技术概念听起来前沿，但客户凭什么愿意持续付费？MizuWatch给出了直击要害的回答：水务运营方并非缺乏数据，而是发现问题的时间窗口太滞后。美国众多公用事业机构、产业园
AI融合理论突破80年数学难题
星期五 阴 33 ℃/23 ℃人工智能在数学领域的重大突破当人工智能模型破解了一项长期悬而未决的猜想时，数学家们震惊不已，这被视为该领域的重要里程碑一个困扰全球顶尖数学家长达80年的猜想，如今已被OpenAI开发的人工智能模型成功解决。这一成果令专家叹为观止，被誉为人工智能数学能力发展的颠覆性时刻。“这是我未曾料想在有生之年能看到解决的问题，”英国布里斯托大学的米沙・鲁德涅夫说道。“这绝对是一颗重磅炸弹。”剑桥大学的蒂姆・高尔斯在随附的博客文章中写道，该解法是“人工智能数学领域的里程碑”。“如果这篇论文由
人工智能破解尘封80年数学难题，科研进入新纪元
当人工智能不再仅仅解答数学题目，而是真正开展数学研究时，科学的探索规则正在被彻底颠覆。一个困扰数学界长达八十年之久的经典难题，终于被机器智能自主攻破。这一突破并非沿用经典方法，而是另辟蹊径，开辟了全新的解题方向。整个数学界为此感到震惊。01 埃尔德什距离问题详解1946年，著名数学家埃尔德什提出了「单位距离问题」：在二维平面上放置n个点，最多能够形成多少对恰好距离为1的点？长期以来，数学家们认为最优布局接近棋盘式的网格排列，单位距离点对数量的增长趋势接近线性。然而，这一结论如今被人工智能所动摇。02 人工
OpenAI 新成就：AI 破解 80 年数学难题
摘要：本文解读 OpenAI 团队的最新成果，揭示大模型如何否定了保罗・埃尔德什于 1946 年提出的平面单位距离猜想，构建了无限族点集，证实了存在超越网格结构的单位距离对，这标志着大模型数学推理能力的重大飞跃，同时也开启了 AI 辅助数学研究的新篇章。引言：长达八十载的数学猜想1946 年，传奇数学家保罗・埃尔德什（Paul Erdős）提出了组合几何领域的一个经典难题：平面单位距离猜想。该问题困扰了整个数学界整整八十年，始终无人能找到推翻它的证据，学界普遍坚信，网格状的点集构造即为该问题的最优解。而如
AI破解数学难题：从解题工具到发现新知
你是否曾思考，AI何时能够自主提出问题？不是人类给它题目求解，而是它自行发现问题、探索未知路径，并指出人类认知的不足之处？昨日，OpenAI完成了一项令数学界震惊的工作——其内部通用推理模型独立证明了埃尔德什于1946年提出的几何猜想存在错误。八十年来，无数数学家在“平面单位距离问题”上屡战屡败。埃尔德什曾悬赏500美元征集解答——如今，一台尚未公开的AI用前所未有的方法推翻了这一猜想。更令人震惊的是：该AI所采用的方法，连专研此问题的数学家都未曾设想过。究竟发生了什么首先明确“单位距离问题”的核心——在
AI 攻克 79 年数学悬案：OpenAI 此次是突破还是重演？
5 月 21 日，OpenAI 投下了一枚重磅炸弹。并非 GPT-5，亦非 Sora，也非那些炫目的多模态大模型——而是一款通用推理模型，它悄无声息地破解了一道困扰数学界长达 79 载的几何谜题。平面单位距离猜想，即 Erdős Unit Distance Problem，由匈牙利数学巨匠保罗·厄多斯于 1946 年提出，至今无人能解。直至昨日，一位 AI 宣称：我破解了。OpenAI 首席执行官山姆·奥特曼在 X 平台转发了此消息，并附言引人遐想："心情很复杂。"复杂？我阅后的感受同样错
AI 终结 80 年几何猜想，菲尔兹奖得主惊叹：数学新纪元
2026 年 5 月 20 日，OpenAI 公布了一项令数学与人工智能领域为之震动的新发现：其内部的一款通用推理模型，独立证明并证伪了一个存续近八十载的组合几何核心猜想——平面单位距离难题（Planar Unit Distance Problem）。这并非 AI 在博弈游戏中胜过人类，也非辅助数学家进行运算。这是 AI 首次独立攻克一个公开的、位于数学核心领域的未解之谜。普林斯顿大学知名组合数学家 Noga Alon 评述道："这是 Erdős 钟爱的数学谜题之一，所有钻研组合几何的学者都曾深思
Granite REIT 重启常规回购要约
Granite房地产投资信托于5月22日发布消息，多伦多证券交易所已批准其常态化发行人收购要约申请。依据该计划，Granite REIT拟在未来一年内，借助多伦多证券交易所及加拿大其他另类交易系统，最多回购6,038,313个流通信托单位，约占截至2026年5月20日公众持股总量的10%。 在上一轮2025年5月26日至2026年5月25日的回购周期内，Granite REIT以加权平均价69.2167加元购回了237,536个信托单位。截至2026年5月20日，公司发行的信托单位总数为60,713,13
人工智能突破Erdős单位距离猜想
2026年5月20日，OpenAI发布了一则重磅消息：其内部研发的通用推理模型，成功证伪了匈牙利数学家Paul Erdős在1946年提出的一个关键猜想。该猜想被视为离散几何领域最具知名度、表述最为简洁却悬而未决八十年之久的难题之一。外部数学家团队已对证明过程进行了审核，并发表了配套论文，详细阐述证明的逻辑框架与学术背景。普林斯顿大学数学家Will Sawin教授进一步优化了这一结论。剑桥大学菲尔兹奖获得者Timothy Gowers发表评论指出，这一成果"在未来数月乃至数年内，将在各数学分支中涌现类似突
AI模型突破组合几何经典难题：80年悬案终被解开
OpenAI Research · 2026 年 5 月 20 日 · 研究里程碑近 80 年来，数学家们始终在探索一个看似简洁的问题：当平面上分布着 n 个点时，最多能形成多少对恰好相距 1 个单位长度的点？这就是著名的平面单位距离问题（planar unit distance problem），由匈牙利数学家保罗·埃尔多什（Paul Erdős）于 1946 年首次提出。该问题是组合几何（combinatorial geometry）领域最具影响力的难题之一——表面上看似直白，实则极度复杂难解。200
人工智能突破80年数学难题 单位距离问题终被攻克
OpenAI 研发的通用推理模型成功破解了困扰学界八十载的"单位距离问题"，彻底否定了离散几何领域的这一核心猜想。这被视为人工智能驱动数学研究进入崭新阶段的重要标志。试想你在无限广阔的平面上分布若干点。任意两个点之间都存在一定距离，其中部分点对之间的距离恰好为 1（即"单位距离"）。核心问题在于：究竟能够形成多少对距离恰好为 1 的点？这个问题看似直白，实则蕴含极深的数学内涵。Brass、Moser 和 Pach 在 2005 年推出的《离散几何研究问题》一书中，将其称为"组合几何中最负盛名（也最易阐释）