「数学2.0」共找到 2816 篇相关文章
6.2k 谷歌开源LangExtract，主打精确溯源的长文档抽取
谷歌开源 Python 库 LangExtract，能让 LLM 依用户指令从非结构化文档提取结构化信息。它可处理临床记录等，具备精确源接地、可靠输出等特性，支持多模型，无需微调，适用于各领域。
IMO 主席正式宣布：Google DeepMind在国际数学奥赛拿下金牌！
Google DeepMind的Gemini Deep Think模型在2025年IMO竞赛获金牌水平成绩。虽比OpenAI公布晚，但实现用自然语言解题质的飞跃。它采用增强推理模式，成绩经官方认证，后续将向用户开放。
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。
纳米AI，拯救被电商套路榨干的2小时
作者买吸尘器时在电商平台耗费大量时间，凸显购物决策难题。纳米AI超级搜索智能体登场，能精准分析需求、筛选信息、比价等，还能制作AI视频和儿童教育内容，交互体验也有创新。
拒绝强行AIGC！| 一种安全实用、准确率高的Text2Sql方案
在金融、医疗等对精确性、透明度和安全性要求高的领域，完全依赖大模型NL - to - SQL能力易出错。本文提出基于函数调用LLM的新范式，将LLM能力聚焦于调用预定义功能函数，提升了数据检索的准确性、透明度和可维护性。
【7.2K Star】Google 基于LangGraph打造全栈Deep Research
谷歌开源Deep Research全栈应用，前端用React（with Vite）和Shadcn UI，后端研究代理用LangGraph，需Redis和Postgres数据库，LLM用Google Gemini，网络搜索用Google Search API，还介绍了Agent执行流程。
已经狂揽了15.2k!Cursor 的开源平替 Void 来了！
今天介绍新工具 Void，它是开源的 Cursor 和 GitHub Copilot 替代品，完全免费。拥有强大编程功能，可直连 AI 模型，基于 VS Code 开发，对其用户友好，还介绍了上手、构建等方法。
10.2k星！Firecrawl开源PDF解析神器，大幅降低OCR成本
处理PDF时，若全用OCR成本和延迟会增加，直接提取文本又易遇乱序、乱码等问题。Firecrawl开源的pdf - inspector工具能智能区分扫描版和文本版PDF，按需使用OCR，精准处理。
2.8万Star爆款作者竟被谷歌裁了！硅谷大佬火速抢人
谷歌员工Justin Poehnelt做的Google Workspace CLI工具gws上线爆火，登顶Hacker News、获28000+星标，却被谷歌开除。谷歌还在大会官宣推出「官方版」。Poehnelt认为是因AI Agent冲击Workspace，引多方关注和人才争抢。
深度｜Karpathy为何突然加入Anthropic，只能当Dario的「-2」？
5月19日，OpenAI联合创始人Andrej Karpathy宣布加入Anthropic预训练团队。他将组建新团队，用Claude加速预训练研究。文章分析了他加入的原因，以及Anthropic招聘他的动机，还指出这一变动标记着技术拐点。