Is this truly the beginning of the AGI era?

Running agents and prompting excessively to produce 'slopcode' to solve mathematical problems and generate a solution.

If this is what anyone calls 'slop' then slop has no meaning.

I'm all for it on the use case of solving mathematical breakthroughs!

except thats not what happened is it? https://cims.nyu.edu/%7Etristanb/statement.pdf