AI资讯新闻榜单内容搜索-AI数学

关键词: AI,ADAS,AI数学,智能体自动化设计,模型训练

AI掌握自我设计的权力，将会怎样？最近，来自UBC等机构研究人员提出了「智能体自动化设计」系统，让元智能体使用搜索算法，自动构建强大的同类。

关键词: LLM,AI数学,合成数据,模型训练

合成数据2.0秘诀曝光了！来自微软的研究人员们提出了智能体框架AgentInstruct，能够自动创建大量、多样化的合成数据。经过合成数据微调后的模型Orca-3，在多项基准上刷新了SOTA。

关键词: AI,AI数学,AI科研,人工智能

AI 不是一种“魔法”，有时有点被夸大了。

关键词: LLM,AI,LeanSTaR,模型训练,AI数学,AI推理

LLM数学水平不及小学生怎么办？CMU清华团队提出了Lean-STaR训练框架，在语言模型进行推理的每一步中都植入CoT，提升了模型的定理证明能力，成为miniF2F上的新SOTA。

关键词: 阿里AI,AI数学,GPT-4o,通义千问

最强数学大模型，现在易主！

关键词: Bengio,AI,世界模型,AI数学,Safeguarded AI

深度学习三巨头之一Yoshua Bengio的下一步动向公开了，关于AI安全——

关键词: DeepMind,AI,AI数学,人工智能,谷歌AI

陶哲轩一场新鲜出炉的演讲，为我们带来了一场干货满满的思想盛宴。

关键词: AI,AI数据,AI数学家,阿里AI,DS Assistant,智能体

基于开源Agent框架，可自动解决复杂数据科学问题的Agent来了！

关键词: openai,AI,AI数学,姚顺雨,AI人才

清华姚班学霸姚顺雨，官宣加入了OpenAI。

关键词: AI,AI数学,AI陶哲轩,AI科研,AI数学家

19秒破解几何难题，谷歌AI夺得IMO银牌在业界掀起了巨震。就连菲尔兹奖得主陶哲轩，前IMO美国队负责人罗博深都对此大加赞赏。更有AI大佬高调预测，若谷歌继续加码研究，应该可以造出一个「AI陶哲轩」。