Post

Thomas🪴@lipsum.dev

Si des crackpots arrivent à prouver des trucs non triviaux en Lean avec de l'IA, je serais curieux de savoir quelle IA ils utilisent, car avec ChatGPT c'est loin de donner des trucs qui fonctionnent directement...