OpenAI veröffentlicht neue Mathematik-Ergebnisse seines internen Frontier-Modells

Sharing AI Progress in Mathematics

OpenAI hat eine Reihe neuer mathematischer Resultate veröffentlicht, die von einem internen Frontier-Modell erzeugt wurden. Die Ergebnisse sind in einem GitHub-Repository verfügbar, inklusive Lean-Formalisierungen, zehn Zusammenfassungen der Modellüberlegungen und Schätzungen des Rechenaufwands. Der durchschnittliche Beweis erforderte etwa drei Stunden ChatGPT Pro Thinking. Die Veröffentlichung erfolgt nach Empfehlungen der Advisory Group on Mathematics and Artificial Intelligence am Institute for Advanced Study. OpenAI plant zudem Workshops und Konferenzen, um die KI-generierten Resultate besser zu verstehen.