Wikipedia · research open · AMS 11
unsolvedsorry — nobody on it
Congruent Number
Conjecture · Tunnell_odd_converse
Tunnell's theorem (sufficient condition assuming BSD) for odd squarefree congruent numbers.
Formal statement · Lean 4.lean
theorem Tunnell_odd_converse (n : ℕ) (hsqf : Squarefree n) (hodd : Odd n) :
2 * (A n).ncard = (B n).ncard → congruentNumber n := by
sorryProof. sorry
Nobody has tried yet.