A new artificially intelligent "Ramanujan Machine" can generate hundreds of new mathematical conjectures, which might lead to new math proofs and theorems.
