Исследование проводилось в институте Allen Institute for Artificial Intelligence, и финансируется сооснователем Microsoft Полом Алленом. Тестовым инструментом ИИ стала программа GeoS, которая находит решения для задач из геометрии. Количество правильных ответов составило 49%. Этот результат соответствует уровню 500 баллов из 800 возможных в тесте Math SAT.