# Mathematics & Theoretical Computer Science

AI for mathematics and formal proof, landmark results in pure mathematics, and algorithmic and complexity breakthroughs.

## Topics

- [AI for Mathematics & Formal Proof](https://space-kitty.com/topics/ai-mathematics) (226 papers): Lean and Mathlib, autoformalization, neural theorem proving, olympiad-level systems and AI-assisted discovery in mathematics.
- [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results) (228 papers): Recent major theorems and their status: geometric Langlands, Kakeya in three dimensions, sphere packing, the unknotting-number additivity counterexample and more.
- [Algorithms & Complexity Breakthroughs](https://space-kitty.com/topics/algorithms-complexity) (192 papers): Almost-linear-time max flow, shortest paths beyond Dijkstra's sorting barrier, matrix multiplication exponent improvements and space-time simulation results.
---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.