「正式证明搜索」共找到 1052 篇相关文章
重磅发布 |多智能体协同驱动，新一代流体力学工业软件平台正式亮相！
2025年11月29日，第四届智能流体力学产业联合体大会上，西北工业大学等联合发布“多智能体协同驱动的新一代流体力学工业软件平台”，解决流体设计仿真瓶颈，含完整体系，有多项关键技术及典型应用场景。
教全世界与AI对话的男人，正式加入DeepMind！提示工程封神
全球最牛提示工程师Riley Goodside入职谷歌DeepMind，他曾凭和ChatGPT聊天年入百万。他认为ChatGPT发布是提示工程里程碑，提示工程可分上下文工程和提示词编程。
8B硬刚72B！MiniCPM-V 4.5技术报告正式出炉
行业首个具备“高刷”视频理解能力的多模态模型MiniCPM-V 4.5技术报告发布，提出三项关键技术，使模型在多任务达同级SOTA，8B参数规模超72B模型，推理快，开源后获社区好评。
一篇被证明“理论有误”的论文，拿下了ICML2025时间检验奖
2015年发表的Batch Normalization论文在ICML 2025会议获时间检验奖。它引用超6万次，推动了深层神经网络发展。虽2018年被指理论有误，但仍有新研究发现其对训练过程的根本影响。
刚刚，Meta宣布正式成立「超级智能实验室」！11人豪华团队首曝光，
据彭博社消息，扎克伯格在内部备忘录宣布重组AI团队，合并到新成立的「Meta超级智能实验室」，由Alexandr Wang领导，还曝光11位从OpenAI等挖来的人才，将致力于开发Llama系列模型等。
社区供稿 | Jina Embeddings V4: 为搜索而生，多模态多语言向量模型
Jina AI发布多模态向量模型jina-embeddings-v4，参数38亿，能同步处理文本与图像。内置LoRA适配器强化检索等任务表现，在多基准测试中展现顶尖性能，支持单/多向量表示。介绍了架构、上手指南等。
深度剖析 MCP SDK 最新版： Streamable HTTP 模式正式发布，为你实测揭秘
MCP SDK 新版本 v1.9.0 发布，新增 streamable HTTP 传输模式。本文对该模式全面剖析与实测，涵盖快速上手、核心参数、session - id 等内容，还介绍开发服务端及多应用实例模式，指出新模灵活性提升但有不足。
2025年第二届「兴智杯」全国人工智能创新应用大赛正式启动，线上报名开启
2025年5月8日，第二届「兴智杯」全国人工智能创新应用大赛启动，由多机构主办。大赛聚焦关键能力设赛题，分主题赛和总决赛，有激励机制。深圳产业优势突出，共同主办助力人工智能融合发展。
Codex正式开放1M上下文！解除GPT-5.6 Sol封印，三行配置搞定
现在3行配置就能让GPT - 5.6 Sol封印解除，在Codex里用上1M上下文。不过有网友警告轻易别用，因超出默认窗口，模型消耗token速度会翻倍，且模型上下文利用能力会下降。此外，Codex确定会上Astra。
正式开源！motion-anything：免费版 Figma Motion + 无水印动效视频工坊来了
Open Design团队开源motion-anything，这是一款开源动效引擎，让动效活在真实网页上，可随时编辑。自带庞大动效生态，支持多种触发和动法，有视频工坊且无水印导出，还解决了动效领域四大痛点。