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

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

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

上周，月之暗面发布了全新版本的大模型，Kimi K2。 这是目前世界上第一个参数量达到万亿级别的开源模型，发布后迅速引爆了圈内讨论。 它不仅在各种评估基准上表现亮眼，也收获了国内外开发者社区的普遍好评。 在 LMSYS ...

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

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

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

川普政府在无预警的情况下公开金恩博士案件檔案引来舆论。除此之外，《华尔街日报》17日指控川普寄送附有裸女画像的50岁生日贺卡给艾普斯坦，川普政府宣布不会公开更多有关艾普斯坦的政府檔案以来，争议不断，这篇报导使得川普和艾普斯坦的关系再受关注。

1、选择上下文工程，而非端到端自研大模型。Manus创始人上一家公司曾尝试从零训练NLP模型，结果被GPT-3等大模型淘汰。这次复盘后，他们选择不再自研底层模型，而是专注于如何基于开源或商业大模型，做“上下文工程”，把现有能力最大化发挥出来。

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

Demis Hassabis连发两弹，一再强调「谷歌模型是首个获得官方金牌级别认可的AI系统」。 近年来，IMO逐渐成为AI能力的试炼场。数学问题不仅需要逻辑推理，还考验创造性思维和严谨性，这对AI系统提出了极高要求。

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