Strange. In the article Tao mentions several mathematicians who had their problem solved by AI before they could finish their year long work.

Where they working on "slop"?