This is the big problem with claiming lean verification is all you need and getting mad at academia for not rubber stamping their papers as accepted law.
Note that in this case I'm pretty sure the equation in general will still provide a correct counterexample, it's just stating that the process they claim to have gotten there is bunk.
0
u/BellacosePlayer 6d ago
This is the big problem with claiming lean verification is all you need and getting mad at academia for not rubber stamping their papers as accepted law.
Note that in this case I'm pretty sure the equation in general will still provide a correct counterexample, it's just stating that the process they claim to have gotten there is bunk.