「可验证智能」共找到 7238 篇相关文章
提速79%！上交大新方法优化企业级AI流程调度 | IEEE ICDCS’ 25
上海交通大学朱怡飞教授团队联合江行智能提出调度框架LLMSched，解决复合LLM应用任务运行时长和结构不确定问题。该框架重构DAG模型，用贝叶斯网络和熵减机制优化调度，实验显示最多降79%平均任务完成时间。
o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码
刚被曝加入Meta的前OpenAI核心研究员Hyung Won Chung，分享对AI未来的思考。他认为AI是最强大杠杆，能成个人能力倍增器，智能体开启无需许可的复合杠杆，还能推动人类科学进步。
12项世界第一！国产基模一战封神，11亿参数逆袭70亿大魔王
蚂蚁灵波的LingBot-Depth 2.0空间感知模型，在测试中拿下12个世界第一，解决了玻璃、细小物体等行业难题。它还与奥比中光达成合作落地商业应用。其核心预训练基模LingBot-Vision被开源，有望加速具身智能生态发展。
手握1000项专利的“药物狂人”，为何在AI制药时代选择逆行？
手握约1000项专利的再生元联合创始人乔治·扬科普洛斯，在AI制药成热点时选择逆行，坚持内部研发、人类遗传学和基础生物学。他批评跟风，强调深入理解疾病机制，认为AI可增效但不能决定方向。
速戳！2026中国科幻大会北京未来数字空间创新试验区产业引领论坛亮点抢先看
2026第十届中国科幻大会将在北京首钢园召开，“北京未来数字空间创新试验区产业引领论坛”3月29日亮相。论坛有四大亮点，包括“街区式”创新平台亮相、“三重智能”协同勾勒技术路线等，还汇聚多方资源构建产业创新生态。
李诞的虾，把搞 AI 的都看沉默了
飞书「玩虾大会」直播中，李诞现场教呼兰在飞书上养虾。诞虾能理解意图建边界、实事求是判断合作、犀利评价呼兰虾，还能依场景调整表达。李诞养虾好因重表达和思考，AI可照见灵魂。
1.9K Star 微软开源TTS王炸！90分钟超长语音合成，4人对话自然切换！
在文本转语音（TTS）领域，生成长篇、多说话人的高质量音频一直是技术挑战。微软最新开源的VibeVoice TTS模型，可一次生成90分钟连续语音，支持4个不同说话人，还具备高效处理长序列等亮点特性。
RSI离我们有多远？这家中国团队给出了第一梯队的工程解
目前行业探讨大模型的RSI时，常陷入思维定势。EvoMap团队没有盲目跟风，而是提出极具现实意义的工程新路径，构建自进化智能体，让经验在网络流转，还以硬核数据证明其体系有效性。
想玩Loop Engineering，可以先从这6个Hook玩法开始。
Loop Engineering正火，入手可从Hook玩法开始。Hook是循环触发器，在Agent里很常见。文中整理了6个Claude Code的Hook玩法，如权限弹窗提醒、开机日程播报等，还提醒接入工作流要注意稳定性和边界。
这家意大利公司想让机械臂飞上太空，在轨道上打印航天器
Caracol是意大利工业级增材制造公司，以机器人手臂为支撑，配合自研挤出头与软件生产工业部件。其产品能大幅缩短生产周期、降低成本，2025年融资、收购、扩产，还参与太空项目，探索具身智能。