Robuta

https://www.scitechnol.com/peer-review/proof-and-disproof-of-birch-and-swinnertondyer-conjecture-RMXA.pdf Proof and Disproof of Birch and Swinnerton-Dyer Conjecture swinnerton dyer proof birch conjecture https://whataifound.org/finding/2026-09-03-koethe-conjecture-matrix-form Lean disproof of Krempa's matrix form of the Koethe conjecture: graded Formally verified |... Sep 3, 2026 - Lean disproof of Krempa's matrix form of the Koethe conjecture is graded formally verified on whataifound.org, with the AI's role graded autonomous. A... s matrix koethe conjecture formally verified lean disproof https://portal.mardi4nfdi.de/wiki/Disproof_of_a_conjecture_on_the_edge_Mostar_index Disproof of a conjecture on the edge Mostar index - MaRDI portal on the edge of a disproof conjecture mostar