Sharper Zarankiewicz and Diagonal Bipartite Ramsey Bounds
AI use, as the source states it
“The proof was found by GPT-6 Astra, and the method will probably have further applications.”
Model: GPT-6 Astra, as stated
Named here, or see a mistake? Write to privacy@papex.org.