3 ms·
But is the proof accepted to be correct? That is what distinguishes this from being notable compared to any other AI slop proof.
by charcircuit 4mo ago
But is the proof accepted to be correct? That is what distinguishes this from being notable compared to any other AI slop proof.
- Jweb_Guru 4mo agoYeah it's a very very short proof that uses no mathematics developed within the last 30 years. Which doesn't necessarily make it wrong, but in the absence of mechanization in Lean or proper peer review I think this it is premature to post this. Notably the unit distance proof did not fall into this category.
- hellohello2 4mo agoI would assume/hope they had someone verify it before publishing
- perching_aix 4mo agoI'd guess that verdict (or its opposite) is to come within the next 24 hours.