Artemo
На самом деле, в какой-то степени Юдковский и математик тоже.
https://intelligence.org/all-publications/ - вот перечень работ MIRI, если смотреть на те, что обозначены HR (Highly Reliable Agent Design), то там есть работы, которые в значительной степени математические, и у некоторых в соавторах стоит Юдковский.

Что касается вопросов, насколько он участвует в разработке ИИ, если он не пишет код, то мне вспоминается недавно переведённая на русский полушуточная аналогия его же авторства: https://lesswrong.ru/755