IBM создала ИИ AI - Descartes, использующего символьную регрессию и автоматизированные инструменты аргументации, способный делать научные открытия.

AI - Descartes "Открыл" третий закон Кеплера, вывел уравнение адсорбции ленгмюра и предложил хорошее приближение формулы замедления времени при высоких скоростях в рамках сто Эйнштейна
.