If solved
AI Research Mathematician
AI systems develop new theories on their own, with machine-checked proofs, and change how mathematics is done.
Open in the interactive tree →Beyond solving individual problems, such a system would choose its own questions, build theory over many steps and deliver results in a form that is both verified and explained. Humans would shift toward judging which questions matter and why.
What it brings
- Mathematical progress at a pace no human community can match
- Fully verified proofs as the default
- New mathematical tools for physics, biology and engineering