prinz
@deredleritt3r
>To the best of my understanding, people are still trying to figure out how the forced Navier–Stokes example actually works.
I have separately heard the same, and the implications are worth thinking about. If a model can produce math proofs that are so complex that humans
I have separately heard the same, and the implications are worth thinking about. If a model can produce math proofs that are so complex that humans
Francesco Maggi@Frances01896069 · Oct 5So, it seems OpenAI is about to release something like 400 AI-generated proofs on a public server.
To the best of my understanding, people are still trying to figure out how the forced Navier–Stokes example actually works. I know of several experts who are studying it, and it is
Open quoted post →To the best of my understanding, people are still trying to figure out how the forced Navier–Stokes example actually works. I know of several experts who are studying it, and it is
47 354