The cardinality of a set containing the pairwise sums of four positive integers
Wouter van Doorn, John Erlbacher
AI use, as the source states it
“The proof we present was originally conceived of by AI, with the final result proved and formalized by Aristotle, the formal reasoning agent developed by Harmonic.”
Model: Aristotle, as stated
Named here, or see a mistake? Write to privacy@papex.org.