「可验证智能」共找到 7238 篇相关文章
研究者尝试揭示扩散模型创造力的起源
斯坦福大学研究人员 Mason Kamb 与 Surya Ganguli 在论文中提出解释扩散模型创造力的机制，指出其创造力是去噪生成图像时的确定性结果，还识别出关键偏置，搭建 ELS 机模型并验证其准确性。
DeepMind 再放大招，AlphaGenome 能一次性处理百万碱基对，基因组里的“垃圾代码”这下藏不住了
Google DeepMind发布AI模型AlphaGenome，可预测遗传变异对基因调控的影响。它能处理百万碱基对，结合关键技术，性能顶尖，还能直接建模RNA剪接点，已面向非商业研究开放，引发医疗AI应用讨论。
印裔1号位删 Karpathy 团队90%代码、算力暴涨 50 倍！马斯克 Robotaxi 10年终上线，30 元乘车体验刷屏
当地时间6月22日，特斯拉在奥斯汀启动Robotaxi试点服务，仅受邀用户参与。其技术基于FSD 13.2.9微调，团队精简90%代码，算力强大。虽面临竞争，但马斯克看好其发展，认为2026年或现超级智能。
用Cursor开启JAVA+AI生涯
本文介绍基于VS Code的编辑器Cursor，它与AI无缝集成、响应快、占内存小。文中给出下载、安装插件、常用快捷键及配置等实用技巧，还提及MCP可接入工具提效，助大家开启JAVA+AI生涯。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
这场巅峰对话，把China AI的基因、堵点和未来聊透了｜甲子光年
2025年4月28日，甲子光年大会巅峰对话探讨‘China AI如何重塑全球AI价值坐标系’。大模型、算力、具身智能、芯片领域嘉宾各抒己见，谈China AI基因、应对策略、行业堵点及未来判断。
AI辅助编码将如何改变软件工程：更需要经验丰富的工程师
文章指出生成式AI改变软件开发方式，LLM在编码领域成果显著。但AI辅助编码有局限，如‘70%问题’。还介绍有效模式，提及软件工程智能体兴起，最后认为未来对经验丰富工程师需求或增加。
上线12天跑赢ChatGPT！Meta爆款AI自曝老底，灵魂文件来自OpenClaw
Meta推出的个人智能体Muse上线12天累计装机280万次，下载量跑赢ChatGPT登顶美区App Store，随后被曝核心设计沿用开源项目OpenClaw框架，Meta高管承认借鉴，本文梳理事件始末并分析行业趋势。
VC开始靠AI预测未来了
七月，DigClaw的预测框架Rhizome v1在FutureX评测平台取得优异成绩，支持了预测能力可沉淀在基座模型之外的判断。大语言模型不擅长预测，而DigClaw构建了以因果结构为骨架的预测基础设施。
10 分钟 CLI 化任何网站，AI全网一键调用！
AI Agent上网难，传统爬虫易遇反爬问题。开源项目`bb-browser`通过模拟真实浏览器登录态操作，支持36个平台、103个命令，能绕过反爬，还可在浏览器内运行JS等，在GitHub获4.5k+ star。