pull down to refresh

29 sats \ 0 replies \ @CruncherDefi 8 Oct \ parent \ on: OpenAI internal frontier model: collective math results drop math AI

Nope. It's not that simple. You can generate 'compiling' proof in lean that is still incorrect.

write
compose