{"topics":[{"slug":"ai-mathematics","name":"AI for Mathematics & Formal Proof","domain":"math-cs","description":"Lean and Mathlib, autoformalization, neural theorem proving, olympiad-level systems and AI-assisted discovery in mathematics.","keywords":["theorem proving","Lean","autoformalization","formal mathematics","mathematical reasoning","olympiad"],"paper_count":244,"latest_published":"2026-10-29","url":"https://space-kitty.com/topics/ai-mathematics","api_url":"https://space-kitty.com/api/v1/topics/ai-mathematics","dossier":null},{"slug":"landmark-math-results","name":"Landmark Results in Pure Mathematics","domain":"math-cs","description":"Recent major theorems and their status: geometric Langlands, Kakeya in three dimensions, sphere packing, the unknotting-number additivity counterexample and more.","keywords":["geometric Langlands","Kakeya conjecture","sphere packing","proof of the conjecture","unknotting number","resolution of"],"paper_count":237,"latest_published":"2026-10-29","url":"https://space-kitty.com/topics/landmark-math-results","api_url":"https://space-kitty.com/api/v1/topics/landmark-math-results","dossier":null},{"slug":"algorithms-complexity","name":"Algorithms & Complexity Breakthroughs","domain":"math-cs","description":"Almost-linear-time max flow, shortest paths beyond Dijkstra's sorting barrier, matrix multiplication exponent improvements and space-time simulation results.","keywords":["almost-linear time","maximum flow","shortest paths","matrix multiplication","sorting barrier","time-space"],"paper_count":198,"latest_published":"2026-10-29","url":"https://space-kitty.com/topics/algorithms-complexity","api_url":"https://space-kitty.com/api/v1/topics/algorithms-complexity","dossier":null}]}