| ▲ | levocardia 2 hours ago | |
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. | ||