Nomos 1

Nous Research的Nomos 1是一款开源AI模型，擅长数学推理，在难度极高的Putnam考试中取得了优异成绩，展示出强大的符号化与形式化推理能力。