Comment by gpm

12 hours ago

See also his previous thread from before the result was published (and before he knew it was coming [1]) on how a to this problem seemed increasingly likely to be solved by AI in a way that caused us to miss the insights that would traditionally be associated with solving it: https://mathstodon.xyz/@tao/117207849921390904