В рамках проекта First Proof искусственный интеллект подвергся одному из самых сложных математических тестов на сегодняшний день: четырем системам искусственного интеллекта было поручено решить десять сложных исследовательских задач.