AI

2025 IMO真题撕碎AI数学神话，全球顶尖模型齐翻车！冠军铜牌都拿不到

如果你以为，如今的LLM已经无所不能，那刚刚出炉的2025大模型数学竞赛结果，恐怕要让你大跌眼镜了。现在，各模型的分数已经在MathArena上发布。怎么说呢，所有大模型都翻车了。

7/18/2025 1:41:39 PM

如何让团队真正接受 AI 编程助手

你的团队是否开通了AI编程助手却面临使用率低的问题？除了常规的知识分享，还有哪些方法能有效提升使用率？本文将分享我们团队在启用GitHub Copilot后的实践经验与解决方案。

7/18/2025 12:42:59 PM

尚家明

OpenAI深夜发布ChatGPT Agent：能主动思考、自选工具，智能体赛道大变天

今天凌晨1点，OpenAI进行了技术直播发布了重磅产品ChatGPT Agent。 ChatGPT Agent具备自主思考和行动的能力，能够主动从其技能库中选择合适的工具，包括Operator、 Deep Research和ChatGPT来完成各种超复杂任务。例如，用户可以要求 ChatGPT Agent分析三个竞争对手并制作幻灯片演示文稿等请求。

7/18/2025 10:46:11 AM

在现代科学的宏伟蓝图上，「万物理论」（Theory of Everything）代表着一个大一统的梦想：构建一个包罗万象、逻辑自洽的理论体系。它的雄心在于，用最少的本源法则，去解释宇宙间森罗万象的现象——从宇宙大爆炸的奇点、时空本身的弯曲，到基本粒子的相互作用、再到化学键的构成、DNA链的螺旋，直至智能的萌发与自我意识的诞生。然而，通往这一「梦想」理论的道路上，横亘着现代物理学最深刻的两大鸿沟：其一，是在宏观尺度上描述引力的广义相对论，与在微观尺度上主导一切的量子力学之间，存在着根本性的不相容；其二，物理学中的四大基本作用力（引力、电磁力、强核力、弱核力）至今未能被纳入一个统一的理论之中。

7/18/2025 10:19:49 AM

清华陈麟九人天团，攻克几何朗兰兹猜想！30年千页证明，冲刺菲尔兹大奖？

耗时30年，近1000页论文，终于攻克了「几何朗兰兹猜想」！朗兰兹纲领，又被称为「大一统理论」，困扰了数学家多半个世纪，至今仍是一个未解之谜。如今，来自普朗克数学研究所Dennis Gaitsgory和耶鲁大学Sam Raskin领衔九人团队，在五篇论文中，完成了证明其中一个分支的壮举。

7/18/2025 10:15:36 AM

全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek

全球最强的开源「定理证明器」诞生了！来自普林斯顿、清华、英伟达、斯坦福等八大顶尖机构联手，祭出了第二版Goedel-Prover-V2模型。项目地址： 2025顶会录用，曾在miniF2F Pass@32刷新SOTA，位列PutnamBench榜首。

7/18/2025 10:12:00 AM

大模型转行土木工程！首个「打灰人」评估基准：检验读、改工程图纸能力

在AI竞速的今天，大语言模型（LLM）早已不满足只在象牙塔里「背书解题」。当GPT-4o刷题通过物理奥赛、DeepSeek熟练搭建网站之后，LLM必须直面一个更现实的问题：这些号称「专家级」的大模型，能不能真的下工地？能不能帮工程打工人减负？

7/18/2025 10:08:17 AM

刚刚，奥特曼放出ChatGPT「统一智能体」！惊呼真AGI，最卷打工人来了

今晚，ChatGPT和Deep Research、Operator「三剑客」首度合体！奥特曼亲自带队，25分钟高能直播重磅发布ChatGPT agent，开启人类和智能体协作全新时代。 ChatGPT agent的核心，是一个统一的智能体系统。

7/18/2025 9:59:35 AM

AI招聘革命：为何专门招应届生？

想象一下这个场景：你是一个刚刚毕业的大学生，投简历屡屡碰壁，招聘方总是要求"3年以上工作经验"。突然有一家公司告诉你："我们专门招应届毕业生，因为你们是AI时代最有价值的员工。 "听起来是不是很不可思议？

7/18/2025 9:50:26 AM

阿丸笔记

两位AI传奇预测编程的未来，但你想不到

当你刷着技术动态，忽然看到又一条大胆宣称：“AI将在2026年取代所有程序员。 ”这时，OpenAI联合创始人Andrej Karpathy和亚马逊、谷歌资深工程师Steve Yegge给出了他们的真实预测，结果完全颠覆了这种说法。他们的观点是：大家都想反了。

7/18/2025 9:35:43 AM

前端小智

o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码

又一位离职OpenAI的核心研究员发声！刚刚被曝加入Meta的Hyung Won Chung，分享了他对AI未来的深刻思考：人工智能正在成为有史以来最强大的杠杆机制。 Hyung Won Chung和一同离开OpenAI的Jason Wei是长期搭档，他们的合作可以追溯到谷歌大脑时期，两人曾共同作为第一作者发表了关于模型微调的重要论文《Scaling Instruction-Finetuned Language Models》。

7/18/2025 9:33:26 AM

人类击败OpenAI守住编程冠军！10小时激战两次反超，AI最后关头功亏一篑

10小时激战！人类最后关头实现超越，获得编程总决赛冠军~而原本始终保持领先优势的OpenAI，最终屈居第二。在刚刚落幕的AtCoder世界巡回总决赛上，12名决赛选手两天时间里展开角逐。

