← Experiment
Active· AI · Math
AI-solved mathematics
Working alongside AI systems on open mathematical problems — and documenting what it looks like when a machine does the part that used to take a human a decade.
Most of what gets called "AI doing math" is pattern-matching on homework. This is the other thing: taking real open questions, pairing a human who knows what a good question looks like with a model that can grind through the space of proofs, and seeing what falls out.
Results and write-ups will land here as they're checked.