An AI system has found the missing solution to an almost completed, revolutionary proof by Kurt Gödel, which he was unable to reconstruct due to health problems, and the results will be presented soon in Vienna. #Gödel #Mathematik #KünstlicheIntelligenz (translated)








