AI-Assisted Results
- Borsuk's Conjecture
- Degree-Diameter Problem
- Digit Sum
- Diophantine Equation--4th Powers
- Elliptic Curve Rank
- Generalized Vanishing Conjecture
- Graph Likelihood
- Hadamard Matrix
- Heyting Algebra
- Kuperberg's Six-Cylinder Conjecture
- Mason's Conjecture on Flats
- Maxwell Conjecture
- Multiplicative Complexity
- Petersen Coloring Conjecture
- Stable Commutator Length
- Topos
- White's Conjecture