「AI生成数学」共找到 10916 篇相关文章
地平线首曝BPU「黎曼」架构，用数学流形重构AI计算
2025 年 12 月 8 日深圳举办的地平线技术生态大会上，地平线首曝 BPU「黎曼」架构，用数学流形重构 AI 计算。还发布第四代编译器，推出 HSD Together 模式，开源具身智能模型，欲构建物理 AI 世界底层生态。
我做了个 Skill：让 AI 帮你生成 Logo 和图标
作者因用 Gemini 为 CodePilot 生成 Logo 获关注，开发了 Logo Generator Skill。该 Skill 可三步生成 Logo 与高级展示图，还介绍了不直接用 AI 画 Logo 的原因、使用场景、开源地址与安装方式。
腾讯AI战略大升级：组织架构重组与混元世界模型1.5发布
2025年12月17日，腾讯宣布两项重大举措，一是重组AI组织架构，成立新部门并任命首席AI科学家；二是发布混元世界模型1.5，能实时生成可交互3D虚拟世界，应用场景广泛，或引领行业进入‘AI原生’新阶段。
Gamma完美开源平替，输入主题一键生成专业PPT，配图排版全自动！
做PPT耗时耗力，现有AI驱动PPT生成工具多为闭源SaaS服务。GitHub上的开源项目presentation-ai是Gamma的开源平替，输入主题可自动生成PPT，功能丰富，还给出安装部署步骤和使用场景。
陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机
菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。
WithAnyone重磅开源：这可能是你见过最自然的AI合照模型
复旦大学携手阶跃星辰推出全新AI合照生成模型WithAnyone，它能生成自然、真实、毫无违和感的AI合照。该模型打破以往方法局限，当前ComfyUI版本已上线，还全面开源代码、模型权重等。
陶哲轩用GPT-5解决数学难题：仅29行Python代码
陶哲轩最新发帖称，GPT - 5帮他解决MathOverflow上的问题，证明序列lcm(1,2,…,n)并非高度丰数的子集。他与GPT - 5沟通生成参数，并用其生成的29行Python脚本验证，且未遇AI幻觉问题。这不是他首次用AI解题。
构建会“说话”和“行动”的 AI：生成式数字人技术与 EchoMimic 实践
在 QCon 全球软件开发大会上，支付宝李宇明围绕 EchoMimic 介绍生成式数字人进展、技术、应用及研究思路。对比传统数字人，生成式数字人成本低、易控制，但也有技术新、推理成本高的问题。EchoMimic 两版本已开源，经优化推理速度可提升。
西湖大学张驰团队：不重训，也能让视频生成更长更稳丨CVPR 2026
AI 视频生成目前存在长视频稳定性问题，西湖大学张驰团队提出 《Free-Lunch Long Video Generation via Layer-Adaptive O.O.D Correction》。研究表明 FreeLOC 方法能提升长视频生成质量，且具跨模型通用性，还揭示了问题机制，降低算力成本。
AI 编程工具在大型企业“遇冷”？网易 CodeWave 升级研发模式，不只关注“代码生成”
近些年，自然语言编程成 AI 编程产品主流。C 端通用 AI coding 工具表现出色，但国内企业级市场 AI 技术渗透率低。网易 CodeWave 专注企业级场景，指出通用工具痛点，提出‘可控的 AI coding’定位并升级能力，未来还将推新开发模式。