Comment Comment by levocardia Oh and also:>Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026And 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. parent levocardia 5 days ago
>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.