Gårding's Theorem for Posynomials
AI use, as the source states it
“The result was developed in an AI-assisted interaction initiated and checked by the author; Codex also assisted with assembling and typesetting the manuscript.”
Model: Codex, as stated
Named here, or see a mistake? Write to privacy@papex.org.