兹奖关键词检索结果

UCLA
2026年4月15日 20:52

加州大学洛杉矶分校 (UCLA) 团队获得 DARPA 价值 500 万美元的合同，开发人工智能以促进数学进步

UCLA team awarded $5 million DARPA contract to develop AI for math advancement

ALPHA 团队包括菲尔兹奖得主陶哲轩 (Terence Tao)，其目标是改变数学发现的形成、形式化和验证方式。