1
M3 系列 Mac 原生 Linux 支持最后冲刺，Asahi 攻克 USB 3.0 高速传输等底层壁垒
IT之家 8 月 28 日消息，科技媒体 Linuxiac 昨日（8 月 27 日）发布博文，报道称开源操作系统项目 Asahi Linux 官方宣布， 针对苹果 M3 系列 Mac 电脑的原生 Linux 支持已步入最后冲刺阶段，核心驱动代码已被正式并入 Linux 7.2 内核主线周期。 该媒体…
2
3
我国攻克锂云母提锂多项技术难题：首创熔盐置换焙烧实现工业化，已在江西多个项目应用
IT之家 8 月 12 日消息，据科技日报今日报道，由中铝国际长沙有色冶金设计研究院有限公司牵头完成的“锂云母高效提锂技术与装备研发及应用”项目取得重大突破。 该项目成功攻克了我国锂云母提锂长期面临的设备腐蚀、回转窑结圈、回收率低等重大技术难题，并已实现大规模工业化生产。 锂云母矿成分复杂、锂品位低…
4
未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破
IT之家 8 月 11 日消息，Anthropic 今天（11 日）宣布，尚未公开的研究版 Claude 在攻克黎曼猜想的过程中取得重要进展。 在一次持续数天、由模型自主完成的测试中，Claude 把黎曼 ζ 函数临界线上零点比例的长期下界 从 41.6% 提高到了 67.2% 。 Claude 在…
5
攻克渐冻症不能只靠同情心、情怀和呼吁，蔡磊称自己留下的是一个已经跑通底层逻辑的试验田
IT之家 8 月 11 日消息，据央视新闻报道，蔡磊接受了《面对面》专访，并表达了自己对于自己当前所做工作的看法。 蔡磊表示，当年起源于美国的冰桶挑战火遍全球，引起了空前的关注和巨额募资，但热潮退去后，也很快就降温了。 因为如果只靠同情心、情怀和呼吁，热度是一定会消散的，这是必然的规律 。 他称，自…
6
腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题
腾讯混元Hy3模型驱动的科研智能体Hyra突破数学困境，AI助力科学发现再下一城。
IT之家 7 月 31 日消息，腾讯混元今日发文宣布，基于 Hy3 模型的科研智能体 Hyra 找到了一个关键构造， 为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案 。 目前，论文预印本、显式构造和形式化证明均已公开： 论文： https://arxiv.org/abs/2607.27…
7
美国宣布投入 50 亿美元，利用 AI 攻克慢性病、加速药物研发等
美国政府50亿美元+微软4000万美元算力，AI加速攻克慢性病与药物研发难题
IT之家 7 月 22 日消息，据路透社报道，美国政府周三宣布，该国将投入 50 亿美元（IT之家注：现汇率约合 338.83 亿元人民币），利用人工智能攻克多个科学领域长期悬而未决的重大问题。 根据白宫发布的声明，这笔资金将用于识别慢性疾病的根本病因、加速药物研发、开发寿命更长的建筑材料等多个科研…
8
9
浙大等团队联合攻克顶级原子级材料合成三十余年难题，成果登《科学》
IT之家 7 月 18 日消息，浙江大学今日宣布，该校机械工程学院原子级材料制造实验室项荣教授团队联合大连理工大学、西湖大学、苏州实验室、北京大学及日本大阪大学、东京大学等国内外合作单位 首 次实现 TMDC 纳米管的手性可控合成 ，选择性获得扶手椅型纳米管，一举攻克了横亘该领域三十余年的核心挑战。…
10
东南大学团队 20 余年攻克大桥台风晃动世界级难题
IT之家 7 月 14 日消息，东南大学今日宣布，东南大学土木工程学院王浩教授团队牵头完成的“长大桥梁强 / 台风效应感知、预测与协同控制关键技术及应用”项目， 荣获国家科学技术进步奖二等奖 。 强风和台风来了，大桥会不会晃？晃动会有多大？怎么有效实现减振？这三大难题，曾长期困扰学术界和工程界。如今…
11
威胁平面设计等远程工作者：AI 自动化 16.1% 项目已被攻克
Claude Fable5自动化率16.1%刷新基准纪录，远程设计等岗位面临新威胁。
IT之家 7 月 3 日消息，AI 安全中心（CAIS）于 7 月 1 日更新远程劳动指数（RLI），指出 AI 远程劳动自动化率正在经历快速跃升，Claude Fable 5 模型自动化率达到 16.1%，刷新该基准测试纪录。 IT之家注：RLI 在评测方面严苛按照工业标准测试，主要衡量 AI 智…
12
地下 5200 米“黑泥”变原油，国产技术攻克超深稠油开采难题
IT之家 6 月 29 日消息，据央视新闻今日报道，从中国石油了解到，位于新疆吐鲁番火焰山下，世界海拔最低超深特稠油油田 —— 鲁克沁油田累计产油量突破 1000 万吨 。 IT之家注：超深特稠油，是指埋藏在地下数千米、黏度高达常规原油百倍以上、常温下状如黑泥几乎无流动性的极端难采石油资源。 由于鲁…
13
中国“纯硅”成功突破！我国攻克硅基量子芯片关键材料
IT之家 6 月 15 日消息，据中核集团，6 月 15 日，我国科学家在稳定同位素富集与高纯硅制备领域取得关键性突破， 首次成功实现丰度超过 99.99% 的硅-28 同位素自主量产 ，产品关键指标达国际先进水平。这将为我国硅基量子计算核心材料的自主研制以及先进制程半导体、高端导航、计量基准等前沿…
14
LongCat-Flash-Prover：AI 攻克数学定理证明，不仅要“算得对”，更要“证得严”
在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— …
15
特斯拉攻克干法正极技术，4680 电池生产成本近乎减半
IT之家 5 月 26 日消息，特斯拉向美国专利商标局（USPTO）低调提交的一份专利文件显示，该公司终于攻克了迄今为止面临的一大技术难题：干法正极。 据IT之家了解，目前绝大多数电池的正极，都需要采用成本高昂的湿法浆料工艺生产，而负极则早已应用工艺更简便的干法涂布技术。近三年来，特斯拉一直在公开研…
16
AI 推翻著名几何猜想，OpenAI 宣布攻克 80 年数学难题
AI首次挑战80年几何猜想，数学探索迎来新突破。
IT之家 5 月 21 日消息，OpenAI 称其全新推理模型推导出了一个原创数学证明，推翻了几何学中一道著名的未解猜想。该猜想最早由保罗・埃尔德什于 1946 年提出。 IT之家注意到，OpenAI 已不是第一次放出这般大胆的言论。七个月前，这家人工智能巨头前副总裁凯文・韦尔在社交平台 X 上发文…
17
马斯克：今年 SpaceX 有望攻克可复用火箭技术，Neuralink 将助盲人重获视力
您提供的是新闻文章而非在线工具链接，请重新提交具体工具名称或网址，我来为您生成推荐！😊
IT之家 5 月 18 日消息，特斯拉首席执行官埃隆 · 马斯克于当地时间周一通过视频连线出席了特拉维夫智能出行峰会，马斯克在峰会上透露，旗下航天企业 SpaceX 即将研发完成可复用火箭发射系统，这项技术突破将大幅降低太空航行成本。 “我们今年有望攻克这项技术。”他说道，“该技术问世后，将成为人类…