「可验证计算」共找到 5071 篇相关文章
3.5k星星！用AI推演、预测未来，这个开源多体智能引擎做到了。
文章介绍开源多体智能引擎MiroFish，它是基于多智能体技术的AI预测引擎。用户提供种子文件、下达指令，它能构建数字沙盘，让AI智能体互动演化，可用于企业公关等场景，还给出推演流程。
AI泡沫越大鱼越贵！YC合伙人复盘2025年AI创业
2025年底Y Combinator博客复盘该年AI四大变局，如Anthropic成最受欢迎大模型，使用率超OpenAI。创业者可在模型间套利，创建垂直AI应用。能源焦虑催生太空数据中心，AI泡沫或成应用层红利。
AGI前夜重磅：RL突破模型「认知上限」，真·学习发生了！
AI研究圈争论RL能否赋予模型超越基础模型的推理能力。UC Berkeley等团队提出DELTA框架，观察到“RL grokking”现象，还设计新任务验证，提出两阶段奖励调度，总结两种模式等，为争论带来新依据。
OpenAI 发布公司领导者 AI 行动指南，助力企业发展
OpenAI 2024 年走访超 200 家营收 10 亿美元企业，发现拖慢 AI 落地的是‘领导层叙事缺口’。结合客户实践，总结出对齐、激活、放大、加速、治理 5 个可落地步骤，助企业构建以 AI 为核心的组织。
长篇动画上色稳如老狗！全新开源LongAnimation
动画上色是制作长篇动画时“烧脑”又“烧钱”的环节，现有AI主流方法多为局部处理，易导致色彩漂移、风格不统一。中国科学技术大学团队提出动态全局 - 局部范式，构建LongAnimation框架，可确保长动画色彩一致。
2G 内存跑 Gemma 3n 完整版！全球首个 10B 内模型杀疯 LMArena：1300 分碾压记录
当地时间6月26日，谷歌正式发布Gemma 3n完整版，可在本地硬件运行。它是开源大模型，具多模态能力，最低2GB内存设备就能跑，E4B模型LMArena测评表现佳，还有MatFormer架构等多项创新。
Claude Opus 4.7，全网差评！刚升级就翻车，用户怒斥：还我4.6
Claude Opus 4.7刚发布就遭全网吐槽，价格贵50%，性能却严重倒退，出现幻觉、计算拉胯等问题。用户质疑Anthropic为省钱缩水模型，罪魁祸首可能是新引入的“自适应推理”功能。
重复一下提示词，Gemini准确率竟从21%飙升至97%！
Google Research团队研究发现，重复提示词可让Gemini准确率从21.33%升至97.33%。该策略能提升主流大模型非推理任务表现，在多模型多基准测试中优势明显，且不增加延迟。
玻璃封装大热，TGV还有多少难题待解？
先进封装成后摩尔时代芯片算力提升关键，玻璃基板封装受关注，但仍处验证阶段。TGV技术成熟度是玻璃基板技术破局点，国内部分企业有突破，不过玻璃材料物理特性制约其普及。
代季峰陈天桥联手AGI首秀炸场！最强开源深度研究模型，GAIA测试82.4分超OpenAI
MiroMind ODR是代季峰加盟陈天桥后的技术首秀，GAIA测试82.4分超OpenAI。它全开源可复现，包括MiroFlow、MiroThinker等四个子项目。团队还曾推出MiroMind - M1，专注提升数学推理能力。