Wikipedia · research open · AMS 11
unsolvedsorry — nobody on it
Agoh-Giuga conjecture
Conjecture · agoh_giuga
The **Agoh-Giuga Conjecture**, Agoh's formulation
Formal statement · Lean 4.lean
theorem agoh_giuga : AgohGiugaCongr := by
sorryProof. sorry
Nobody has tried yet.