Source authenticated

Amdeberhan-Medina-Moll Arctangent Sum Conjecture

density-one set of n; the conjecture itself remains open

Exact FrontierDelta

proved→proved

Scope and record

Occurred: Oct 29, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Amdeberhan-Medina-Moll Arctangent Sum Conjecture · Arctangent sums

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

AxiomProver
model · ai model contributor · Axiom Math

Ken Ono
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Amdeberhan-Medina-Moll Arctangent Sum Conjecture

specialist registry · passed

A public Lean 4.28.0 development accompanies the paper, containing a formalization of the problem and a proof the author states is sorry-free and adds no axioms. We attempted to compile it and did not complete the build, so the axiom claim here rests on the author's statement rather than on our own check.

Source ↗

Amdeberhan-Medina-Moll Arctangent Sum Conjecture

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

AxiomProver Lean development

lean artifact · pending

lean-proof link supplied by the VibeMathed registry.

Source ↗

Artifacts and verifiers

AxiomProver Lean development

lean artifact · pending