「科拉茨猜想」共找到 300 篇相关文章
数学大佬在前面拓荒，AI研究员在后面捡宝，菲尔兹奖还能拿来破AI「黑盒」？
菲尔兹奖级纯数学成果落地大模型训练。佛罗里达大学团队用三维挂谷猜想解决大模型“黑盒问题”，GeoLAN加几何约束，效果显著。菲尔兹奖得主Jacob将入职OpenAI，AI在数学领域成果频出。
OpenAI版“豆包手机”细节曝光！最快一年内量产，预计出货3000万台
郭明錤称OpenAI智能体手机进入加速研发，量产或从2028年提前到2027年上半年，预计2027 - 2028年合计出货约3000万部。此手机从底层重新设计，处理器由联发科定制。
我收到了「GPT Agent操作的」第一封来自AI的邮件，这是第一个超级智能Agent。
作者实测GPT Agent，用PPT实测和与Manus对比等方式展示其强大。指出AI功能强弱要实测，GPT Agent像人一样操作页面、解决问题，是最强通用Agent，呼吁大家实测，不要盲目拉踩。
文本已死，视觉当立！Karpathy狂赞DeepSeek新模型，终结分词器时代
DeepSeek新成果DeepSeek - OCR以像素处理文本，压缩率小于1/10，基准测试领跑，开源一夜获4.4k星。Karpathy力挺，认为应赶走分词器，展望视觉成通用输入前景，马斯克有更科幻猜想。
性能翻番背后：讯飞与昇腾，如何用国产算力炼就大模型？｜甲子光年
在全球AI竞争激烈背景下，科大讯飞与华为昇腾深度合作意义重大。双方合作历经四阶段，实现性能提升与技术突破，还通过软硬件协同构建AI自主发展竞争力，加速大模型行业落地。
Andy Pavlo：2025年数据库年度回顾
Andy Pavlo回顾2025年数据库领域，提及PostgreSQL发展、MCP支持情况、MongoDB起诉案、文件格式竞争等。还介绍收购、合并、融资等动态，以及数据库元老拉里·埃里森的成就，最后给出建议并提及新创业公司。
用 Docker 跑大模型训练，Unsloth 解决了环境配置难题
Unsloth AI 发布 Docker 镜像版本，解决本地训练大模型环境配置难题。拉镜像就能训练，依赖和示例 notebook 都打包好。使用简单，不过有暂不支持 Mac 系统等限制，单卡 NVIDIA GPU 场景较适用。
吴恩达推出 Context Hub，专治 AI 写代码时的「瞎编」问题
吴恩达推出开源工具 Context Hub，解决 AI 写代码时的「API 幻觉」问题。它通过喂最新文档，让 Agent 按需取用，还能做批注。与 MCP 路线工具不同，它按需拉文档，且引入反馈机制更新文档。
微软 CEO吹爆「智能体」：AI不仅要“杀死”SaaS，操作系统也会“格式化”重来
微软CEO萨蒂亚·纳德拉在Build 2025大会后深度访谈，回应‘SaaS已死’论，抛出‘零成本智能’和‘无代码操作系统’愿景，还阐述了AI智能体、SaaS变革等观点，强调微软全面押注AI。
突发！OpenAI删除所有Jony Ive信息
5月22日凌晨OpenAI宣布前苹果设计师Jony Ive加入领导AI硬件部门，宣传一个月后官网等删除其所有信息，引发猜想。有版权问题、被Meta挖角两传言，此前OpenAI 64亿美元收购其初创公司。