NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge have publicly posted three preprints establishing ...
OpenAI announced a Navier-Stokes proof on a press call. The mathematicians it is disputing with published Lean formalisations ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results