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