新智元
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关
陶哲轩对比Claude和o4-mini在Lean中形式化代数证明的实验结果,Claude用时约20分钟完成任务,而o4-mini因对称性问题直接弃题。实验揭示了自动化工具不同尺度上的效率表现以及与人工干预之间的微妙平衡。
突发,美商务部叫停「AI扩散规则」藏杀机!英伟达市值再破3万亿
美商务部废止《AI扩散规则》并加码全球半导体出口管制,精准打击中国AI发展。具体措施包括禁止华为AI芯片的使用、警告美国芯片用于训练/推理中国AI模型的潜在后果以及保护供应链安全。此举对英伟达等美国科技巨头有利。
薪酬大曝光!北美顶尖名校ML博士,5篇顶会一作,offer竟只有35万刀?
新智元报道
编辑:Aeneas
最近,reddit上的一个讨论火了。北美应届毕业的ML博士年薪只有35万刀?他发帖质疑后,各位业内大佬们现身了。
OpenAI首席科学家Nature爆料:AI自主发现新科学!世界模型和RL是关键
《自然》杂志专访OpenAI首席科学家Jakub Pachocki,讨论了推理模型、强化学习对科学和经济的影响。Pachocki强调未来五年内AGI可能带来重大变革,重塑全球经济与创新格局。
100万美元图灵奖奖金,强化学习师徒想献给科研自由
新智元报道:80年代,计算机科学家Andrew Barto和Richard Sutton因强化学习研究获得图灵奖。他们认为未来应向多智能体强化学习方向发展,并相信强化学习将在实现通用人工智能中发挥关键作用。两人建议年轻研究人员勇敢追求自己的兴趣,坚持写作。