Renaissance Philanthropy und XTX Markets haben den Start des AI for Math Fund angekündigt, ein neues Förderprogramm, das Projekte unterstützt, die KI und maschinelles Lernen auf die Mathematik anwenden, mit einem Schwerpunkt auf automatisiertes Beweisen von Theoremen, mit einer anfänglichen Finanzierung von 9,2 Millionen US-Dollar. Die Projekt-Förderkategorien und Beispiele für Projekte in diesen Kategorien sind: […]