「人类数学」共找到 1458 篇相关文章
黄仁勋预言成真！AI智能体成GitHub主力，一天顶人类一年
加拿大女王大学研究揭示AI编程智能体大规模渗透开源社区，它们活跃于开源一线，效率高但代码接受率低于人类，研究为其时代勾勒发展方向，软件工程行业面临变革。
Meta首席科学家LeCun：当前 AI 模型缺乏四项关键人类智能特质
在巴黎AI行动峰会上，Meta首席AI科学家Yann LeCun提出智能四项标准，指当前主流AI系统尤其语言模型在这些方面不足。他认为业界‘组合式’增强是‘功能修补’，介绍Meta‘世界模型’及V-JEPA模型。
年薪70万跌至几千块！第一批被AI取代的人类出现了
2025年，AI从思想走向现实经济，重写人类就业规则。创造性岗位薪资坍塌、职业阶梯断裂，蓝领工作价值回归。文案、翻译等行业受冲击大，企业初级职位减少，未来需探索新模式应对。
谷歌Gemini 3杀疯了！陶哲轩亲测：10分钟干翻百年数学难题
Gemini 3本周一发布后开启横扫基准测试之旅。在FrontierMath基准测试创纪录，Epoch能力指数超GPT - 5.1。陶哲轩用Gemini Deepthink十分钟解决埃尔德什问题关键证明，同时它还霸榜物理基准测试CritPt。
教育行业首个AI Agent落地！斑马口语「超人类外教」诞生
教育行业首个AI Agent落地，斑马口语推出「超人类外教」。它有「人」味，能灵活交流、共情，背靠猿力大模型，有记忆能力，性价比高，推动优质口语教育，或重塑教育行业。
DeepMind爆火论文：向量嵌入模型存在数学上限，Scaling laws放缓实锤？
DeepMind一篇关于向量嵌入局限性的论文在AlphaXiv爆火。其证明向量嵌入有数学上限，Scaling laws或放缓。研究构建LIMIT数据集，测试发现即便是先进嵌入模型也难解决简单任务，揭示了RAG系统约束，让人反思Scaling Laws边界。
第一个同时为人类和Agent设计的AI视频产品，它叫，LibTV。
Liblib推出的AI视频产品LibTV，是首个为人和Agent共同设计的产品，用优雅姿态解决兼顾专业与普通用户的难题。它面向人类的是无限画布，功能强大；面向Agent的是简单的Skills。
AI女歌手攻占美榜！格莱美天后崩溃：人类嗓音不值钱了
近日，AI歌手Xania Monet登上Billboard电台榜单，签300万美元合约，引发争议。格莱美天后SZA等抵制，认为其贬低音乐；也有歌手觉得可接受。AI降低创作门槛，但也带来版权等问题，其艺术性存争议。
谷歌最新发表的Science论文，颠覆了人类对ASI的想象
谷歌等机构研究者在《科学》发文，提出真正智能爆炸已发生，是多元、社会性且与人类深度缠绕。推理模型内部涌现‘思想社会’，当下人机协作进入‘半人马时代’，还探讨了AI扩展、对齐及治理问题。
地平线首曝BPU「黎曼」架构，用数学流形重构AI计算
2025 年 12 月 8 日深圳举办的地平线技术生态大会上，地平线首曝 BPU「黎曼」架构，用数学流形重构 AI 计算。还发布第四代编译器，推出 HSD Together 模式，开源具身智能模型，欲构建物理 AI 世界底层生态。