1,262 followers
RT @S_Ordibehesht: @QuantaMagazine It should be mentioned that 'automating mathematics' took root with the work of the Dutch mathematician…
RT @S_Ordibehesht: @QuantaMagazine It should be mentioned that 'automating mathematics' took root with the work of the Dutch mathematician…
@QuantaMagazine It should be mentioned that 'automating mathematics' took root with the work of the Dutch mathematician Nicolaas de Bruijn already in the late 1960s and early 1970s,* not long after the creation of the field of AI in 1956. ___ *https://t.c