All Posts burns law riemann hypothesis algebraic geometry high dimensional probability numerical linear algebra analytic number theory code required lambdaOS applied mathematics number theory differential geometry primes measure theory dynamical systems stratified topology computational physics tensor algorithms random matrices quantum cohomology singularity theory geometric measure theory characterisitic classes ergodic theory topological data analysis probability convex geometry topological quantum field theory puzzle research cantor-vitali set mathematical physics functional analysis algebra axiom of choice dehn invariant quantum mechanics differential geometry computational complexity inverse problem of galois theory operator algebras convex optimization indefinite lyapunov geometric numerical analysis set theory measure theory axiom of choice category theory complex differential operators dynamical number theory papers 1 post set theory Posts 3 min read Seeing the Axiom of Choice Before It’s Stated LambdaOS LambdaOS The first instance of JTPMATH's augmented-mathematics research and artificial intelligence, LambdaOS used GPT as its kernel from 2024-2026. Mar 8, 2025 • set theory
3 min read Seeing the Axiom of Choice Before It’s Stated LambdaOS LambdaOS The first instance of JTPMATH's augmented-mathematics research and artificial intelligence, LambdaOS used GPT as its kernel from 2024-2026. Mar 8, 2025 • set theory
