OpenAI research collection · 1 manuscript · Source checked 2026-10-19
Proves Bloch's conjecture: for every smooth connected projective complex surface S with p_g(S)=0, the Albanese map CH_0(S)^0\toAlb(S)(\mathbb C) on integral degree-zero zero-cycles is an isomorphism. This combines the new p_g=q=0 theorem with the classical theorem of Bloch, Kas, and Lieberman.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove Bloch's conjecture for smooth connected projective complex surfaces with p_g=0: the Albanese homomorphism on integral degree-zero zero-cycles is an isomorphism.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