「机器证明」共找到 681 篇相关文章
中国开源首超美国：Hugging Face发布全球AI开源现状报告
Hugging Face发布报告显示，2025年开源AI生态繁荣，用户参与度高。中国首次超越美国，成月下载量最大的模型来源国。各国政府推动主权AI，硬件支持更多元，机器人和科学领域发展迅速。
周志华，院士！
2025年中国科学院、工程院院士增选结果出炉，共144人当选，新增外籍院士51人。人工智能领域，南京大学周志华教授当选中科院院士。他成就颇丰，论文被引超11w次，《机器学习》成入门宝典。
一文探析多分类指标Accuracy/Precision/Recall/F1-score
文章探讨机器学习分类模型评价指标，指出Accuracy在不平衡数据集有缺陷，需引入Precision、Recall和F1 - score。分开解析二分类和多分类模型指标，还给出不同场景下指标侧重建议。
从“小卡拉米” 杀入 CNCF，创始人却说：HAMi火了，我们每天仍如履薄冰
本文讲述 HAMi 项目从“小卡拉米”到进入 CNCF 孵化阶段的历程。该项目解决 GPU 利用率问题，建立跨厂商生态。密瓜智能围绕其成立，补社区短板。虽 HAMi 成功，但密瓜智能仍需证明商业价值。
Anthropic让9个Claude Agent花5天做出比人类强4倍的对齐成果
Anthropic发表Automated Weak - to - Strong Researcher，用9个并行的Claude Opus Agent组成自动化研究团队，5天就把PGR从人类的0.23提升到0.97，成本约$18,000，证明AI自动化研究可行。
Meta提出数据筛选的理论：何时“少即是多”成立？
Meta针对机器学习领域‘少即是多’悖论提出理论框架，用高维统计等方法推导测试误差缩放定律，揭示数据筛选‘相变’条件，为实践提供指导，还重新定义‘数据效率’意义。
群核十五年：一家“被AI重新定价”的公司上市了｜甲子光年
群核科技15年后在港上市，其以“酷家乐”在家居设计软件领域渗透高。它正从3D工具商迈向空间智能服务商，早期被低估，如今随AI发展，早期投入成为生产力，转型向机器收费。
人形机器人IPO风声趋紧：刚敲钟CEO炮轰同行“虚假收入”透支行业
国内监管收紧人形机器人企业IPO审批门槛，要求拟上市企业需证明具备持续性收入、正在减亏或拥有核心技术创新；刚登陆港股的人形机器人公司CEO公开炮轰行业“攒局型创业”靠关联交易制造虚假收入透支行业。
做过十遍还要从头摸索？Agent 的记忆终于开始长成技能
MemTensor 等机构提出无需训练基础模型的 MSCE 框架，为 Agent 外部经验建‘晋升制度’，让经验成技能。该论文在 EvoAgentBench 与 LoCoMo 测试中结果更好，但在因果证明、模型依赖等方面有不足。
把AI装进数据库：PostgresML和Korvus的新思路
当下机器学习应用开发流程复杂，开源数据库Postgres带来惊喜。PostgresML团队让AI模型跑在数据库中，介绍了PostgresML和Korvus两个关键项目，二者结合降低复杂度，让‘在SQL里跑AI’成工程现实。