形式化数学是指使用严格的数学语言和逻辑系统来描述和推理数学概念、定理和证明的过程。著名数学家陶哲轩就认为，形式化数学和AI的结合将使数学研究更加高效、协作和规模化。他乐观地预测，未来数学家可以在AI的辅助下，一次性证明数百或数千条定理。

英国品牌评估机构“品牌金融” (Brand Finance)发布《2024欧洲品牌价值500强》榜单 (Europe 500 2024)，德国电信、梅赛德斯奔驰、壳牌、安联集团、保时捷、宝马、大众、路易威登、安永和香奈儿名列前十名。