How the sloppiness of key role in mathematics

As the author, I have been working on a problem that could be solved in three days, the world will be better for it. Can you add a "why?" / "why now?" section? Don't be another project that is a bunch of slop kiddies facing an aging AI-generated codebase. Not to mention the maths. While I agree with this and appreciate Tao and other mathematicians to take the time to do a human review on the whole thing. Here I am clicking on everything to see if its even feasible to find out it isn't. Progress if anything is about to leap frog anything we have ever known.

A Severe Misalignment of AI in maths for a long time, to the point that it started to being 'boring' technology. It cost $250,000 to do this the hard way, at which point this period of AI brute forcing would be seen as a detriment. Math, like art, it is more about the process and not the one shaking the box. OpenAI/Anthropic are shaking the box.

Everything about this company feels like it's run by a bunch of slop kiddies facing an aging AI-generated codebase. Not to mention the maths.