「数学证明工具」共找到 2458 篇相关文章
工作场景AI化，一个月花100美元订阅AI工具值吗？
AICon 全球人工智能开发与应用大会 2025 北京站即将召开，InfoQ 直播栏目邀请来也科技胡一川、阿里汤威、美团邹明远、快手王东旭探讨 AI 时代「10x 个体」与「10x 组织」，分享落地路径、效率提升及工具使用经验。
告别工具焦虑：2026年真正值得用的8款AI效率外挂
文章指出2026年是‘AI深度融合’元年，工具使用进入‘重塑工作流’阶段。作者筛选出Gemini全家桶、OpenCode等8款‘硬核’AI工具，介绍其特点和优势，如多模态、不设限、易用等。
一周两破18年数学纪录！陶哲轩惊叹：AlphaEvolve带来久违「加速度」
人类数学家与AlphaEvolve携手，一周内两次刷新18年未破的数学纪录。先是AlphaEvolve将和差集的θ下界提升，后人类数学家Gerbicz在其基础上再进一步，展现AI与人类协作在数学研究中的惊人潜力。
美团LongCat扎扎实实做了件难事：LLM数学新天花板AMO-Bench
美团LongCat团队联合高校推出AMO - Bench，用50道原创奥赛级难题评估LLM数学能力。它解决现有基准测试痛点，经四重把关构建，测试显示顶级模型表现不佳，也揭示模型提升空间大。
画个图就能管理知识？这个开源工具把笔记和画板合二为一了
作者发现开源工具Revezone，它将白板和笔记合二为一，解决图文割裂问题。有Excalidraw、Tldraw白板及类Notion笔记功能，还支持拖拽分屏。提供线上和桌面版，适合多类人群，优势明显且免费。
玩不过来AI新品？实测10大神级Skills，各种AI工具通杀！
2026年AI工具更新快，核心概念是Skills。它比追新工具重要，可跨平台复用。作者实测10大神级Skills，涵盖内容处理、设计开发等阶段，还推荐了Skill管理产品Agent Skills Guard。
刚刚，DeepMind通用科学智能体AlphaEvolve突破数学极限，陶哲轩合作参与
DeepMind发布革命性进化编码智能体AlphaEvolve，由LLMs驱动，可演化代码库、发现和优化算法。它结合LLM创造力与自动化评估，减少幻觉，在多领域应用前景大，还与陶哲轩合作探索数学应用。
OpenAI新模型让数学家集体破防？一场关于数学未来的精神危机
OpenAI下一代主要模型Astra内部版本在多数学领域给出十项新研究结果，让数学界震动。数学家看法不一，有人惊叹，有人迷茫，还有文章指出这或引发数学学科意义的精神危机。
SpaceX一分现金没花收购Cursor，马斯克吞下AI编程工具第一名
SpaceX在IPO第四天，以600亿美元全股票方式收购AI编程工具Cursor母公司Anysphere。Cursor商业增长快，但市场份额下降且算力不足。收购是马斯克算力布局收尾，还将发布联合模型及编程代理工具。
拆解大模型几项核心操作背后的数学与 Infra 优化逻辑
文章拆解大模型核心操作（RMSNorm、Softmax、Causal Mask、Sampling）背后的数学与Infra优化逻辑。指出Infra优化是用数学等价变换或精度妥协换硬件利用率和推理速度，还介绍各操作原理、问题及优化方法。