Science ❯ Mathematics
Proofs Fermat's Last Theorem Bergelson-Richter Theorem Quantitative Generalizations Kakeya Conjecture Properties Density Theorems Problem Solving Schauder Theorem Logarithmic Comparison Theorem
Independent review and clearer attribution are needed to confirm an AI’s claimed Lean 4 formalization and to separate model output from years of human library work.
