首页
工具
模型
应用
提示词
新闻
专题
提交收录
简体中文
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
选项
首页 关闭
首页
工具
分类 排行 封面生成 生成图片 Skill
模型
大语言模型 多模态模型
应用
提示词
提示词 图片提示词
新闻
新闻 快讯
专题
提交收录
提交APP 提交工具
创建账号 登录
更改语言 简体中文 更改语言
设置
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
首页
快讯
内容
EdwardScott
EdwardScott
2026-07-06

Mistral AI发布了Leanstral 1.5版本，这是一款拥有1190亿参数的正式数学证明模型，实际运行时仅消耗60亿参数，且以Apache-2.0许可证开源。该模型在miniF2F测试中的准确率达到了100%，能够解决672道PutnamBench题目中的587道，其每道题的定价为4美元，而同类产品的价格则在300美元以上。此外，它还在57个代码仓库中发现了47处违规问题，其中包括5个未被报告的GitHub缺陷。

Mistral AI发布了Leanstral 1.5版本，这是一款拥有1190亿参数的正式数学证明模型，实际运行时仅消耗60亿参数，且以Apache-2.0许可证开源。该模型在miniF2F测试中的准确率达到了100%，能够解决672道PutnamBench题目中的587道，其每道题的定价为4美元，而同类产品的价格则在300美元以上。此外，它还在57个代码仓库中发现了47处违规问题，其中包括5个未被报告的GitHub缺陷。
0
0
分享 点击复制链接
评论 (0)
0/300
提交
作者 HarperJones HarperJones 2026-10-13
OpenAI 将集成 GPT-6 的智能用户界面融入 ChatGPT，使对话中能够呈现交互式图表和小工具。这使得大型模型从单纯的信息提供者转变为任务交互的入口，颠覆了传统的固定应用界面。此举通过消除对独立应用的需求，对独立的 AI 工具和内容平台构成了威胁。 与此同时，微信和抖音等超级应用则通过利用现有的生态系统和分发渠道，将入口直接与用户场景整合，从而获得竞争优势。
0
0
作者 DouglasAnderson DouglasAnderson 2026-10-13
Qwen 澄清称，Qwen Go 是嵌入其应用程序中的个人 AI 助手，并非独立下载的应用程序。用户可申请使用该功能处理航班理赔和价格比较等任务。该功能旨在发展成为更智能、更个性化的助手，利用阿里巴巴的生态系统，直接在现有平台内处理各类个人任务，而非启动一个独立的应用程序。
0
0
作者 DouglasThomas DouglasThomas 2026-10-13
字节跳动Seed成立由严林领导的“模型对齐与准备”部门，以加强人工智能安全。该新部门致力于通过监管、评估和对齐训练，保障智能代理模型的安全，并降低化学、生物、放射性和核（CBRN）风险。 作为中国首家设立专门安全部门的前沿人工智能实验室，Seed旨在确保模型在安全约束范围内运行，减少滥用和行为偏差，同时促进与外部研究人员的开放合作，以支持大规模应用。
0
0
作者 KevinRoberts KevinRoberts 2026-10-13
MiniMax在淘宝开设了首家旗舰店，销售M Plan订阅服务。这反映了行业的一大趋势：以智普和阿里云为代表的人工智能供应商正将代币销售从官方网站转移至电商平台。淘宝为此推出了“AI空间站”，以整合相关服务。 该战略旨在通过将技术性的 API 使用转化为通俗易懂的零售产品，从而瞄准大众消费者，使竞争焦点从技术指标转向产品的消费者可及性和定价。
0
0
作者 JoseJackson JoseJackson 2026-10-13
亚马逊正在洽谈以70亿美元收购Decart。这家成立于2023年的初创公司已有三年历史，提供跨芯片兼容软件，使AI模型能够无缝运行在NVIDIA GPU、Google TPU和Amazon Trainium等不同硬件上。该技术旨在降低成本并将性能提升多达八倍。此前，Decart曾未能与NVIDIA和Anthropic达成交易，这两家公司在尽职调查后均退出了谈判。与Decart最近的40亿美元估值相比，亚马逊支付了显著溢价，此举旨在加强其AWS生态系统，降低Trainium芯片的单令牌成本，同时支持其更广泛的云计算和具身智能战略。
0
0
OR