ly on Nostr: Basicamente toda matemática que os LLMs deles criaram, formalmente verificado em ...

Basicamente toda matemática que os LLMs deles criaram, formalmente verificado em Lean e em linguagem natural.