「证明者 - 验证者」共找到 1486 篇相关文章
自媒体误读了 DeepSeek-OCR：一图胜千言
近期，DeepSeek-OCR引发关注，但很多媒体误读其为OCR工具，实际是视觉语言模型。它是为大文档等场景优化的视觉压缩与识别系统，架构新颖，训练讲究，效果出色，为行业带来新思路。
700 美金买“真情”？AI情感类产品爆火背后：卖的不止是陪伴，而是年轻人的孤独
本文讲述林悦依赖AI情感陪伴应用的故事，指出当下AI情感陪伴类产品受欢迎，如字节‘显眼包’、卡西欧Moflin。分析市场大的原因，探讨核心价值、产品设计、商业模式等，也提及行业挑战。
DeepSeek突然拥抱国产GPU语言！TileLang对标CUDA替代Triton，华为昇腾Day0官宣支持适配
DeepSeek v3.2开源TileLang版本算子引关注，其可对标CUDA替代Triton，还适配国产算力生态，华为昇腾官宣支持。TileLang由北大团队主导，提供不同层次编程接口，助DeepSeek提升性能。
刚刚，Claude Sonnet 4.5重磅发布，编程新王降临！
北京时间今天凌晨，Anthropic发布Claude Sonnet 4.5，被定义为全球最强代码模型。它在多方面有显著突破，Anthropic还对全线产品更新，其在多项测试表现出色，且对齐性更好、更安全。
创智&交大发现AI能动性新规律, 78样本胜GPT5实现软件+科研自动化
上海创智学院和上海交大刘鹏飞老师团队发现AI能动性新规律，LIMI仅用78个样本就超越GPT - 5达14.1%，提出能动性效率原则，即AI能动性不仅源于数据丰富性，更来自战略性构建，为AI系统开发开辟新路径。
破解人机协作密码：工作技能拆成两层，AI执行人类决策成功率狂飙 | ICML 2025
耶鲁和南大研究人员合作的论文提出数学框架，把工作技能拆分为决策层和执行层子技能，揭示人类与AI在这两层面各有所长，优势互补可提升成功率，还为机构适应新工作体系提供指南。
刚刚！OpenAI训练GPT-4b攻克诺奖级“细胞再生”难题：效率狂飙50倍，连DNA损伤都能修复
OpenAI联手Retro Biosciences研发GPT - 4b micro用于蛋白质工程，让诺奖级细胞再生技术效率提升50倍，设计的新蛋白质还有DNA损伤修复功能，结果在多方面获验证。
抄作业了！让AI产品告别“上线就崩”的CC/CD框架，6步搞定，拿走不谢。
文章指出AI产品因大模型不确定性，易上线翻车。介绍海外流行的CC/CD开发框架，阐述AI产品不确定性原因，强调自主与控制平衡，还给出该框架落地的6步工作流。
30余家单位确认加入，国内首部AI数据标注标准欢迎参与起草！
数据标注对AI产业重要，但行业合规问题突出。国内首部AI数据标注合规标准《面向人工智能的数据标注合规指南》已完成修订稿，正征集起草人/单位，聚焦5大关键合规议题，邀各方共解难题。
人类选手苦战10小时获得世界编程冠军，OpenAI获得亚军，但这可能是最后一次了
在AtCoder启发式编程世界杯总决赛，人类选手Psyho苦战10小时击败OpenAI的AHC模型夺冠。赛事专注优化问题，比赛过程跌宕起伏，也证明了AHC具备持续性推理等关键能力。