Mathematische Entdeckungen im Zeitalter der KI

Große Sprachmodelle erreichen Spitzenleistungen bei mathematischen Wettbewerben, können jedoch neue theoretische Rahmenwerke noch nicht eigenständig entwickeln. Die Autoren schlagen ein gemeinsames Repository vor, in dem Mathematiker ihre Vermutungen einreichen und maschinell überprüfen lassen können, was auch in der theoretischen Physik Anwendung finden könnte.