# Can a machine find new math?

**Can a machine find new mathematics?**

Computers check proofs and now help search for them. Whether they can come up with a new idea, and recognise that it matters, is a question the field is only starting to test.

Connects to:
- [Computation](https://mapideas.org/i/mat_computation)
- [Algorithms](https://mapideas.org/i/mat_algorithm)

Sources:
- [Wikipedia: Automated theorem proving](https://en.wikipedia.org/wiki/Automated_theorem_proving)

Source: https://mapideas.org/i/q_math_machine · open on the map: https://mapideas.org/#q_math_machine