Тут ещё можно напомнить про решение геометрических задач: там не вёрстка распознавалась, но геометрические построения вкупе с текстами задач -- иначе ведь задачу не поймёшь. Вот: http://allenai.org/euclid/
Никаких разовых "прорывов", но из не-прорывов идёт ливневый дождик -- и эти ливневые потоки много чего из сегодняшней цивилизации смоют, в самое ближайшее время.