「可验证智能」共找到 7238 篇相关文章
社区供稿 | Hugging Face x 北京中关村学院等机构联合发布生成式基因组大模型Carbon：一场关于“生命语言”的范式革命
北京中关村学院等联合发布生成式基因组大模型Carbon并开源。Carbon家族有三个版本，旗舰模型Carbon - 3B在多任务匹敌70亿参数的Evo2 - 7B，运行速度快275倍。它在数据、分词、训练上有创新，还实现技术普惠，有多种应用场景。
航空学报｜西工大袁昊、寇家庆等：基于预解分析的低雷诺数翼型优化设计方法
本文将预解分析引入翼型外形优化，构建流动系统线性化模型，以最大预解增益表征流动稳定性。建立优化框架获Opt.1和Opt.2构型，优化后翼型流动稳定性提升、气动性能改善，方法有外推潜力。
ICML 2026 | 只用少量Thinking Tokens，大模型依然能深度思考
近年来，CoT 推理成为提升大模型复杂问题求解能力的重要路径，但带来效率问题。浙江大学等团队提出 Heima 框架，将冗长 CoT 压缩为少量 thinking tokens，在减少 token 数的同时保留推理能力，已被 ICML 2026 接收。
Anthropic发布「AI原生创业公司」手册：涵盖全流程四大核心阶段，一人公司法典来了
Anthropic发布打造AI原生创业公司手册，针对2026年可能性梳理创业四阶段：想法、MVP、上线和规模化，明确各阶段目标、退出标准、失败模式及AI实操练习，涵盖研究、编码、运营等方面。
这个 Agent Team，终于不是"角色扮演"了
作者测试了 MiniMax 新出的 Agent Team，通过深度研究公司、整理会议逐字稿、做直播数据分析三个测试，展现其优势。指出 Agent Team 核心是对抗式质量门禁，是复杂任务兜底系统，而非简单 prompt 编排。
Claude Code发布Agent View，多任务流的ADHD患者有救了
Claude Code发布Agent View，它像给Claude Code的tmux，能将多个Claude会话状态分类展示，帮用户分配注意力。它把Anthropic内部工作流产品化，有会话与窗口解绑、工作树隔离等设计。
0%完成率！Claude、GPT、Gemini 全灭，SWE-Bench作者新作把AI圈干沉默了
SWE - Bench创建者推出新benchmark ProgramBench，测试AI从零构建软件系统能力。结果一线模型完成率0%，暴露AI擅长局部代码生成，缺全局系统规划能力，引发对其评估方式的讨论。
上市首日大涨383%，上海跑出“全球AI硅光芯片第一股”
4月28日，曦智科技在港交所上市，首日涨幅383.62%，认购阶段成绩亮眼。其由沈亦晨创立，从光计算转型光互连后迎来转机。虽营收增长但亏损大，研发投入高，此次IPO募资用于研发等。
微软痛失OpenAI 「独家」，七年绑定关系开始松动
微软与OpenAI达成新合作协议，微软对OpenAI模型和产品的知识产权许可变为非独占，有效期到2032年。这一调整为OpenAI将模型部署到其他云平台打开通道，双方合作关系更加灵活。
论文解读：一个运算符能导出所有基本函数
波兰雅盖隆大学Odrzywołek发现二元算子EML，结合常数1能生成科学计算器所有标准功能。EML算子简化运算符集合、将离散问题转化为连续优化问题，但存在数值稳定性、表达式非唯一等局限。