Advancing mathematics by guiding human intuition with AI.

The practice of mathematics involves discovering patterns and using these to formulate and prove conjectures, resulting in theorems. Since the 1960s, mathematicians have used computers to assist in the discovery of patterns and formulation of conjectures, most famously in the Birch and Swinnerton-Dyer conjecture, a Millennium Prize Problem. Here we provide examples of new fundamental results in pure mathematics that have been discovered with the assistance of machine learning-demonstrating a method by which machine learning can aid mathematicians in discovering new conjectures and theorems.

Fast- or slow-inactivated state preference of Na+ channel inhibitors: a simulation and experimental study.

Sodium channels are one of the most intensively studied drug targets. Sodium channel inhibitors (e.g.