The Ramanujan Machine
Using algorithms to discover new mathematics
I want to be a mathematician and solve proofs and conjectures.