question to chase

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
• Algorithms

Sources

1. Wikipedia: Automated theorem proving