2025年9月，一款名为Gauss的AI工具引发关注。它仅用三周时间完成了数学家陶哲轩和Alex Kontorovich耗时18个月尚未完全解决的挑战——在Lean中形式化强素数定理（PNT）。Gauss由AI公司Math开发，是首个可协助顶级数学家进行自动形式化的Agent，能将人类数学内容转换为机器可验证的形式语言。其生成了约25000行Lean代码，包含上千个定理，大幅缩短了传统需多年完成的工作。陶哲轩对此表示，AI工具虽然高效，但可能忽略项目中的隐含目标，因此项目组织者需更明确地阐述所有目标。Math公司创始人Christian Szegedy曾因提出Batch Normalization技术获ICML时间检验奖，推动了深度学习发展。网友对Gauss的技术细节充满期待，但官方尚未发布具体技术报告。

11月21日，三星公司在韩国举办的开发者大会上发布了第二代多模态AI模型Samsung Gauss2。该模型能够同时处理文本、代码和图像等多种数据类型，显著提升性能和效率。Gauss2提供了“精简版”、“均衡版”和“至尊版”三种规格，分别适用于资源受限设备、平衡性能需求以及高性能低成本场景。该模型支持多种语言和编程语言，采用三星自主研发的稳定训练技术和定制化分词器，确保模型的效率和准确性。与现有开源模型相比，Gauss2在多语言文本生成和代码编写方面表现更优，处理速度提升1.5到3倍。目前，Gauss2已在三星内部广泛应用，例如“code.i”编码助手升级至Gauss2版本后，为DX部门和海外研究院的软件开发者提供了更高效的代码辅助服务，月度使用量增长了四倍。