
LongCat-Flash-Prover:美团开源数学定理证明模型,推动AI从“猜答案”转向“严谨证明”
美团技术团队正式开源了专门用于数学形式化与定理证明的模型——LongCat-Flash-Prover。该模型旨在解决AI在数学推理中仅能“答对数值”而缺乏严谨逻辑的问题。通过攻克数学定理证明中严苛逻辑链条的挑战,LongCat-Flash-Prover致力于消除自然语言的歧义性,实现从“猜答案”到“严谨证明”的跨越,为复杂推理课题提供了新的解决方案。

美团技术团队正式开源了专门用于数学形式化与定理证明的模型——LongCat-Flash-Prover。该模型旨在解决AI在数学推理中仅能“答对数值”而缺乏严谨逻辑的问题。通过攻克数学定理证明中严苛逻辑链条的挑战,LongCat-Flash-Prover致力于消除自然语言的歧义性,实现从“猜答案”到“严谨证明”的跨越,为复杂推理课题提供了新的解决方案。

美团技术团队在ACL 2026这一自然语言处理领域的国际顶级学术会议上,共有6篇论文被收录。这些研究成果涵盖了大模型评测、复杂流程推理、竞赛级数学思维优化、强化学习优化及生成式推荐等多个前沿领域,展示了美团在NLP技术深度探索与应用优化方面的最新进展。

美团LongCat团队正式推出General 365推理评测基准。在对26款主流大模型的实测中,目前表现最强的Gemini 3 Pro准确率仅为62.8%,而绝大多数模型得分均低于60分及格线。这一结果揭示了当前大模型在复杂推理任务中仍面临巨大挑战,General 365也为行业树立了更严苛的推理能力评测新标尺。

本文深度解析美团技术团队在AI生成代码占比超90%背景下的重构实践。针对AI可能放大系统混乱的风险,团队提出以Agent评测思路管理AI Coding,通过技术债梳理、Rule建设、重构SOP及Pre-PR机制,成功将31万行代码的重构工作从高成本专项转变为随迭代持续推进的日常动作,为AI时代的软件工程治理提供了重要参考。

美团LongCat团队正式发布LongCat-AudioDiT模型,旨在突破零样本TTS音色克隆的性能瓶颈。该模型创新性地抛弃了传统的梅尔谱等中间表示,直接在波形潜空间内利用扩散模型进行文本转语音。通过这种方式,模型从根源上阻断了数据转换过程中产生的级联误差,让AI能够直接掌握声音本身的规律,显著提升了声音克隆的真实度与表现力。

美团智能创作团队近日公开了其在海报生成领域的AIGC技术创新成果。该体系通过构建“生成-编辑-评判”的技术闭环,解决了从内容产出到质量把控的全流程需求。目前,该技术已在美团外卖、品牌IP等核心业务场景中成功落地,并已正式面向行业全面开源,为智能创作领域的工业化实践提供了重要参考。

美团技术团队正式开源LongCat-Video-Avatar 1.5数字人视频模型。该版本实现了从开源SOTA到商业级应用的重大跨越,在唇形同步、物理合理性、长视频稳定性、多人互动及高效推理五大核心维度上完成了全面性能跃升。其能够在复杂商业场景中稳定输出自然、高质量的数字人内容,标志着数字人视频生成技术从实验室演练走向真实的商业实战舞台。

美团技术团队正式发布LARYBench(Latent Action Representation Yielding Benchmark),这是一个系统化的评测基准,旨在指引从大规模视觉数据中学习通用的隐式动作表征。实验结果显示,通用视觉模型在动作泛化和控制精度上均显著优于专门的具身动作专家模型,这标志着具身动作表征能够从大规模人类视频数据中实现“涌现”,为具身智能的发展提供了新的研究范式。

美团技术团队正式发布并开源原生多模态模型 LongCat-Next 及其核心组件离散分词器。该模型旨在打破模态壁垒,将视觉与语音信息作为 AI 的“母语”进行原生处理。作为美团在物理世界 AI 领域的重要探索,LongCat-Next 的开源旨在赋能开发者,共同构建能够深度感知、理解并作用于真实世界的智能系统。
Y Combinator首席执行官Garry Tan在GitHub上发布了名为gstack的开源项目。该项目提供了一套深度定制的Claude Code配置,包含23个专用工具。通过这些配置,Claude Code能够模拟CEO、设计师、工程经理、发布经理、文档工程师及QA等多种角色,旨在通过AI自动化实现从设计到发布的完整开发流程,体现了从“手动编码”向“AI管理”的范式转移。
开发者mukul975在GitHub上发布了名为Anthropic-Cybersecurity-Skills的开源项目。该项目为AI智能体量身定制了817项结构化网络安全技能,并将其深度映射至MITRE ATT&CK、NIST CSF 2.0等六大权威安全框架。该库遵循agentskills.io标准,广泛兼容Claude Code、GitHub Copilot及Cursor等20多个主流AI平台,旨在提升AI在自动化安全领域的实战能力。
字节跳动(ByteDance)在GitHub上正式开源了DeerFlow 2.0,这是一个专为长周期任务设计的SuperAgent框架。该框架集成了研究、编程与创作三大核心功能,通过沙箱、记忆、工具、技能、子智能体及消息网关等组件,能够处理耗时从数分钟到数小时不等的多层级复杂任务,标志着AI智能体在处理长时序、高复杂度任务能力上的重要演进。
OpenMontage 是一款由开发者 calesthio 推出的全球首个开源智能体视频制作系统。该项目集成了 12 条流水线、52 个工具以及 500 多项智能体技能,旨在将 AI 编程助手转化为功能完备的视频制作工作室。通过高度集成的自动化流程,OpenMontage 为 AI 驱动的视频创作提供了全新的开源解决方案。
开发者 koala73 在 GitHub 上发布了名为 World Monitor 的开源项目。这是一个实时全球情报仪表板,旨在通过统一的态势感知界面,为用户提供 AI 驱动的新闻聚合、地缘政治监测以及基础设施追踪功能。该工具整合了多维度的全球动态,帮助用户实时掌握全球局势并提升态势感知能力。
Anthropic 官方在 GitHub 上正式推出了 Claude Code 插件目录(claude-plugins-official)。该目录由 Anthropic 团队直接管理,旨在汇集并展示经过官方精心挑选的优质 Claude Code 插件。这一举措标志着 Anthropic 在完善 Claude 开发者生态系统、提升 AI 编程工具扩展性方面迈出了关键一步,为开发者提供了更安全、更高效的工具扩展路径。
Palmier Pro 是一款专门针对 macOS 平台开发的 AI 驱动视频编辑器。该项目近期在 GitHub Trending 榜单引起关注,其核心定位是利用人工智能技术重塑视频剪辑流程。作为一款原生支持 macOS 的工具,Palmier Pro 旨在为创作者提供深度集成 AI 能力的编辑环境,提升视频创作的智能化水平与效率。

