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