OEIS·oeis:317940

Nonnegativity of the Dirichlet square root of A046644

problem formal record: solved F1 unaudited

No independent check recorded yet. A formal artifact, declaration or published object is attached, but no rebuild of it is recorded here.

Fidelity F1: A formal artifact exists, but nothing records that its statement says what the claim says.

AI activity

No AI contribution recorded against this statement.

F1 unaudited. A formal artifact exists, but nothing records that its statement says what the claim says.

Follow this problem

An email when it has a new claim, check, bounty or discussion. You confirm once and can stop with one click.

Discussion and bounties for this problem load here.

Something wrong or missing here? Request a correction or add a claim, with its sources.

Formal statements · 1

FormalConjectures/OEIS/317940.lean
6 declarations, 1 unproved goals·API, research solved, test

Cited proofs · 1

Also known as · 2

https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectures/OEIS/317940.lean
FormalConjectures/OEIS/317940.lean

qed.bot, “Nonnegativity of the Dirichlet square root of A046644”, https://qed.bot/s/oeis-317940, as of 30 Sep 2026.

This record as plain text, with each claim, its grades and its sources.