[gpt5]

It's a common problem in math. The famous proof for Fermat's last theorem took 2 years to validate.

[auggierose]

That's different though. Understanding the spec of Fermat's last theorem is simple. Here, you already need to know some mathematics just to understand the spec.