理想最新纯电车型 i8 发布会上，创始人李想花费大量篇幅介绍车机的智能化，以及 VLA 技术下的智驾进化。 遥想上半年李想的「AI Talk」直播，在让人想夸一句「厂长实在是太想进步了」之外，不得不说马斯克对于「特斯拉从汽车公司」、「新能源公司」再到「AI 公司」的定位，对同行们的影响还是有点大了。
主打“自动化执行、多模型调用、上下文记忆”的 AI 编程应用大热，但运行卡顿、资源消耗惊人、推理成本过高等问题也随之而来。
据彭博社消息，人工智能初创公司 Anaconda 在新一轮融资中估值达到 15 亿美元。这家为开发者和数据科学家提供 AI 开发工具的公司计划于本周宣布，本轮融资额超过 1.5 亿美元。
2025年的IMO，好戏不断。 7月19日，全世界顶尖大模型在2025年的IMO赛场上几乎全军覆没。时隔1天，OpenAI、DeepMind等顶尖实验室就在IMO 2025赛场斩获5/6题，震惊数学圈。
AI科学发现公司Autopoiesis Sciences宣布，其人工智能联合科学家Aristotle X1 Verify在多项基准测试中取得了显著成果，性能超越了所有主流AI模型。据悉，Aristotle X1 Verify在推理基准测试GPQA Diamond中达到了92.4%的准确率
Anthropic突封OpenAI的ClaudeAPI，指其违约用Claude支援即将发布的GPT-5开发及安全测试。此举标志AI巨头围绕数据与接口展开新一轮封锁战，API成市场准入与创新博弈的战略资源，在业内引发热议与监管关注。
无需谷歌“钞能力”，两位清华校友强强联合，直接让基础模型Gemini 2.5 Pro轻松达到IMO金牌水平。
GPT-5，曾经差点难产？这条诞生路，简直是烈火炼真金。一边是人才出走、小扎截胡、团队内部陷入混乱，另一边，推理模型魔咒让研究者苦恼不已，项目甚至一度停摆。外媒曝出这期GPT-5诞生内幕，可谓亮点满满，干货十足。
“两次 CPU 飙升的背后有个巧合，那就是——‘我们 CEO 登录了账号。’于是，我们把 CEO 的账号给封了，继续排查原因......” 听起来像段子，但这真是 Sketch.dev 的工程师亲口写下的“事故总结”。而这一切的起因，只是因为一段由 AI 生成的代码。
你有没有想过，营销这件事可能彻底变了？两个24岁的UC Berkeley辍学生，刚刚拿到2800万美元融资，要挑战Salesforce和Adobe这样的巨头。他们的武器很简单：用AI让营销软件不再是企业的噩梦，而是真正能解决问题的工具。
