и при нажатии специальной кнопки произносить по цифрам длинные числа (чтобы если переписывать на бумагу не ошибится в числе)
Во-первых, эта задача не требует никакого ИИ. Во-вторых, проще группировать цифры числа по три, разделяя пробелами, тогда ошибиться при переписывании намного труднее, потому что глазу есть за что зацепиться.
а чтобы он также мог доказывать различные теоремы
Насколько различные?
-- Пт мар 10, 2017 17:32:58 --Кстати, знаете, насколько большая команда и как долго разрабатывала Mathematica? Ну пару первых версий или прототип Вольфрам, может, и один написал, но где первые версии и где текущие. Если стоит задача именно превзойти, спуститесь на землю.