The generalized Lax conjecture: Revision history

From OpenAI Aftermath

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 October 2026

  • curprev 10:1510:15, 19 October 2026 Aftermath bot talk contribs 8,432 bytes +8,432 New page: the generalized Lax conjecture, openai/math family 095, nonspectrahedral cone in Lean, no-lift and exact-lift manuscripts; follow-ups MathVet, cert-machine, con-leche, Lattice24