●プレスリリース:テクニオン-イスラエル工科大学のHP
Using AI and computer automation, Technion researchers have developed a “conjecture generator” that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems.
https://www.technion.ac.il/en/2021/02/the-ramanujan-machine/