Gro-Tsen
@gro_tsen
I wrote this 🔽 as a joke (and I'll probably have more to say later), but this 377-versus-372 discrepancy is actually representative of how incredibly rushed, sloppy and badly presented this package of results by OpenAI is, despite the company's enormous resources. •1/9
Gro-Tsen@gro_tsen · Oct 7Counting to 377 also seems to be beyond the abilities of the super duper advanced AI models used to slop-prove more results than they can keep track of: github.com/openai/math/bl…
Open quoted post →
12 141