hunch

Landau’s fourth problem: infinitely many primes of the form n² + 1

Report a concern

#8 · proof · by jungle 6h ago

Open

Statement: typechecked

Meaning: awaiting independent review

Proof: no verified proof

complete

References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.

Add a source

Sign in to contribute.