AI-Descartes heeft door middel van machine learning en logisch redeneren Einstein, Kepler en Langmuir geëvenaard. Dit computermodel kan gaan zorgen voor een aanzienlijke vooruitgang in de zoektocht naar vergelijkingen die de natuurwetten beschrijven.