About
I use this website to publish AI-generated mathematical proofs. The manuscripts below were developed with OpenAI’s ChatGPT and Codex. I take responsibility for their mathematical arguments and final text.
Research papers
A website PDF posting time records its public GitHub commit, not when its proof was written or discovered.
Operations research
-
A proof of Ross's conjecture for two-site moving-target search
We prove that the best choice of where to search for a target moving between two sites switches at a probability threshold, settling Ross's conjecture.
Complex analysis
-
A cofinal bound for maximum-modulus points of entire functions
For every fixed nonzero non-monomial entire function, we prove a fixed finite bound on the number of maximum-modulus points at arbitrarily large radii, answering the all-radii question negatively.
PDF v2TeX v2PDF posted · GitHub record
Lean 4 proofVerification report
PDF v1TeX sourcePDF posted · GitHub record
Spectral graph theory
-
A sharp higher-order Cheeger inequality
We show how graph eigenvalues guarantee exactly k disjoint, sparsely connected groups of vertices, with an essentially optimal bound.
Algebraic K-theory and commutative algebra
-
Quillen’s local parameter conjecture in dimension four
We prove that inverting any regular parameter in a four-dimensional regular local ring of mixed characteristic gives a ring over which every finitely generated projective module is free.
PDF v1PDF posted · GitHub record