新闻中心 
-
05-03跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。费马大定理是一个非常复杂的数学...
-
04-28关于面向机器人操作的世界模型的一点思考近年来，世界模范的火热似乎可以在机器人操作中起到一些至关重要的作用。而对于具身智能来说，现阶段manipulation是最需要突破的点。特别是针对以下longh...
-
04-26Docker三分钟搞定LLama3开源大模型本地部署概述LLaMA-3（LargeLanguageModelMetaAI3）是由Meta公司开发的大型开源生成式人工智能模型。它在模型结构上与前一代LLaMA-2相...
-
04-18到2032年，汽车AI市场规模预计将达到311.1亿美元根据数据报告分析，汽车人工智能市场的估值将在2024年达到41.4亿美元，预计到2032年将达到311.1亿美元。该市场在2024年至2032年的复合年增长率为...
-
04-17构建生成式AI创新安全体系，亚马逊首席安全官教你三招亚马逊云科技在全球拥有数百万客户，每天追踪的事件达数十亿条，这让亚马逊云科技能检测到更多的安全威胁。2019年亚马逊云科技首席安全官SteveSchmidt正式...
-
04-15ReFT(表征微调)：比PeFT效果更好的新的大语言模型微调技术ReFT(RepresentationFinetuning)是一种突破性的方法，有望重新定义我们对大型语言模型进行微调的方式。斯坦福大学的研究人员最近（4月）在...
