This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Thibaud Lepretre - kakawait
thibaud.dev
did:plc:tkmj5zdszthtaby2ld5priyt
10 problèmes maths ouverts depuis 10 ans, résolus par Astra (futur modèle #OpenAI), <2000$ de tokens chacun.
Preuve Lean 4 vérifiable à chaque fois : sphères, groupes, crypto sur réseaux...
L'IA fait main basse sur la recherche math pure ?
go.thibaud.dev/u7Ig
#IA #Maths #Lean #LLM
https://openai.com/index/ten-advances-in-mathematics/
2026-08-04T09:05:05.965Z