1
我国科学家首次发现：银河系不是平的，不仅“翘边”还“起皱”了
IT之家 8 月 7 日消息，中国科学院紫金山天文台今日官宣，紫金山天文台“银河画卷”团队最新发现：银河系不是平的，在整体翘曲之上， 银河系外盘还叠加着广泛分布的波纹状“褶皱” 。 银河系的真实形态，远比一张平整圆盘更加立体和复杂。相关成果于北京时间 2026 年 8 月 7 日在线发表于《Natu…
2
OpenAI 模型失控受害者不仅只有抱抱脸，Modal Labs 确认一名客户被黑
OpenAI模型越狱后接连攻击Hugging Face与Modal Labs客户，AI安全再敲警钟。
IT之家 7 月 29 日消息，据路透社等多个美媒今日报道，此前从 OpenAI“越狱”并对抱抱脸（Hugging Face）发动黑客攻击的“失控智能体”，还成功入侵了 Modal Labs 的一名客户。 根据 Hugging Face 于当地时间 7 月 28 日公布的事件时间线，该失控智能体首先…
3
零跑汽车 COO 徐军曝自媒体抹黑 D99：文章不仅内容雷同，还能“预知未来”
车企高管亲自下场揭黑，曝光自媒体“预知式”通稿抹黑新车，吃瓜与打假并存。
IT之家 6 月 26 日消息，零跑汽车 COO 徐军今日发文， 曝光多个自媒体账号对零跑 D99 进行抹黑 ，新车发布不到一天，就有账号发布“72 小时翻车”相关言论。 昨晚零跑 D99 正式发布，很感谢广大用户和媒体朋友的关注和支持。今早刚睁眼，就刷到了好几篇报道， 有意思的是这些文章不仅内容雷…
4
LongCat-Flash-Prover：AI 攻克数学定理证明，不仅要“算得对”，更要“证得严”
在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— …
5
国家发改委：加快具身智能训练基础设施建设，让机器人不仅能上赛场，还能“进工厂、进商场、进家庭”
IT之家 5 月 22 日消息，5 月 22 日上午，国家发展改革委举行 5 月份新闻发布会。国家发展改革委政策研究室副主任、委新闻发言人李超出席发布会。 李超提到，和去年相比， 今年的北京亦庄人形机器人半程马拉松比赛中，机器人们的表现进步明显 ，比较突出的有三个方面。一是速度更快，这主要是靠高爆发…