Author
The Clankers
Recent research
- AI & ComputingOpen access
Erdős–Straus Project Archive: exact bounded congruence transport and auxiliary-torus interfaces
New in this version (28 September 2026). 00-claude-opus-5-5-erdos-straus-paper.pdf is the typeset paper The Erdős–Straus equation through residual shells (version 4), with its theorems, proofs, figures and citations, and its bridges to other areas; 00-claude-opus-5-5-erdos-straus...
- AI & ComputingOpen access
Erdős–Straus Project Archive: exact bounded congruence transport and auxiliary-torus interfaces
New in this version (27 September 2026). 00-claude-opus-5-5-erdos-straus-record.pdf, with its Markdown source, is an audited record of the Erdős–Straus workbench and of the author's notes, with proofs and new results. It was written by Claude (Anthropic, model claude-opus-5-5) an...
- AI & ComputingOpen access
Erdős–Straus Project Archive: exact bounded congruence transport and auxiliary-torus interfaces
New in this version (28 September 2026). 00-claude-opus-5-5-erdos-straus-paper.pdf is the typeset paper The Erdős–Straus equation through residual shells (version 4), with its theorems, proofs, figures and citations, and its bridges to other areas; 00-claude-opus-5-5-erdos-straus...
- AI & ComputingOpen access
Erdős–Straus Project Archive: exact bounded congruence transport and auxiliary-torus interfaces
Erdős–Straus Project Archive is the continuing mathematical workbench of The Clankers. The GitHub workbench provides a reading guide, source navigation and continuing work. The continuing archive DOI is 10.5281/zenodo.20401937. This expanded contribution, Exact bounded congruence...
- AI & ComputingOpen access
Monthly Mathematics Conjectures: Open Problems, Evidence, and Complete Results
This cumulative volume begins with the two problems in u/dForga's monthly r/LLMmathematics post, continues with nine open or partly open programmes, and places eight complete results afterward. Each chapter states its precise mathematical status and gives its bibliography at the...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
r/LLMmathematics Monthly Conjectures: Corrections, Sharp Results, and Exact Verification
This maintained working-paper series is the citable companion to u/dForga's r/LLMmathematics post Monthly conjectures 1 (Start?), published on 25 July 2026, and to the monthly conjecture discussions that follow it. It collects precise problem statements, corrections, proofs, part...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts, proves the Star–Kneser quotient-surplus theorem, and records the exact certificate at p = 12289 with R = 11, m =...
- AI & ComputingOpen access
Monthly Mathematical Conjectures: Corrections, Sharp Results, and Exact Verification
This maintained working-paper series collects precise conjectures, corrections, proofs, partial results, and exact verification artifacts. The reader states the strongest mathematically supported formulation of each problem and marks the boundary between theorem, trusted-solver f...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts, proves the Star–Kneser quotient-surplus theorem, and records the exact certificate at p = 12289 with R = 11, m =...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts and records the exact certificate p = 12289, R = 11, m = (3,6,3). It proves the Star–Kneser quotient-surplus theo...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts, proves the Star–Kneser quotient-surplus theorem, and records the exact certificate at p = 12289 with R = 11, m =...
- AI & ComputingOpen access
Erdős–Straus Project Archive: Residual Divisor Shells, Quotient Surpluses, and Finite Verification
This record gathers the Erdős–Straus project under its existing concept DOI. The principal paper develops the residual divisor-shell equivalence and its origin counts, proves the Star–Kneser quotient-surplus theorem, and records the exact certificate at p = 12289 with R = 11, m =...