天哪，这太疯狂了： Nomos 1 是一个300亿参数的开源模型，今年在普特南竞赛中得分87/120，估计排名第2/3988，这表明接近顶尖的人类数学表现现在可以通过相对较小的模型加上良好的后训练和推理设置实现。 这将一个最先进的AI“数学家”及其完整的推理能力带入每个人的手中，降低了进行严肃数学研究、验证和高级推理工具的门槛。