新數學方法論
None of the four attack any single existing conjecture: CCM, CSM, and AMRR are cross-case theories about how to organize and verify mathematical research itself, each at a different level and not interchangeable with one another; RCIG is an independent formal system that does not presuppose a connection to any known conjecture. This page is purely a routing hub — the actual content for each case lives on its own page. Two of the four (AMRR, RCIG) are not yet translated; their cards link to the Chinese page and are marked accordingly.
The next new-methodology case joins this page; a theory's own application cases or follow-on branches (such as CCM's Hilbert's Third Problem series, or RCIG's Phase II) join that theory's own page instead — none of this rewrites this page, only adds cards.