New Nikodym set constructions over finite fields
AI use, as the source states it
“While the final proofs are completely human generated, the initial ideas of the construction were inspired by output from the tools AlphaEvolve and DeepThink.”
Model: AlphaEvolve, DeepThink, as stated
Named here, or see a mistake? Write to privacy@papex.org.