Can computers make discoveries?
Technically they have already done it, although it was some 250 years later than us humans.
Computers have certainly helped make lots of discoveries in areas ranging from mathematics and astronomy to biochemistry. But during the 1950s, some computer scientists believed that their machines might one day make discoveries by themselves. The prediction appeared to come to pass in 1982, when a logic-based program named the Automated Mathematician (AM), developed by Douglas Lenat at Stanford University, announced its belief that every even integer greater than two might be expressed as the sum of two primes.
Admittedly, humans had got there first: the German mathematician Christian Goldbach made the same claim in 1742, though neither he nor anyone else has ever been able to prove conclusively that all integers obey this rule.
Even so, ‘Goldbach’s Conjecture’ is widely believed to be the first (re-)discovery made by a computer without overt human intervention.
Subscribe to BBC Focus magazine for fascinating new Q&As every month and follow @sciencefocusQA on Twitter for your daily dose of fun science facts.
May Half Price Sale
- Save up to 52% when you subscribe to BBC Science Focus Magazine.
- Risk - free offer! Cancel at any time when you subscribe via Direct Debit.
- FREE UK delivery.
- Stay up to date with the latest developments in the worlds of science and technology.