Post #3890
127
Infinity لينک مقاله ۱۶۵ صفحه ای openai https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdfarXiv.org Navier-Stokes lost in translation: Why Lean verification of AI... Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this...