Daniel Litt
@littmath
One of the three withdrawn manuscripts was “Algebraicity of Kuga–Satake Correspondences for K3 Surfaces” which I had started trying to understand; it’s a question I quite like. The ideas seemed to be exciting, though of course this is no longer clear.
In cases like this with a
In cases like this with a
Dan Roberts@danintheory · Oct 8We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.
github.com/openai/math/bl…
Open quoted post →github.com/openai/math/bl…
8 374