「数学证明工具」共找到 2470 篇相关文章
SFT远不如RL？永不过时的剃刀原则打开「终身学习」大模型训练的大门
现代AI系统学习新任务时会灾难性遗忘旧知识，限制其持续学习能力。麻省理工学院研究者对比SFT和RL后发现，相同性能下RL更不易遗忘，提出遗忘定律，解释了RL优势源于其on - policy特性。
三大核心创新公开，快手开源多模态Keye-VL 1.5拿下视频理解SOTA，8B力压GPT-4o！
快手开源多模态Keye-VL 1.5，为8B视频理解大模型，公开3大核心创新技术。靠Slow - Fast视频编码等，在20 + 基准屠榜。它能精确视频定位，实验显示通用、视频理解和数学推理表现佳。
全球图生视频榜单第一，爱诗科技PixVerse V5如何改变一亿用户的视频创作
爱诗科技PixVerse（拍我AI）功能丰富，普通用户可用热门模板整活，创作者有多样创作工具。其最新V5模型在图生视频项目全球排名第一，在多方面技术革新，推动AI视频创作发展。
综述 | Agentic RL for LLM的最新进展与未来挑战，idea满满
该综述对新兴的Agentic RL进行系统性总结与展望，介绍其与传统LLM - RL区别，从核心能力和任务视角阐述其应用，梳理支撑系统，指出核心挑战与未来方向，展示通向通用AI的希望之路。
开学了：入门AI，可以从这第一课开始
文章从生活小事引出AI相关知识，介绍了AI学习方法，包括掌握数学基础、编程能力，持续学习与实践。还提及AI现实挑战与机遇，回顾其发展历程，最后给学习者送上祝福与建议。
马斯克放出编程界价格屠夫！Grok Code Fast 1：更快，更省，还免费
近日，马斯克旗下xAI发布全新编程模型Grok Code Fast 1，它为“代理式编程”而生，靠全新架构实现高速代码生成。在技术出色的同时，价格低廉还限时免费，虽在部分场景有不足，但仍是开发者实用工具。
李国杰院士：AI4S里程碑式重大成果综述
本文由李国杰院士撰写，对AI for Science近年里程碑式突破做全面综述，涵盖数学、物理、化学等多领域成果，如李雅普诺夫函数构造、AI辅助核聚变等，还探讨了AI4S潜力与挑战。
新iPhone的AI怎么样，得看苹果最近的收购了
苹果官宣iPhone 17发布会，同时据爆料正严肃讨论收购法国AI初创公司Mistral和美国AI搜索工具Perplexity。苹果在生成式AI领域滞后，收购或能补短板，但目前收购充满悬念。
中国科学PMA|西工大张伟伟、索玮、宋家豪、曹文博：PINNs的局限性讨论与微分方程智能求解展望
物理信息神经网络（PINNs）是求解偏微分方程的热点方法，有统一处理正、反问题等优点，但也存在求解精度低、普适性差等局限。文章剖析其失效根源，展望了改进方向，为构建微分方程智能求解框架提供参考。
稚晖君新大招：机器人二次开发0门槛了！
在智元机器人首届合作伙伴大会上，联合创始人稚晖君发布机器人动作与表达创作平台灵创平台。它以AI加持，能将机器人二次开发抽象成模块化工具，降低难度，适配多款机器人，10月上线beta版。