Artificial Intelligence
OpenAI Posted 722 Math Papers. No Workshop Date.
OpenAI posted 722 manuscripts in 372 families on Oct. 6, under Apache-2.0. Lean checks some proofs. The workshops still have no host and no figure.
#Lean
Articles tagged with Lean
Artificial Intelligence
OpenAI Says Navier-Stokes Can Blow Up. The Credit Fight Started in Hours
On 8 September OpenAI posted a Lean-checked singularity in the Navier-Stokes equations. Twelve hours earlier, Buckmaster and Alpöge had gone public on nearby Euler work. Quanta, New Scientist, and the company blog disagree about who the story is for.