Riemann zeta function zero-free region

OpenAI veröffentlicht 722 mathematische Studien, die von einem internen KI-Modell erzeugt wurden

OpenAI hat auf GitHub eine Sammlung mit 722 mathematischen Studien veröffentlicht, die von einem internen, nicht öffentlich verfügbaren Modell erzeugt wurden und Ergebnisse aus 372 Problemfamilien umfasst. Das Unternehmen betont, dass sich die Arbeiten in unterschiedlichen Prüfphasen befinden und nur ein Teil von ihnen mit Lean verifiziert wurde.