Not all, see the cycle double cover conjecture proof: https://news.ycombinator.com/item?id=48863490 https://news.ycombinator.com/item?id=48863490 But yeah, Ter

Not all, see the cycle double cover conjecture proof: https://news.ycombinator.com/item?id=48863490 https://news.ycombinator.com/item?id=48863490 But yeah, Terry Tao considered this exact situation in advance and is on record that this exact outcome (rushing to priority before an explanation) would be the worst possible result. https://mathstodon.xyz/@tao/117207849921390904 https://mathstodon.xyz/@tao/117207849921390904 We will have to see whether any other millennium problems fall. I guess that in a year the scope of AI math will be much clearer, for now it's still a bunch of incidents of unclear pattern.