历史性突破!OpenAI模型搞定人类科学家80年未破难题,能发顶刊了

5月21日报道,今日,OpenAI宣布,其一款未对外发布的内部通用推理模型,独立完成了一份原创数学证明。该证明推翻了匈牙利数学家保罗·埃尔德什(Paul Erdős)1946年提出的“平 … 继续阅读 历史性突破!OpenAI模型搞定人类科学家80年未破难题,能发顶刊了

OpenAI称已解决了一道存在80年的数学难题

OpenAI近日表示,其最新通用推理模型自主给出了一条原创数学证明,推翻了一项自1946年由著名数学家保罗·埃尔德什(Paul Erdős)提出、悬而未决的几何猜想。 OpenAI称,这 … 继续阅读 OpenAI称已解决了一道存在80年的数学难题

鸿蒙智行问界M9系列新品发布会定档 余承东:被全行业追随、追赶

凤凰网科技讯 5月20日,鸿蒙智行问界M9系列新品发布会官宣将于5月27日19:00举行。 华为常务董事、产品投资评审委员会主任、终端BG董事长余承东表示:“两年前我们第一次发布完问界M9之后,一直被 … 继续阅读 鸿蒙智行问界M9系列新品发布会定档 余承东:被全行业追随、追赶

WWDC 2026,苹果首届AI还账大会

作者|陆 邮箱|xiaoyu@pingwest.com 苹果刚刚把 WWDC 2026 的时间敲定,从 6 月 8 日到 12 日为期一周,主题演讲则是北京时间 6 月 9 日凌晨 1 点开始。 图源 … 继续阅读 WWDC 2026,苹果首届AI还账大会

600亿,又一家造车新势力宣布破产

文 | 融中财经 造车新势力的破产潮,还没有停止,而那些不幸买到破产车的用户们,也在谋求生路。 由传奇汽车设计师Henrik Fisker创立的公司在宣布破产后,留下1.2万辆Ocean SUV和一地 … 继续阅读 600亿,又一家造车新势力宣布破产

马斯克邀你体验Cursor最强AI模型:Composer 2.5登场

IT之家 5 月 19 日消息,特斯拉首席执行官埃隆 · 马斯克(Elon Musk)今天(5 月 19 日)发布推文,邀请用户测试 Cursor Composer 2.5 模型,并称该 … 继续阅读 马斯克邀你体验Cursor最强AI模型:Composer 2.5登场

红魔游戏平板5 Pro六月见:黑科技散热、透明纯平设计

IT之家 5 月 18 日消息,红魔在今日的新品发布会上官宣,红魔游戏平板 5 Pro 六月见。 IT之家注意到,在红魔 MWC 2026 第二天(今年 3 月 4 日),红魔游戏手机产品总经理姜超预 … 继续阅读 红魔游戏平板5 Pro六月见:黑科技散热、透明纯平设计

2026 年,手机终于会自己拍照了|AI 器物志

直到 2026 年五月,我们终于等到一整轮的影像旗舰登场完毕—— 小米做出了徕卡一瞬、vivo 打造了照片与视频兼具的 V 单、OPPO 在双长焦方案上带来了惊喜。 在这轮旗舰更新潮的最后,华为提前将 … 继续阅读 2026 年,手机终于会自己拍照了|AI 器物志

虾、马之后,人类登场!这个霸榜GitHub项目火了

算泥社区是集 “AI 大模型开发服务 + 算法 + 算力” 于一体的开源生态社区,欢迎关注! 继龙虾(OpenClaw),爱马仕(Hermes Agent)之后,开源人类(OpenHuman)登场。 … 继续阅读 虾、马之后,人类登场!这个霸榜GitHub项目火了

小米18系列看点汇总:小米最激进的高端旗舰 2nm时代全面来临

2025年9月,小米17系列以"全系高配"策略震撼登场,首销即破百万台的成绩证明了这一路线的正确性。如今,随着2026年下半年旗舰新机潮的临近,关于小米18系列的爆料已经开始密集浮 … 继续阅读 小米18系列看点汇总:小米最激进的高端旗舰 2nm时代全面来临