In the mid-eighties Siemion Fajtlowicz wrote a computer program to invent conjectures. These conjectures quickly began to inspire papers by other mathematicians, including the noted mathematician Paul Erdos.
Recent versions of this program are used for learning mathematics and for making conjectures about three forms of carbon molecules, including Buckyballs.
(Click here for more information) |