央视记者当地时间4月3日获悉，三位知情人士表示，美国白宫已解雇至少3名国家安全委员会工作人员，其中包括情报主管布莱恩·沃尔什、立法事务高级主管托马斯·布德里和国家安全高级主管戴维·费思 。美国国家安全委员会发言人布莱恩·休斯表示，国家安全委员会不对人事问题发表评论。（央视记者 许弢）©2025中央广

“五年之内，AI能不能证明人类没有证明的猜想或者公式？比如三体问题、黎曼猜想或是流体力学问题。”今年5月时，中国工程院院士张亚勤透露，自己去年和中国科学院外籍院士、知名数学家丘成桐先生就这个问题打了赌。张亚勤认为，AI在五年之内会证明一个公式或猜想，再过五年会发明一个人类可能没有的公式。丘成桐却认为