Ramanujan Machine: AI to discover new mathematical conjectures

fermatslibrary.com