OpenAI hat 372 recht bedeutende Vermutungen aus allen Teilgebieten der Mathematik bewiesen und vorgestern veröffentlicht. Das wird natürlich an vielen Stellen im Netz diskutiert, angeblich sollen auch ...