なんてこった、それはすごいですね: Nomos 1は30Bのオープンソースモデルで、今年のPutnamで87/120のスコアを獲得し、推定#2/3988に相当するほどの評価で、ほぼトップに位置しています 人間の数学的パフォーマンスは、比較的小さなモデルと良好なトレーニング後および推論のセットアップによって可能になりました。 これにより、最先端のAI「数学者」とその完全な推論能力が全員の手に渡り、真剣な数学研究、検証、高度な推論ツールへの障壁が下がります。