曹操出行任命图灵奖得主约瑟夫·希发基思为AI创新中心首席科学顾问。这位形式化验证与可信自主系统领域的顶尖学者将主导企业AI战略与核心技术架构建设,此举被视为曹操出行推进“AI原生”转型的关键一步。
高德纳惊叹AI一小时解决其钻研数周的数学难题。这位计算机科学泰斗在短文中透露,Claude Opus 4.6仅用一小时就破解了他可以追溯到30年前的数学问题,展现了人工智能在逻辑推理领域的惊人潜力。
图灵奖得主Yann LeCun与Meta在AI发展方向上出现分歧。作为Meta首席AI科学家,他近期公开质疑大语言模型是“死胡同”,主张转向“世界模型”研究。其离职传闻引发关注,他曾领导基础AI研究部门FAIR,被视为公司核心智囊。
Meta首席AI科学家Yann LeCun计划离职创业,专注世界模型研究。这位图灵奖得主、纽约大学教授旨在开发能理解环境、模拟因果关系的AI系统。当前谷歌DeepMind等机构也在推进同类研究,预示该领域竞争加剧。