Comment by TeeWEE
1 day ago
This feels like a huge AI slop dump. Who validated these results. Why are they not mentioned. Human understanding is key here.
In my experience AI (frontier models) sometimes does weird stuff that needs human review. Not that’s incorrect but sometimes overly complex language or weird use of language.
+1. And there's no guarantee that OpenAi haven't stolen unpublished research from multiple professors and PhD students.
They have formal proofs included, that’s the point.
Unless humans have gone through the proofs line by line and verified them, this all remains unproven.
If you're hoping for these results to be fake, you're going to have a bad time. A really bad time.
1 reply →
Yeah but how am I meant to verify that the proof is proving what it says it is?
Verify the statement is correct + it doesn't introduce any new axioms + doesn't use "sorry" etc.
Order of magnitudes easier than verifying the whole thing by hand and gives a much better guarantee of correctness
2 replies →
Note true for all of them.
Who made the formal proofs and who checked them?