「证据级能力」共找到 3980 篇相关文章
5Y News | 极壳科技B轮融资达1.2亿美元
今日，极壳科技宣布完成5000万美元B+轮融资，B轮融资达1.2亿美元，由蚂蚁集团和美团龙珠领投。极壳是全球销量第一的消费级外骨骼品牌，此轮融资将巩固其领先地位，5月20日还将发布全新X系列。
没有国产替代，EDA需“自主可控”突围
在ICCAD - Expo 2025上了解到，国产EDA从业者不期待国产替代，要在新产业机遇找突破。先进封装催生出新的EDA技术需求，硅芯科技推出3Sheng平台应对，还推动产业生态建设。赵毅认为国产EDA可差异化突破、工具级协作。
Qwen3.8-27B 登顶全球开源榜第一，曾经的「源神」又回来了！
8月17日，阿里发布的Qwen3.8 - 27B成Hugging Face热门第一。它以27B参数在部分测试中与前沿闭源模型比肩，可本地运行。不过推理慢、真实任务表现待提升，它让前沿Agent能力下放到个人电脑。
每周2亿年轻人用ChatGPT，却连高手的零头都没用出来
全球超2亿18 - 24岁年轻人用ChatGPT，高阶用户调用能力仅为超级用户1% - 10%。OpenAI推出三款教育插件，分别针对K - 12老师、大学老师和大学生，还搭建教育闭环，不过教学权仍在教师、学校和政府手中。
从「北纬社区龙虾大赛」到「中关村论坛人工智能主题日」：海淀AI的新叙事
3月22日「中关村・北纬龙虾大赛决赛」举办，展现AI走向「生活化」场景。3月25 - 29日将进行「第三届中关村论坛人工智能主题日系列活动」。海淀京张遗址公园AI创新带串联多方资源，推动AI发展，北京正构建城市级AI操作系统。
一夜200万阅读，OpenAI神同步！这项测评框架让全球顶尖LLM全翻车
中国团队领衔全球24所高校机构发布评测LLMs for Science能力的论文，一夜阅读近200万，同一时间OpenAI也发文指出现有评测标准在AI for Science领域失灵。论文推出评测体系SDE，发现主流大模型在科学发现上短板明显。
AI Coding新王登场！MiniMax M2.1拿下多语言编程SOTA
MiniMax发布旗舰级Coding & Agent模型M2.1，在Multi - SWE - bench榜单中以10B激活参数拿下49.4%成绩，超越竞品成SOTA。它解决模型‘偏科’问题，适配开发工具链，实测在多语言编程任务中表现出色。
SaaS 已死？不，SaaS 会成为 Agent 时代的新基建
文章指出AI Agent不会杀死传统软件系统，传统SaaS系统会成Agent时代的新基建。企业内部数据混乱，Agent能力上限取决于对数据的运用，CRM、ERP等系统将从服务人转向服务Agent，记录系统会被拆解重构。
开源模型首次物理奥赛IPhO夺金！上海AI Lab 235B模型击败GPT-5和Grok-4
上海AI Lab的P1 - 235B - A22B在国际物理奥林匹克竞赛夺金，在HiPhO基准测试获12金1银，超越GPT - 5等闭源模型。团队构建HiPhO基准测试，用多阶段强化学习训练模型，开发PhysicsMinions系统提升推理能力。
字节押注AI Coding：百万月活的TRAE，如何改写开发者生态？｜甲子光年
字节跳动在火山引擎Force 2025原动力大会主推自研AI编程产品TRAE，其月活超百万，内部80%工程师在用。AI Coding能提升大模型能力，助字节逼近AGI。TRAE更新功能，未来或成独立开发超级个体。