1
中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年
IT之家 10 月 15 日消息，上海人工智能实验室今日发文，困扰数学界 30 余年的世界级难题 —— 三维 Ghys 猜想 迎来了破解。 上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2（书生-S2），基于“通专融合”技术路径， 通过人机协同完成了三维 Ghys …
2
马斯克：Robotaxi 夜间运营延长至 23 点，正着力攻克夜间宠物识别难题
IT之家 10 月 4 日消息，特斯拉首席执行官埃隆 · 马斯克于当地时间周六透露，奥斯汀地区的无人驾驶出租车（Robotaxi）运营结束时间将由晚间 22 点延长至 23 点。同时他提到，研发团队一直致力于攻克一个相当隐蔽棘手的问题。 “我们目前着力解决的核心问题，就是避免在夜间视线不佳的情况下碾…
3
苹果攻克屏下 Face ID 难题，iPhone 18 Pro / Max 迈步“整块玻璃”愿景
IT之家 10 月 1 日消息，科技媒体 9to5Mac 昨日（9 月 30 日）发布博文，报道称在 iPhone 18 Pro 和 iPhone 18 Pro Max 两款机型上， 苹果将 Face ID（面容 ID）模组嵌入屏幕下方，成为苹果迈向“整块玻璃”iPhone 设计愿景的关键一步。 对…
4
我国舱外航天服整体技术位居国际先进水平，登月服攻克数十项关键技术
IT之家 9 月 19 日消息，据新华社今天（19 日）从天津召开的首届航天医学工程大会上了解到，目前我国舱外航天服整体技术 居于国际先进水平 ，“望宇”登月服研制进展顺利， 已攻克数十项关键技术 。 舱外航天服是航天员在太空出舱活动过程中的核心装备，保障着航天员在舱外活动中的生命安全和高效作业。因…
5
不到一个月连破两道千禧年大奖难题？消息称 OpenAI 即将攻克霍奇猜想
IT之家 9 月 17 日消息，今天（17 日）晚间，据《The Information》援引一名了解解法的人士消息称，OpenAI 已接近攻克“千禧年大奖难题”中的另一道题 。这组著名数学难题共有 7 道，此前引发争议的“纳维-斯托克斯存在性与光滑性问题”也是其中之一。 据这名人士透露，OpenA…
6
AI 攻克数学难题，纽约大学教授质疑 OpenAI“截胡”其研究成果
IT之家 9 月 9 日消息，纽约大学数学教授 Tristan Buckmaster 当地时间周二宣布了三项证明成果，其中一项为理论数学领域最重要的未解问题之一取得了初步进展。这些成果由 Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作完成，并同时使用了 Cod…
7
继 Claude 尝试攻克黎曼猜想后：OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题，陶哲轩既点赞又担忧
IT之家 9 月 9 日消息，OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”（Navier-Stokes existence and smoothness problem），这是克莱…
8
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
最后靠Harness救回来
9
中国一汽攻克硫化物全固态电池低压力运行重大技术难题，实现 5 兆帕稳定循环
IT之家 9 月 4 日消息，中国一汽今日宣布，中国一汽联合东方理工大学， 在硫化物全固态电池低压力运行领域取得重大技术突破 ，相关成果以“离子弹性体界面实现低压力高稳定固态电池”为题，发表于国际顶级期刊《Advanced Energy Materials》。 全固态电池普遍需要 20 兆帕以上工作…
10
华为悬赏单项最高 100 万元、攻克存储技术难题，7 支科研团队荣获第六届“奥林帕斯奖”
IT之家 8 月 31 日消息，华为官方今日发文，8 月 29 日，在 2026 全球数据存储教授论坛上，第六届“奥林帕斯奖”获奖名单正式揭晓。 来自国内外的 7 支顶尖科研团队凭借在数据存储领域的前沿研究与技术突破，分别斩获 1 项奥林帕斯奖与 6 项奥林帕斯先锋奖。 其中，由沈志荣教授和张一鸣教…
11
M3 系列 Mac 原生 Linux 支持最后冲刺，Asahi 攻克 USB 3.0 高速传输等底层壁垒
IT之家 8 月 28 日消息，科技媒体 Linuxiac 昨日（8 月 27 日）发布博文，报道称开源操作系统项目 Asahi Linux 官方宣布， 针对苹果 M3 系列 Mac 电脑的原生 Linux 支持已步入最后冲刺阶段，核心驱动代码已被正式并入 Linux 7.2 内核主线周期。 该媒体…
12
13
我国攻克锂云母提锂多项技术难题：首创熔盐置换焙烧实现工业化，已在江西多个项目应用
IT之家 8 月 12 日消息，据科技日报今日报道，由中铝国际长沙有色冶金设计研究院有限公司牵头完成的“锂云母高效提锂技术与装备研发及应用”项目取得重大突破。 该项目成功攻克了我国锂云母提锂长期面临的设备腐蚀、回转窑结圈、回收率低等重大技术难题，并已实现大规模工业化生产。 锂云母矿成分复杂、锂品位低…
14
未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破
IT之家 8 月 11 日消息，Anthropic 今天（11 日）宣布，尚未公开的研究版 Claude 在攻克黎曼猜想的过程中取得重要进展。 在一次持续数天、由模型自主完成的测试中，Claude 把黎曼 ζ 函数临界线上零点比例的长期下界 从 41.6% 提高到了 67.2% 。 Claude 在…
15
攻克渐冻症不能只靠同情心、情怀和呼吁，蔡磊称自己留下的是一个已经跑通底层逻辑的试验田
IT之家 8 月 11 日消息，据央视新闻报道，蔡磊接受了《面对面》专访，并表达了自己对于自己当前所做工作的看法。 蔡磊表示，当年起源于美国的冰桶挑战火遍全球，引起了空前的关注和巨额募资，但热潮退去后，也很快就降温了。 因为如果只靠同情心、情怀和呼吁，热度是一定会消散的，这是必然的规律 。 他称，自…
16
腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题
腾讯混元Hy3模型驱动的科研智能体Hyra突破数学困境，AI助力科学发现再下一城。
IT之家 7 月 31 日消息，腾讯混元今日发文宣布，基于 Hy3 模型的科研智能体 Hyra 找到了一个关键构造， 为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案 。 目前，论文预印本、显式构造和形式化证明均已公开： 论文： https://arxiv.org/abs/2607.27…
17
美国宣布投入 50 亿美元，利用 AI 攻克慢性病、加速药物研发等
美国政府50亿美元+微软4000万美元算力，AI加速攻克慢性病与药物研发难题
IT之家 7 月 22 日消息，据路透社报道，美国政府周三宣布，该国将投入 50 亿美元（IT之家注：现汇率约合 338.83 亿元人民币），利用人工智能攻克多个科学领域长期悬而未决的重大问题。 根据白宫发布的声明，这笔资金将用于识别慢性疾病的根本病因、加速药物研发、开发寿命更长的建筑材料等多个科研…
18
19
浙大等团队联合攻克顶级原子级材料合成三十余年难题，成果登《科学》
IT之家 7 月 18 日消息，浙江大学今日宣布，该校机械工程学院原子级材料制造实验室项荣教授团队联合大连理工大学、西湖大学、苏州实验室、北京大学及日本大阪大学、东京大学等国内外合作单位 首 次实现 TMDC 纳米管的手性可控合成 ，选择性获得扶手椅型纳米管，一举攻克了横亘该领域三十余年的核心挑战。…
20
东南大学团队 20 余年攻克大桥台风晃动世界级难题
IT之家 7 月 14 日消息，东南大学今日宣布，东南大学土木工程学院王浩教授团队牵头完成的“长大桥梁强 / 台风效应感知、预测与协同控制关键技术及应用”项目， 荣获国家科学技术进步奖二等奖 。 强风和台风来了，大桥会不会晃？晃动会有多大？怎么有效实现减振？这三大难题，曾长期困扰学术界和工程界。如今…