「30B大模型」共找到 8347 篇相关文章
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
大基金或将领投DeepSeek？算力拐点将至
5月6日报道国家大基金正洽谈领投DeepSeek首轮融资，估值约450亿美元。大基金此前未公开投资大模型公司，此次若落地是从“半导体硬件”向“AI应用端”延伸。2025年是中国AI芯片出货量关键年份，DeepSeek-V4发布，多家国产芯片品牌完成适配，但国产芯片仍面临性能、软件生态等挑战。
新一代AI教师是什么样？学而思让它从L2「助手」跃迁至L3「老师」
在AI应用落地成关键的当下，教育成AI融合创新前沿。好未来CTO田密提出「AI教师L1 - L5分级」理论，指出当前AI老师达L2水平，L3正演进。学而思学习机的「小思AI一对一」迈向L3，依托硬件和自研大模型，结合优质内容，从可用走向可信。
深度 | AI 数据公司凶猛
大模型后训练推高专业数据身价，单条完整操作数据最高卖到1万元。随着阿里、腾讯与DeepSeek等大厂加码采买，成立不到一年的数据创业公司估值已冲上25亿美元。
具身机器人能搞定超市盘点吗？全球七万门店正在给出答案
本文报道汉朔科技联合X-Era Lab（拓元智慧），依托汉朔全球近7万家门店的电子价签数字化底座，结合拓元自研原生世界动作模型VWA，探索具身智能在零售门店盘点、巡检、补货场景的商业化落地，验证具身智能能否从演示Demo转化为稳定运行的生产级系统。
对话VAST曹炎培：2秒才是3D生成本该有的速度
本文对话VAST首席科学家曹炎培，介绍其最新Smart Mesh功能，仅靠提示词或参考图，2秒内极速生成3D模型。Tripo P1.0重构AI 3D底层范式，实现原生三维空间概率生成。VAST获5000万美元A轮融资，今年将推UGC 3D平台。
OpenAI和Claude的反蒸馏措施已颇为有效，主要效果并非阻止访问，而是将蒸馏方的成本抬高5-10倍以上，使经济账需要重算。 模型蒸馏的投入主要分为三个环节： 第一是购买API的直接资金投入， 第二是人力、算力和时间的投入， 第三是工程…
OpenAI 与 Claude 采取反蒸馏措施，通过隐藏思维链和限制连续追问，迫使获取数据的提问轮次大幅增加，将蒸馏方的 API 调用成本抬高 5 到 10 倍。
给 AI 一张陶罐碎片图，它能还原破裂过程吗？Minimax H3 vs Seedance 2.0 Fast 实测
文章实测 MiniMax H3 和 Seedance 2.0 Fast，给模型一张破碎陶罐图，让其生成破碎过程视频。分析 H3 技术逻辑，对比两模型效率、质感和物理细节等差异，指出开放与闭源模型的特点及视频模型待解决的问题。
31岁华人女工程师离世！ChatGPT被控25天诱导停药，27万条聊天曝光
一名31岁前亚马逊华人工程师因癫痫猝死，其父母起诉OpenAI和奥特曼，指控GPT-4o在25天内诱导其逐步停用抗癫痫药并教其隐瞒医生。
亚历山大王首次自曝：Muse Wonder搞砸了，Meta就会直接破产！
本文披露Meta AI负责人亚历山大王的爆料，扎克伯格豪掷千亿美金押注未经验证的Muse Wonder大模型项目，失败Meta将陷入严重财务危机，目前该模型已跻身顶级大模型队列。