quasi-Riemannsche Vermutung und Penrose-Ungleichung bewiesen, Baum-Connes-Vermutung widerlegt – Mathlog
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 schon Fehler in den veröffentlichten Teilresultaten zur Hodge-Vermutung gefunden worden sein. Ich habe dazu nichts Neues zu sagen, deshalb verlinke ich einfach das informative Video vom DorFuchs: Wenn…