就在昨天，我还提到过这次“九三”阅兵将展示一批新型装备，紧接着，美国的“Defence-Blog”网站在7月18日发布了一篇文章，声称已经发现了中国最新型155毫米自行火炮的踪迹。据报道，这款火炮搭载了新一代高倍径主炮，并且具有极高的自动化水平，甚至 ...

开源办公软件项目 LibreOffice 指责微软故意使用不必要复杂的文件格式，通过 Microsoft 365 文档锁定用户。LibreOffice 的文档使用开放标准格式 OpenDocument Format (ODF)，该文档格式不受任何公司控制。微软则使用非标准的 Office Open XML (OOXML)文档格式。LibreOffice 称，微软的 OOXML ...

智东西作者 陈骏达编辑 云鹏 ...

烈日炎炎的夏日总是让人感慨：气候变化带来的影响越来越显著了。 如果能将造成温室效应的温室气体——二氧化碳收集并利用起来，岂不是两全其美？ 最近，一项发表在《自然·催化》上的突破性研究就展示了一种新方法，可以将二氧化碳转化为高价值的可持续航空燃料（SAF）关键成分。 该研究由新加坡国立大学化学系副教授Boon Siang YEO领导，利用镍基材料对二氧化碳进行电化学还原，同时在镍结构中引入少量氟离子 ...

Kimi K2 的意义不止于又刷新了几个 benchmark。可以预料，随着开源社区在此基础上继续改进，2025 下半年将出现一批「比 K2 更会干活」的垂直智能体，真正把大模型从「聊天框」带进「生产线」。

此外监察院秘书长李俊俋，过去多次批评蓝白乱删预算，说监察院穷到「连卫生纸都快买不起」，却在赖清德总统520就职周年的当天，被拍到使用公务车接送自家爱犬去宠物美容沙龙。还有监委苏丽琼，也被检举使用公务车前往牙医诊所看诊。民进党高层官员就是把纳税人的钱视为「自己的钱」，把公务车当作个人代步工具，对公私界线完全无视，毫无反省。

就在本周一，谷歌宣布搭载深度思考的 Gemini 进阶版正式达到 IMO 2025 国际数学奥林匹克竞赛金牌标准。Gemini（与 OpenAI 新模型）是首批获得 IMO 正式评分和认证的 AI 参赛队伍，其评分标准与学生解决方案相同，可以说实现了 ...

自民党在参议院选举吃下歷史性惨败，是二战后首次执政党在参眾两院都是少数党的弱势困局。日本将迈入「后石破茂时代」，跛脚的首相石破茂先靠川普关税勉强续命，并表达不愿辞职，未来无论是否仍由自民党与公民党「少数政府」组阁，日本都可能走向多党失序的混乱时代。

作者 | 季逸超 Peak Ji，蝴蝶效应联合创始人、首席科学家译者 | 王强策划 | Tina 在 Manus 项目伊始，我和我的团队面临一个关键决策：我们是应该使用开源基础模型训练一个端到端的 Agent ...

就在刚刚，阿里开源了他们最好的 AI 编程模型 Qwen3-Coder。自 Claude Code 爆火以后，AI 编程真是卷疯了。从 Claude Code 到 Gemini CLI，到字节 TRAE 的 SOLO，昨天腾讯也推出了他们的AI ...

今日，《寂静岭f》官方社交媒体发布了一则推文，介绍了本作的全新特点：“除了熟悉的铁管等经典武器外，《寂静岭f》的舞台设定在日本，也带来了具有当地特色的新武器，让玩家能够体验充满紧张感的战斗。” ...