New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...

A tool called AI-Newton can derive scientific laws from raw data, but is some way from developing human-like reasoning.