7/18/2025 9:28:55 AM

Cursor首席设计师谈 AI 应用的 UI 和 Cursor 的 UX 经验

最近，我看了很多遍 Cursor 首席设计师 Ryo Lu 的访谈。 Ryo 曾是 Notion 的首席设计师，今年跳槽到了 Cursor。 Ryo 不是那种传统意义上只关注界面设计的设计师，尤其是加入 Cursor 之后，他已经开始通过 Vibe Coding 写代码，参与产品原型的开发。

7/18/2025 9:20:31 AM

Codex CLI vs Gemini CLI：谁是更出色的编程智能体？

译者 | 布加迪审校 | 重楼开发者可以利用这些CLI提高代码理解能力、加快调试速度，并自动执行复杂的编程任务。像Codex CLI这样的工具将基于AI的强大功能（比如代码生成、重构和内联文档）直接引入到命令行中，帮助用户更高效地编写、分析和改进代码。随着谷歌推出轻量级开源替代品Gemini CLI，市场变得更激动人心，Gemini CLI 正迅速普及。

7/18/2025 8:06:07 AM

布加迪

一行“解”字赢了全场？腾讯 x 普林斯顿发现AI裁判集体走神

想象一下，你向一个AI提问一道数学题：“阿里有21美元，莱拉把她100美元的一半给了他，现在阿里有多少钱？ ”接着，你让一个“AI裁判”去评估两个答案，一个答案是一串错误的计算公式，另一个答案只有一个单词：“Solution”（解）。你认为AI裁判会判定哪个答案正确？

7/18/2025 7:07:00 AM

港科大团队开发出新 AI 模型：2 至 4 张 X 光片构建 3D 影像，相比 CT 扫描辐射量降低 99%

AI在线 7 月 17 日消息，据中新社报道，香港科技大学（以下简称“港科大”）今日召开记者会宣布，其研究团队成功开发出一套创新的人工智能（AI）模型，能够在仅需极少量 X 光影像的情况下，快速构建出高质量的 3D 骨骼与器官图像，较计算机体层 (CT) 成像 (简称“CT 扫描”)，可大幅降低病人接收的辐射量达 99%。据AI在线了解，CT 扫描作为一种常见的医学影像工具，广泛应用于医疗诊断、手术指导以及复杂病况处理，如畸形、骨折和肿瘤等。然而，CT 扫描过程中患者需暴露于高剂量辐射，这对儿童、孕妇以及需要频繁接受检查的老年人极为不利。

7/17/2025 10:28:58 PM

远洋

Adobe 推出全新 AI 影视制作工具，可制作音效、模仿视频画面构图

AI在线 7 月 17 日消息，Adobe 宣布推出一系列全新的生成式 AI 影视制作工具，为创作者带来更加有趣且高效的音效创作与视频生成控制方式。 AI在线注意到，Adobe 新推出的 Generate Sound Effects 工具目前正在 Firefly 应用中处于测试阶段，可用于录制和生成的视频片段，并且与谷歌的 Veo 3 视频工具相比其对音频生成的控制能力更强。其界面类似视频编辑时间轴，用户可以将自己创作的音效与上传的视频片段精准匹配。

7/17/2025 10:02:12 PM

远洋

Meta 重金抢人，明星云集就能复制 DeepSeek 的成功吗？

最近 AI 圈最大的新闻，大约就是 Meta 扎克伯格亲自出手、重金招人的消息了。根据公开信息，如今在小扎亲自出手的推动下，Meta 已经组建起一支堪称豪华的 AI 战队。核心领导团队方面，包括前 Scale AI 创始人 Alexandr Wang（现任 Meta 首席 AI 官）、前 GitHub CEO Nat Friedman，以及 Safe Superintelligence 联合创始人 Daniel Gross，三人共同执掌 Meta Superintelligence Labs 的战略与节奏。

7/17/2025 5:03:00 PM

郑佳美

资讯热榜

深度测评！谷歌全新AI模型Nano Banana（附30+提示词案例） AI 安全测试揭示聊天机器人助长恐怖活动与网络犯罪亿万富翁丹・洛布减持台积电，转投另一家万亿人工智能公司手把手教程！不写一行代码，开发鸿蒙应用，赚1万收入！中国企业大模型市场爆发:半年调用量暴增363%，阿里通义居首位美团首个开源大模型正式发布！LongCat-Flash-Chat能否撼动AI格局？ Anthropic 融资 130 亿美元，估值飙升至 1830 亿美元对话顺丰科技网络安全总监梁博：大模型浪潮下物流网络安全的守与破

标签云

AI 人工智能 OpenAI AIGC 模型 ChatGPT DeepSeek AI绘画谷歌机器人数据大模型 Midjourney 开源智能 Meta 用户微软 GPT 学习技术图像 Gemini 马斯克智能体 AI创作 Anthropic 英伟达论文 AI新词代码训练算法 Stable Diffusion LLM 芯片蛋白质腾讯开发者 Claude 苹果生成式 AI for Science Agent 神经网络 3D 机器学习研究 xAI 生成人形机器人 AI视频计算百度 Sora GPU 工具华为 RAG AI设计大语言模型搜索字节跳动具身智能大型语言模型场景深度学习预测视频生成伟达视觉 Transformer AGI 架构神器推荐亚马逊 Copilot 特斯拉应用 DeepMind

AI