「正式证明搜索」共找到 1052 篇相关文章
Google 开源 InkSight，把手写笔记直接变成可编辑数字笔记！
Google 开源 InkSight，能将手写照片转为数字墨迹，与传统 OCR 不同，它可「还原书写方式」。具备离线转在线、多语言支持等功能，核心是「阅读 + 书写」双重训练，有两种使用模式。
何恺明首个语言模型：105M参数，不走GPT自回归老路
何恺明团队推出全新连续扩散语言模型ELF，不走GPT自回归老路。它将生成过程留在连续embedding空间，最后离散化变回token。ELF用较少参数、训练token和采样步数，跑赢主流扩散语言模型。
开源多模态推理「破壁」时刻：MMFineReason助力4B逆袭30B
长期以来，开源多模态模型在复杂推理任务上与顶尖闭源模型有差距，核心痛点是高质量推理数据匮乏。上海AI实验室OpenDataLab团队开源MMFineReason框架及大规模数据集，小模型凭此实现性能逆袭。
当AI开始过度思考「hey」这个字…
两张对话截图展现语言模型缺陷，用户发简单问候，模型过度分析，从问候语正式程度到表情符号语义权重，这种过度分析让对话不自然，错过人类交流重点。
个人开发者时代崛起！22岁印度开发者搞的业余项目被马斯克Groq看上，如今用户破6万
22岁孟买开发者Zaid Mukaddam开发开源AI搜索引擎Scira，定位为“Perplexity替代品”。项目初期走红，后因流量激增成本上升，获Groq等公司支持。如今用户破6万，其成功激励更多开发者。
Neuralink大更新！马斯克再次开启科技狂人模式：意念操控擎天柱，2026年治愈失明
马斯克带领Neuralink团队开近1小时发布会，亮点颇多。如可用Neuralink芯片意念操控擎天柱，研发“盲视”项目助失明者重见。还宣布已为七人植入设备，规划未来发展路径，展示临床成果。
Google发布“法律版Gemini”：能审合同，也能连接律所核心数据
8月25日，Google Cloud发布Gemini Enterprise for Legal面向律所和企业法务团队开放预览。它想解决让模型进入律所现有工作系统，不打乱权限等规则的问题，通过MCP连接系统并继承权限，还组织各方合作。
Deepseek V4 Pro深夜上线，性能追平Fable 5，但价格只有它的2％
2026年8月12日，DeepSeek V4 Pro正式版上线。它是混合专家模型，规模居世界第一梯队。价格比Claude Fable 5便宜超98%，成本优势明显。其架构节省成本，API开放多模式，产品结构清晰。
数学大佬在前面拓荒，AI研究员在后面捡宝，菲尔兹奖还能拿来破AI「黑盒」？
菲尔兹奖级纯数学成果落地大模型训练。佛罗里达大学团队用三维挂谷猜想解决大模型“黑盒问题”，GeoLAN加几何约束，效果显著。菲尔兹奖得主Jacob将入职OpenAI，AI在数学领域成果频出。
刚刚，Fable 5全球解禁！
美国商务部撤销对Anthropic旗下Fable 5、Mythos 5出口管制，禁令由商务部长Lutnick签字解除。Anthropic官宣明天恢复访问，这两款模型无需许可、审批即可全球使用，此前封禁让开发者陷入“戒断期”。