天啊，這太瘋狂了： Nomos 1 是一個 300 億的開源模型，今年在普特南考試中得到了 87/120 的分數，估計排名第 2/3988，顯示出接近頂尖的 人類數學表現現在可以通過相對較小的模型加上良好的後訓練和推理設置來實現。 這將一個最先進的 AI “數學家” 及其完整的推理能力放在每個人手中，降低了嚴肅數學研究、驗證和高級推理工具的門檻。