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