logoalt Hacker News

levocardia • yesterday at 10:17 PM • 0 replies • view on HN

Oh and also:

>Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026

And presumably they are just missing the "mass gap" part of it.

Very clearly these were the results of taking big swings at all millenium prize problems.