搜索：自动定理证明

「自动定理证明」共找到 910 篇相关文章

同事群里催催催，龙虾自动回回回！刚发布的「飞书龙虾」把我解脱了

飞书在春季发布会升级类龙虾Agent——飞书aily，无需部署，能像助理一样工作。还升级了飞书妙搭Agent和多维表格Agent。实测显示，它们功能强大，能完成复杂任务，且安全可控，将AI转化为业务生产力。

2025年5月武伟创办流形空间，成立3个月获亿元融资。他认为VLA是过渡方案，世界模型是AGI新基建。当下技术分显式物理建模和隐空间交互两派，流形空间做具身世界模型，从预训练做起，还将领域模型产品化。

美国网络安全巨头CrowdStrike与Meta在Fal.Con 2025大会联合推出开源基准测试套件CyberSOCEval，旨在评估AI大语言模型在真实SOC环境下的网络安全能力，它源于Meta之前框架，开源供全球开发者使用。

耶鲁等团队发布首个多智能体系统CellForge，可自动化设计虚拟细胞模型。它能输出模型架构和代码，有跨模态能力，性能超多个领域代表性模型，可降低科研门槛，加速药物研发。

在电商和数字营销领域，现有框架呈现效果不佳。字节推出DreamActor - H1框架，基于扩散变换器，集成Seaweed - 7B模型，能生成高保真人机交互视频，有效果突破但也存在局限。

香港中文大学10页论文提出新算法RXTX，用于计算矩阵与其转置的乘积XXᵗ。该算法结合机器学习搜索和组合优化技术，能源可节省5%-10%，时间节省5%，对多领域有深远影响。

GitHub上5.8万星的`taste-skill`仓库，无模型代码，仅用文本规则让AI编程工具输出更有品味。揭示AI默认给平庸答案是概率采样结果，还给出反中位数三问及AI时代变贵的是判断力。

炎炎夏日汽车暴晒后升温快，现有贴膜技术难以散积热。韩美团队结合光学与纳米工程，设计出新型多层薄膜 STRC，能在高透光下为车厢零能耗散热，实车测试效果显著，还具环保和规模化应用潜力。

浙大、腾讯等机构研究者提出ReCreate框架，不依赖手工设计，让智能体自主构建。它从交互经验中找优化方向，有三重设计，实验显示能提升多领域任务通过率、降成本，未来或开启AI“自我制造”时代。