This repository shares recent mathematical work from Apex Math, Apex's AI model for mathematics.
These papers present promising results from our ongoing work with Apex Math. We are sharing them openly so mathematicians and researchers can independently review the proofs and help strengthen the work before formal publication.
| Manuscript | Domain | Verification status |
|---|---|---|
| gordan-noether-quaternary-quintics.pdf | Algebraic Geometry | Open for independent verification |
| kakimizu.pdf | Knot Theory & Low-Dimensional Topology | Open for independent verification |
| kari-moutot-excess-69.pdf | Symbolic Dynamics & Tiling Theory | Open for independent verification |
| markoff-hurwitz-n15-quads.pdf | Hyperbolic Geometry & Topology | Open for independent verification |
| souto猜想.pdf | Geometric Topology | Open for independent verification |
The contents and status of this repository may change as verification progresses.
Choose a paper, check its main results and proofs, and share what you find. Confirming a proof, finding a mistake or counterexample, and suggesting a fix are all valuable contributions.
Please open a GitHub issue and tell us:
- which paper and result you checked;
- whether you think it is verified, has a gap, or is unclear; and
- a short explanation of your conclusion.
You may also include your name and affiliation if you would like to be listed as a contributor.