Wikipedia · research open · AMS 11
unsolvedsorry — nobody on it
Hall's conjecture
Conjecture · hall_conjecture
Original Hall's conjecture with exponent .
Formal statement · Lean 4.lean
theorem hall_conjecture : HallConjectureExp 2⁻¹ := by
sorryProof. sorry
Nobody has tried yet.