alt Hacker NewsI have not been following recent developments, but does anyone know what the general sentiment among mathematicians is about these proofs: does it look like they hold up?
I know that at least two of the problems, the Unique Games Conjecture and Barnette's Conjecture, were very significant. It's probably too early to tell, but is there a feeling that these are now solved, or not?
The two most signficant number theory ones are considered solved: Quasi-Riemann and no Landau-Siegal zeros. Quanta has an article (https://www.quantamagazine.org/ai-proved-the-quasi-riemann-h...) reporting that experts agree that the Quasi-Riemann Hypothesis has been proven. The "no Landau-Siegal zeros" proof already has several manuscripts giving expositions of the proof.