「最优解」共找到 270 篇相关文章
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
OpenAI宣称其下一代AI模型推翻了Connes刚性猜想，第二天堪萨斯大学的J. L. Nielsen就发文回应，指出AI构造的群不满足附加条件，还逐行核对代码指出‘要证什么’有问题，强调人类审查对AI科研结果很关键。
奇点之前，一场关于Physical AI的闭门会议
过去一年，Physical AI成全球AI产业热门方向，诸多关键问题待解。今年9月，上海物理智能与机器人研究院将发起PAIR 2026闭门会议，聚焦未决技术问题，促进多方交流和资本配置。
猛涨25k star！一键检测你的电脑能跑哪些大模型！
最近 Github 出现工具 `LLMFit`，用 Rust 编写，能自动检测硬件配置，判断大模型能否流畅运行，推荐最优量化版本和运行模式。有一键硬件检测等特性，安装使用方便，降低本地部署门槛。
GUI 将死，CLI 才是一切
文章指出 GUI 时代将尽，CLI 正赢下一个十年，其用户将是 Agent。介绍了 CLI - Anything 项目，它能为软件生成 CLI 接口，让 Agent 用命令行操控软件，还探讨了 Agent 命令执行权限等问题。
陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的
陶哲轩在 SAIR 基金会活动演讲指出，数学领域工作方式正被新技术撬动。数学保守、协作难，而形式验证是关键。他主导项目用三个月解决 2200 万代数题，还探讨了 AI 在数学中的应用，认为它应做大蛋糕。
AI也能换岗了！Anthropic教智能体交接班，不怕长任务断片
Anthropic设计出长时智能体运行框架，让AI跨越数小时任务渐进式推进。其采用双智能体架构，结合环境管理方法，提升全栈Web应用开发稳定性，但仍有通用与多智能体架构选择等开放问题。
Meta提出数据筛选的理论：何时“少即是多”成立？
Meta针对机器学习领域‘少即是多’悖论提出理论框架，用高维统计等方法推导测试误差缩放定律，揭示数据筛选‘相变’条件，为实践提供指导，还重新定义‘数据效率’意义。
不只是行业 Know-How，营销类 Agent 工程化落地难题有何解？｜对话瓴羊副总裁、友盟+总经理毛波
今年是“AI Agent 元年”，营销 Agent 热门但有难题待解。InfoQ 对话瓴羊副总裁毛波，探讨营销 Agent 落地困境、工程化挑战、未来护城河及发展机会，友盟+推出产品并提供方案助力解决问题。
腾讯混元图像3.0开源榜一，工业级800亿参数可商用，附提示技巧
28日，腾讯开源800亿参数的工业级原生多模态生图模型HunyuanImage 3.0，个人和月活≤1亿公司可免费用。它是全球参数量最大、性能最好的开源图像生成模型，技术强、评估表现优，官方还整理了提示词手册。
ICML2025|宁波东方理工大学刘野，陈云天：DragSolver：用于真实汽车风阻系数估计的多尺度Transformer方法
当汽车高速行驶，空气阻力影响车辆性能。传统风阻系数测算方法耗时久，难以满足实际需求。宁波东方理工大学等机构研究者提出DragSolver模型，能快速准确估计风阻系数，经实验验证效果优，有降本增效等价值。