 Haaretz | An Israeli professor's 'Eureqa' moment Haaretz In fact, in recent decades computer programs have been able to prove dozens of mathematical hypotheses (using techniques different from Eureqa ), and some of the proofs have not been corroborated by human mathematicians. |
