Proof checkpoints and AI mathematics paper list

Eight decomposed problems

Open the checkpoint reader

• Unit distance — H1–H5
• Berenstein rigidity — H1–H5
• Amphicheiral knot polynomials — H1–H6
• Periodic BBM — H1–H4
• Scalar Crouzeix inequality — H1–H5
• Groups with isomorphic factors — H1–H6
• Jamming exponent identity — H1–H5
• Quartic SYK spectral edge — H1–H6

42 checkpoint statements and 133 evaluation transitions. Each checkpoint states its endpoint independently. An H1→H4 task supplies H1 as the given result and H4 as the target; H2 and H3 are not supplied. H0 tasks grant no checkpoint result.

Unit-distance canonical statements · Other seven canonical collections

Standalone Markdown and protocols · Task packages · Direct API exports · Example: unit-distance H1→H4

AI mathematics paper list

Open the searchable list · Full plain-text list · JSON

1,207 identified paper/writeup entries. The subset of 826 entries with reported model authorship or AI proof contributions excludes known withdrawn and superseded items. Other candidates and roles are labelled. Reported attribution does not certify proof correctness. The earlier estimate of about 2,500 papers is not a fully identified list.

Reported model/proof contribution subset