Mathematical conjecture generation using machine intelligence

Understand

Conjectures have historically played an important role in the development of pure mathematics.

• We propose a systematic approach to finding abstract patterns in mathematical data, in order to generate conjectures about mathematical inequalities, using machine intelligence.
• We focus on strict inequalities of type f < g and associate them with a vector space.
• By geometerising this space, which we refer to as a conjecture space, we prove that this space is isomorphic to a Banach manifold.