AI芯片制造商Cerebras在上市后的首份财报中,因预测其核心业务的毛利率将收窄,导致投资者产生恐慌,股价随后大幅下跌。尽管公司首席执行官(CEO)表示市场误解了其利润率前景,但这一预期的调整仍对市场信心造成了显著冲击。本文将深入探讨此次财报披露的核心信息及其对AI硬件行业的影响。

本文探讨了“PostgreSQL Is Enough”这一核心理念,强调通过将代码移入数据库函数并利用其强大的扩展生态系统,PostgreSQL 能够胜任几乎所有数据处理任务。从定时任务、消息队列到向量搜索和图数据库,PostgreSQL 正在通过其丰富的插件(如 pgvector, TimescaleDB, PostGIS 等)简化技术栈,成为开发者“一站式”的数据库解决方案。

尽管人工智能引发的裁员论调在舆论中占据主导地位,但SignalFire的最新数据揭示了一个出人意料的现状:工程师在新增招聘中所占的比例实际上正在增加。这一发现表明,在AI技术快速发展的背景下,工程岗位展现出了极强的职业韧性,挑战了“AI将取代工程师”的普遍担忧。

谷歌AI部门再次面临核心人才流失。顶级AI研究员Jonas Adler和Alexander Pritzel已确认离开谷歌,转投竞争对手Anthropic。此前,知名科学家Noam Shazeer和John Jumper也已相继离职。这一系列变动凸显了科技巨头之间日益激烈的人才争夺战,以及Anthropic等新兴力量对顶尖研究人才的吸引力。

根据TechCrunch AI最新报道,受全球存储芯片紧缺(Memory Chip Crunch)的持续影响,一家美国领先的芯片企业在2026年6月交出了极其亮眼的成绩单。财报显示,该公司季度营收同比翻了两番,达到414.5亿美元,而利润则从去年同期的18.8亿美元惊人地增长至282亿美元。这一业绩表现凸显了存储技术在当前AI及计算浪潮中的核心地位,以及市场供需失衡带来的巨大商业红利。

随着企业员工在琐碎任务中大量消耗AI资源,企业正面临预算迅速耗尽的压力。根据TechCrunch报道,短暂的“Token最大化”时代已经结束,企业正紧急采取措施限制AI使用。行业正正式进入“Token配额”时代,管理层开始通过精细化手段干预AI预算的分配,以防止资源在非核心任务中流失。
近日,安全专家 Taggart 在 Infosec Exchange 上针对 Rust 官方包管理器 crates.io 的架构设计提出质疑。他指出,目前在 crates.io 上发布 Rust 包过度依赖 GitHub 平台,这种设计存在潜在风险。该观点在 Hacker News 等开发者社区引发了关于开源基础设施独立性、供应链安全以及去中心化发布流程的深度讨论。

OpenAI于2026年6月24日正式揭晓了其首款定制推理处理器“Jalapeño”。该芯片由OpenAI与博通(Broadcom)合作设计并制造,专门针对OpenAI推理系统的独特需求进行了优化。据OpenAI介绍,该芯片在开发过程中得到了其自身AI模型的辅助。初步测试结果显示,Jalapeño在每瓦性能上显著优于目前市面上的主流替代方案,特别是在运行实时编程模型时具有极低的运营成本。此举标志着OpenAI在减少对英伟达硬件依赖、提升算力自主性方面迈出了关键一步。

Google DeepMind 宣布在 Gemini 3.5 Flash 中原生集成“计算机使用”(Computer Use)功能。该功能允许开发者构建能够跨浏览器、移动端和桌面环境进行观察、推理及操作的智能体。相比之前的独立模型,此次集成提升了长程任务和企业自动化(如软件测试和专业应用协作)的性能。同时,Google 引入了对抗性训练及企业级安全防护机制,以降低提示词注入风险并确保操作安全。

Facebook(Meta)正式推出一款专为创作者设计的AI伴侣应用程序。该应用目前正处于针对特定创作者的测试阶段,其核心功能是集成了Facebook近期发布的AI创作者助手。此举旨在通过人工智能技术为创作者提供专属的智能支持,优化内容创作流程并提升平台互动体验。

NVIDIA 在 Hugging Face 博客发布最新动态,推出 NeMo AutoModel 工具。该工具核心目标在于优化并加速 Transformers 架构模型的微调(Fine-Tuning)过程。作为 NVIDIA NeMo 生态的延伸,此举旨在提升开发者在适配大语言模型时的效率,降低计算资源消耗,进一步强化了 NVIDIA 与 Hugging Face 在 AI 开发生态中的协作。