: 在澳大利亚举行的 IMO 2025 国际数学奥林匹克竞赛中，多个AI模型参与其中，但成绩并不理想。Claude Sonnet 4、Gemini 2.5 Pro 和 ByteDance Seed 1.6 都只解决了 2/6 的问题，其中 Seed 1.6 和 Gemini 2.5 Pro 对其中一个问题给出了完整解答。值得关注的是，Seed 1.6 采用了一种相对老式的推理方法。其他模型，如 R1 和 K2，则完全没有解决任何问题。这反映了当前 AI 模型在解决复杂数学问题上的局限性。(来源: teortaxesTex)

　　NVIDIA AI 研究负责人探讨计算机图形学的未来: NVIDIA 的 AI 研究负责人 Ming-Yu Liu 和 Sanja Fidler 在 SIGGRAPH 2025 上探讨了 AI 时代计算机图形学的未来。他们揭示了计算机图形学和物理 AI 的下一个前沿领域，涵盖从合成数据到更智能的内容创建等突破性进展，这些进展将重新定义设计、机器人、汽车等领域。 (来源: nvidia)

　　OpenAI 推出改进的图像生成 API: OpenAI 对其图像生成 API 进行了改进，现在可以更高保真度地编辑图像，并更好地保留人脸、logo 和精细细节。这将方便用户进行特定对象的编辑、创建包含 logo 的营销素材，以及调整人物的面部表情、姿势和服装。(来源: stevenheidel)

　　xAI 花费巨资用于 Grok 4 的强化学习: 据报道，xAI 在 Grok 4 的强化学习上花费了比 Grok 3 多 10 倍的资源。这表明 xAI 致力于通过强化学习提升 Grok 模型的性能和能力，并可能带来更智能、更强大的 AI 助手。(来源: steph_palazzolo)

　　Mistral AI 发布开源语音识别模型: Mistral AI 发布了据称是世界上最好的开源语音识别模型。这将推动语音识别技术的进步，并为开发者提供更优质的开源语音识别工具。(来源: dchaplot)

　　Perplexity 推出 AI 浏览器 Comet: Perplexity 推出了 AI 浏览器 Comet，它能够根据用户的提问直接在页面中提供数据上下文，并将其插入到标签页中，从而简化用户的工作流程。这为用户提供了一种全新的信息检索和交互方式，并可能改变未来的搜索模式。(来源: TheRundownAI, AravSrinivas, perplexity_ai)

　　LlamaIndex 分享构建生产级 RAG 系统的经验: LlamaIndex 分享了构建生产级 RAG 系统的经验，包括文本提取策略、智能分块方法、混合搜索技术和性能优化技巧。这些经验来自实际生产环境的测试，并提供了代码示例和评估框架，对于构建高性能 RAG 系统具有实用价值。(来源: jerryjliu0)

　　关于 AI 编码的讨论: 社交媒体上出现了关于 AI 编码的热烈讨论。有人认为 AI 编码工具非常强大，能够极大地提升编程效率；但也有人指出 AI 生成的代码存在 bug 多、代码质量差等问题，甚至不如手写代码。这反映了开发者对 AI 编码工具的复杂态度，以及对 AI 编码未来发展的不同看法。(来源: dotey)

　　对 AI 模型规模的担忧: 社交媒体上对 AI 模型规模的快速增长表示担忧，并指出一些人曾呼吁限制 AI 模型的规模，认为大型模型可能对人类构成威胁。然而，现实是已经有多个模型超过了这些限制，这引发了关于 AI 安全和监管的讨论。(来源: jeremyphoward)

　　对 AI 人才流动的讨论: 社交媒体上对 AI 人才在不同公司之间的流动进行了讨论，有人认为这可能导致公司之间“秘密武器”的泄露，并削弱了公司的竞争优势。(来源: rao2z)

　　Wix 收购氛围编码公司 Base44: 以色列云计算巨头 Wix 以 8000 万美元收购了氛围编码公司 Base44。Base44 是一家成立仅半年的初创公司，拥有 6 名员工，尚未获得任何融资，但已实现盈利。这反映了 AI 编码领域的火热，以及 Wix 对 AI 技术的重视。(来源: code_star)

　　谷歌 Veo 3 视频生成模型存在字幕问题: 谷歌的 Veo 3 视频生成模型存在一个字幕问题，即使在提示中明确要求不添加字幕，生成的视频也经常带有乱码字幕。这反映了 AI 模型训练数据的局限性，以及修复 AI 模型问题的复杂性。(来源: MIT Technology Review)

　　美国教师工会与 AI 巨头合作，将 AI 引入 K-12 教室: 美国教师工会与 OpenAI、微软和 Anthropic 合作，将 AI 引入 K-12 教室。该项目旨在培训教师如何使用 AI 进行教学、备课和撰写报告，但也引发了关于 AI 在教育中的作用和伦理问题的讨论。(来源: MIT Technology Review)

　　机器“反学习”技术可用于防止语音深度伪造: 一种名为“机器反学习”的新技术可以用来训练 AI 模型忘记特定的声音，这可能有助于防止语音深度伪造的滥用。(来源: MIT Technology Review)

　　记者从海南省气象局了解到，今年第6号台风“韦帕”已于21日20时由热带风暴级加强为强热带风暴级，其中心位于北纬21.0度、东经108.6度的北部湾海面上，中心附近最大风力有10级（25米/秒），中心最低气压为978百帕。

　　为最大限度实现生效法律文书确定的债权，切实维护债权人的合法权益，更好的借助社会力量查找被执行人名下财产，提高执行效率，维护法律权威，根据申请执行人的悬赏执行申请，依照《中华人民共和国民事诉讼法》第二百六十六条、《最高人民法院关于民事执行中财产调查若干问题的规定》第二十一条、第二十二条、第二十三条、第二十四条规定，本院特发布悬赏公告如下:

　　9岁男孩跟着亲爸后妈出远门，亲爸让他坐在后备箱几小时，亲妈: 当时7个人 ，孩子想坐后座，他们说没位置了，事发2023年夏天，已拿到孩子抚养权

　　菲律宾海警高速穿航中国海警船尾证据曝光！ 7月15日上午，菲海警9701船在中国黄岩岛附近海域活动，期间多次高速穿航中国海警21550艇、5009艇星空体育登录入口 星空体育在线官网船尾。#南海 #菲律宾 #黄岩岛 #海警

　　城市生星空体育登录入口 星空体育在线官网活把人压得喘不过气，整天面对钢筋水泥，谁不想家里添点绿意？2025年初，长沙一位普通女子李女士的阳台多肉植物垂落成四米长的绿瀑布，照片上网后三天播放量破800万，引全网热议。

　　为进一步加大执行力度，更好借用社会力量，维护法律权威，切实维护当事人的合法权益，根据申请执行人的悬赏执行申请，依照《中华人民共和国民事诉讼法》第二百六十六条、《最高人民法院关于民事执行中财产调查若干问题的规定》第二十一条、第二十二条、第二十三条、第二十四条之规定，本院特发布悬赏公告如下:一、执行案号湘1127执恢148号。

　　广州地铁（14号线）是从化唯一一条地铁线路，目前从化还没有很多的交通工具，很多从从化去市区的乘客都会坐这条线路，也被称为从化的生命线