Science ❯ Mathematics ❯ Number Theory ❯ Algebraic Number Theory
Reviewed by leading mathematicians with a reported Lean formalization, the finding raises urgent questions about transparency and peer review.