OpenAI公布前沿模型生成的数学研究成果
OpenAI发布一批由内部前沿模型产出的数学成果,同时公开Lean形式化证明、推理摘要与计算量信息。
这不仅展示模型会做题,更首次把前沿模型产出的数学成果、形式化证明和计算过程带入可审查的科研流程。
当天发布的全部深度简报与一句话快讯。
OpenAI发布一批由内部前沿模型产出的数学成果,同时公开Lean形式化证明、推理摘要与计算量信息。
这不仅展示模型会做题,更首次把前沿模型产出的数学成果、形式化证明和计算过程带入可审查的科研流程。
Mistral上线一万亿参数多模态模型Large 4公开预览,并承诺月底前发布权重,主打编程、智能体与网络安全。
Google发布开放的7.4亿参数多模态嵌入模型,可将文本、代码、图像、音频和视频映射到同一空间。
Anthropic扩大Cyber Verification Program,为更多经过核验的安全团队提供能力更强、限制更少的模型访问。
据报道,DeepSeek正接近完成一轮至少800亿元人民币融资,腾讯和宁德时代是主要支持者,目标或指向2027年上市。
Reflection AI发布首个开源权重模型Beam,总参数量达5010亿,面向编程、推理和长程智能体任务。
亚马逊云宣布在Bedrock提供智谱GLM 5.3,支持兼容OpenAI的API、提示词缓存和跨区域推理。