number-theory / Number Theory, Factorials

Erdős Problem #729

VibeMathed records this result as “Erdős Problem #729.” The registry entry and named primary source contain the available statement and scope.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryJan 10, 2026Significance 10/100Registry: lean verified

Erdős Problem #729

Prior state unknownproved

VibeMathed records this result as “Erdős Problem #729.” The registry entry and named primary source contain the available statement and scope.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

VibeMathed records this result as “Erdős Problem #729.” The registry entry and named primary source contain the available statement and scope.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

Erdős Problem #729 — Mathematical Frontier Network