Erdős Problem #728: Factorial Divisibility
VibeMathed recorded: Erdős Problem #728: Factorial Divisibility. Consult the linked registry entry for the original report and scope.
Exact FrontierDelta
Scope and record
Occurred: Jan 6, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: Erdős Problem #728: Factorial Divisibility · Erdős #728 (Factorials) · Problem 728
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Boris Alexeev
human · human collaborator
Kevin Barreto
human · human collaborator
Liam Price
human · human collaborator
Nat Sothanaphan
human · human collaborator
Aristotle (Harmonic) + GPT-5.2 Pro
model · ai model contributor · Harmonic / OpenAI
Lineage and corrections
This event attributed to Liam Price
This event attributed to Nat Sothanaphan
This event attributed to Kevin Barreto
This event attributed to Boris Alexeev
This event attributed to Aristotle (Harmonic) + GPT-5.2 Pro
Writeup of Aristotle's autonomous Lean proof (Barreto) evidence for this event
Erdős Problem #728: Factorial Divisibility parent of this event
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
VibeMathed record: Erdős Problem #728: Factorial Divisibility evidence for this event
Erdős Problem #728: Factorial Divisibility evidence for this event
Act on this frontier