Что такое чудо, на бытовом уровне? Обычно когда чего-то очень хочется - а желаемого нет.
Тогда нужно загадать желаемое, совершить ритуалы, получить и расписаться.
Когда желаемое - компьютерная программа, главный ритуал это подождать.
И вот мы все, гнусные, ленивые и мечтательные, дождались!
Компания MacПикс выкатила OCR для математических формул, преобразующую изображение в LaTeX, причем очень неплохо.
https://mathpix.com