通用汽车天价挖角自动驾驶人才 安德森薪酬方案曝光
根据一份最新披露的监管文件，通用汽车为去年招募的新产品负责人斯特林·安德森（Sterling Anderson）开出了总额高达4000万美元的薪酬包。安德森此前担任自动驾驶卡车企业Aurora的联合创始人兼首席产品官，通用汽车去年将他从该公司挖角而来。这位曾任职于特斯拉(392.5, -8.12, -2.03%)的高管如今肩负起通用汽车的多项核心业务，涵盖新型电动及燃油汽车的研发工作以及软件系统的开发。为实现成功挖角，通用汽车专门设计了一套全新的薪酬体系，公司方面表示“认为这是必要且恰当的安排，以便将他从
中国AI首次攻克数学未解难题并完成形式化证明
近日，北京大学北京国际数学研究中心传来消息，董彬教授率领的AI4Math研究团队依托自主研发的人工智能框架，成功破解了交换代数领域一项悬而未决的猜想——安德森猜想，并在Lean编程语言与定理证明环境中完成了近19000行的形式化论证工作。此举标志着我国首次利用人工智能框架解决交换代数开放难题并完成大规模形式化验证，为数学与人工智能的深度融合开拓了新路径。 该猜想由美国学者安德森在2014年首次提出，其核心研究对象是“准完备局部环”的某些特性。此类环主要用于代数化描述几何体在局部区域（例如某个点的邻域）的无