2 papers
math.HO2026
A correspondence problem for mathematical proof
Simon DeDeo, Eamon Duede
Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an un…
cs.CY2025
Why Slop Matters
Cody Kommers, Eamon Duede, Julia Gordon +6
AI-generated "slop" is often seen as digital pollution. We argue that this dismissal of the topic risks missing important aspects of AI Slop that deserve rigorous study. AI Slop se…