1
突破“双重沙盒”兼容难题，谷歌正测试推进 Flatpak 版 Chrome 浏览器
IT之家 8 月 28 日消息，科技媒体 NeoWin 昨日（8 月 27 日）发布博文，报道称在现有 RPM 和 DEB 安装包格式外， 谷歌正计划为 Linux 版 Chrome 浏览器带来 Flatpak 安装包格式。 IT之家注：RPM 和 DEB 是传统的“系统级”原生软件包格式，而 Fl…
2
马自达申请转子发动机废气再循环专利，瞄准量产排放难题
IT之家 8 月 21 日消息，汽车媒体 CarScoops 昨日（8 月 20 日）发布博文， 报道称马自达（Mazda）向美国商标和专利局（USPTO）提交申请，描述了面向转子发动机的废气再循环系统。 马自达曾推出 Iconic SP（2023 年日本车展首秀）和 Vision X-Coupe（…
3
4
中国医生用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确
GPT-5.6 霸气出手，中国医生16小时破解22年世界级数学难题，AI推理能力再破纪录！
IT之家 8 月 14 日消息，2025 年，一连串的协和 4+4 博士引发关注和热议，其中就包括金山木事件。时隔一年之后，金山木这个名字再次引发热议。 据《南华早报》今日报道，北京协和医院神经外科博士后、住院医师金山木利用 OpenAI 的 GPT-5.6-Sol 模型，只用了约 16 小时就成功…
5
Claude一举扫清2000阶以下哈达玛矩阵！AI开始清空数学待解列表
Claude破解668阶哈达玛矩阵，AI首次攻破FrontierMath开放难题，数学待解列表被划掉一行。
好数学家不挑AI模型
6
从 0 到 1 的突破：科技“望闻问切”破解古石修复难题
IT之家 8 月 13 日消息，据央视报道，由国家文物局组织的石质文物保护成果主题宣传活动今日在河北承德启动。 世界遗产地承德避暑山庄及周围寺庙是中国现存最大的古典皇家园林，其大部分石质文物由当地出产的凝灰岩筑造而成。凝灰岩由火山喷发碎屑物质形成，材质多孔且不耐风化，加上承德地区夏季高湿、冬季低温，…
7
我国攻克锂云母提锂多项技术难题：首创熔盐置换焙烧实现工业化，已在江西多个项目应用
IT之家 8 月 12 日消息，据科技日报今日报道，由中铝国际长沙有色冶金设计研究院有限公司牵头完成的“锂云母高效提锂技术与装备研发及应用”项目取得重大突破。 该项目成功攻克了我国锂云母提锂长期面临的设备腐蚀、回转窑结圈、回收率低等重大技术难题，并已实现大规模工业化生产。 锂云母矿成分复杂、锂品位低…
8
9
OpenAI下一代模型Astra曝光，以2000美元算力成本破解十项数学难题
OpenAI新一代模型Astra曝光，2000美元算力破解十项数学难题，低成本高能力引发关注。
OpenAI当地时间8月1日发布有关数学和理论计算机科学的十项突破，这些成果由其下一代主要模型Astra的内部版本实现。按照Sol API的费率计算，找到这些问题的解决方案所需总词元（tokens）成本约为2000美元。十项突破涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、…
10
OpenAI Reports Internal Model Disproved an 80-Year-Old Geometry Problem
OpenAI内部模型推翻80年几何难题，还解决10大开放数学问题，AI推理能力迎来新突破。
OpenAI has publicly reported that an internal general-purpose reasoning model autonomously disproved the Erdős unit distance problem , an open questio…
11
均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本约 2000 美元
OpenAI下一代模型Astra攻克十余个十年难题，数学推理能力迎来质变，Token成本仅2000美元
IT之家 8 月 1 日消息，OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。 据悉，这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。若按 Sol API…
12
13
自用还是出售赚钱？科技巨头面临 AI 算力分配难题
科技巨头面临两难抉择：AI算力是自用训练模型还是出租给客户赚钱？Meta、微软、谷歌的最新财报观点揭秘算力分配内幕。
IT之家 7 月 30 日消息，随着科技巨头大举建设算力基础设施，以满足 AI 热潮带来的需求，一些企业正面临一个棘手的问题：究竟应该把算力留给自己使用，还是拿出来出售赚钱？ IT之家注意到，Meta CEO 马克 · 扎克伯格本周在公司第二季度财报电话会议上谈到了这一问题。虽然 Meta 目前没有…
14
让AI先吃，这个国民级健康难题有解了
在科学减重这件事上，继战略投资薄荷健康之后，蚂蚁阿福又放了个大招。 7月29日，蚂蚁阿福宣布升级上线“AI拍饮食”功能，用户拍食物照片发给阿福，就能自动估算营养和热量信息，获得健康饮食搭配建议和运动消耗计划等，还支持一健存入个人健康档案，建立“热量账户”。吃得对不对，多不多，一目了然。 阿福此次推出…
15
韩国企业引入海外 AI 模型遇成本难题，三星等巨头实施 Token 配额制
韩国巨头引入海外AI模型遭遇Token消耗成本飙升，被迫实施配额制，暴露企业级AI应用的真实困境。
IT之家 7 月 27 日消息，随着韩国企业加快将海外大模型引入业务流程，它们正面临 AI 词元（Token）使用成本快速攀升的挑战。 自 ChatGPT 于近四年前引爆全球 AI 热潮以来，韩国企业整体在 AI 应用方面一直较为落后，许多公司要么推进缓慢，要么出于数据安全考虑直接禁止员工使用相关工…
16
破解世界级勘探开发难题，我国首个陆相断陷湖盆页岩油示范区在山东建成
IT之家 7 月 25 日消息，据央视新闻报道，我国首个陆相断陷湖盆页岩油国家级示范区 —— 胜利济阳页岩油示范区正式建成 ，为我国同类页岩油资源规模化、效益化开发，提供了可复制、可推广的技术路径。 胜利济阳页岩油国家级示范区坐落于山东境内，总面积 7300 平方公里，2021 年实现勘探重大突破，…
17
GPT-5.6 used a prompt to close a 30-year gap in convex optimization
GPT-5.6仅凭一条精心设计的prompt，成功破解凸优化领域30年未解难题，AI数学推理能力再获惊人突破。
Article URL: https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/ Comments URL: https://news.ycombinator.…
18
浙大等团队联合攻克顶级原子级材料合成三十余年难题，成果登《科学》
IT之家 7 月 18 日消息，浙江大学今日宣布，该校机械工程学院原子级材料制造实验室项荣教授团队联合大连理工大学、西湖大学、苏州实验室、北京大学及日本大阪大学、东京大学等国内外合作单位 首 次实现 TMDC 纳米管的手性可控合成 ，选择性获得扶手椅型纳米管，一举攻克了横亘该领域三十余年的核心挑战。…
19
中国科协发布 2026 年 30 个重大问题、难题，具身自主智能、太空计算中心等入选
中国科协发布2026年30个前沿科学、工程技术与产业问题，具身自主智能、太空计算中心等入选，为科研创新指路。
IT之家 7 月 15 日消息，据《科技日报》报道，在 7 月 15 日（今天）举行的第二十八届中国科协年会主论坛上，中国科协发布 2026 重大科学问题、工程技术难题和产业技术问题。 中国科协自 2018 年开始，持续组织开展重大科技问题难题征集发布活动。2026 年活动，从前沿性、引领性、创新性…
20
东南大学团队 20 余年攻克大桥台风晃动世界级难题
IT之家 7 月 14 日消息，东南大学今日宣布，东南大学土木工程学院王浩教授团队牵头完成的“长大桥梁强 / 台风效应感知、预测与协同控制关键技术及应用”项目， 荣获国家科学技术进步奖二等奖 。 强风和台风来了，大桥会不会晃？晃动会有多大？怎么有效实现减振？这三大难题，曾长期困扰学术界和工程界。如今…