ルネサンス・フィランソロピーとXTXマーケッツは、AI for Math Fundを立ち上げたことを発表した。この新しいグラント・プログラムは、数学にAIとマシン・ラーニングを適用するプロジェクトをサポートし、自動定理証明に焦点を当てている。初期の資金は920万ドルである。プロジェクトの資金カテゴリーと、各カテゴリーのプロジェクトの例は、[…]