「K2.6」共找到 2786 篇相关文章
十分钟出结果，陶哲轩用Gemini Deepthink帮人类数学家完成Erdős问题论证
Erdős问题网站专注数学研究与解答，收录厄尔德什提出的各类数学问题。11月20日，Wouter van Doorn提出反例，陶哲轩提交给Gemini 2.5 Deep Think，十分钟得到证明，他半小时转为基础证明。之后Boris Alexeev用Harmonic的Aristotle工具完成形式化。
刚刚，李飞飞世界模型开源了个渲染神器
今天凌晨，李飞飞空间智能独角兽公司 World Labs 官宣推出「Spark 2.0」，将 3DGS 世界带入 Web，原本专业设备才能运行的 3D 场景，现在任何人可在浏览器访问，该渲染器开源，能流式加载 1 亿 + 的 3DGS 数据。
14岁华人小孩，折个纸成美国天才少年
14岁华裔少年Miles Wu（吴迈尔斯）凭借创新折纸设计获JIC最高奖，奖金2.5万美元。他提出新型三浦折纸变体，能承受自重1万倍以上重量，还想设计应急避难所。他无导师和平台，在家手搓实验夺冠。
英伟达新架构引爆全模态大模型革命，9B模型开源下载即破万
英伟达推出全模态大模型OmniVinci并开源，其90亿参数规模性能超同级别甚至更高级别模型，训练数据效率是对手6倍，能精准解析视频和音频，在多模态应用场景中表现卓越，下载量破万。
再封神！OpenAI掀翻AI图像生成，极度逼真，立刻商用
网传OpenAI的GPT-image-2正在灰度测试，韩国网友测试后称其生成图像可‘立刻商用’。它深度融合GPT大语言模型，生成照片更逼真，强化了提示遵循和场景理解能力，让AI图像生成进入‘实用时代’。
从 1000 万 App 下载到 1 亿桌面：千问与夸克合体成 AI 浏览器了
阿里千问 App 公测 7 天下载量破千万，其基于强大的 Qwen 模型。11 月 26 日，千问与夸克 AI 浏览器深度融合发布 6.0 版本，借助夸克超 1.1 亿的装机量，千问成系统级桌面智能助理。
英伟达一口气开源多项机器人技术，与迪士尼合作研发物理引擎也开源了
英伟达在机器人学习大会上发布多项开源技术，有Newton物理引擎、Isaac GR00T N1.6基础模型等，还在硬件层面下功夫。顶尖公司、高校已用其技术，全栈式布局或重定义机器人研发规则。
天工Skywork开始"看"小红书了，1247个帖子的图片信息被它吃透！
昆仑万维技术发布周推出Skywork Deep Research Agent v2。它整合多模态检索理解和跨模态生成能力，有信息检索、小红书Agent等功能，Office Agent也有升级，还新增积分预估等特性，邀测后将全量开放。
让OpenAI只领先5天，百川发布推理新模型，掀翻医疗垂域开源天花板
百川智能发布医疗推理大模型Baichuan - M2 - 32B，在OpenAI的Healthbench评测集上超越刚发布5天的gpt - oss - 120b，领先多数前沿模型，支持RTX4090单卡部署，还首创患者模拟器和Verifier系统。
实测 MiniMax H3：开源“斩杀线”蔓延到视频模型圈
本文实测 MiniMax H3 视频模型，它 8 月 3 日开源，成本低至 0.5 元/秒，在编辑榜成绩佳。它定位全模态生成，能多素材输入。实测效果好，价格约为 Seedance 2.5 的三分之一，还支持原生剪辑，适配多芯片与工具。