3 ms·
> "While mathematicians have used machine learning to assist in the analysis of complex data sets, this is the first time we have used computers to help us form
by JadeNB 5y ago
> "While mathematicians have used machine learning to assist in the analysis of complex data sets, this is the first time we have used computers to help us formulate conjectures or suggest possible lines of attack for unproven ideas in mathematics."
This is not true. Doron Zeilberger has long used Shalosh Ekhad to formulate conjectures: https://www.wired.com/2013/03/computers-and-math https://www.wired.com/2013/03/computers-and-math .
- gjm11 5y agoPedantic note: Shalosh B. Ekhad. The middle initial is important, because the name derives from the fact that the original Shalosh B. Ekhad was an AT&T 3B1 computer. ("Shalosh" is the HEbrew name for the number 3, and "ekhad" is the Hebrew name for the number 1.)
- JadeNB 5y agoThank you! I did not realise that.