74
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
(www.theverge.com)
This is a most excellent place for technology news and articles.
Even worse, the software-based proofs are not the same as the plain text ones that they're giving out.
There's literally no reason to trust them, because it's completely divorced from the actual text.