задачи растут настолько быстро, что уже через несколько лет превзойдут человеческие. "Я больше не набираю аспирантов, потому что не хочу готовить их к профессии, которая может исчезнуть", — сказал он. Цимерман выделил четыре основных способа использования языковых моделей в своей работе: поиск литературы, доказательство длинных лемм, обобщение незнакомых областей и генерация сложных примеров. Он также участвовал в написании статьи о сценариях полного вымирания человечества из-за ИИ и намерен применить свои навыки решения проблем для предотвращения катастрофических рисков, связанных с ИИ. Цимерман известен доказательством гипотезы Андре-Оорта (André-Oort conjecture), а также работой по гипотезе Гриффитса (Griffiths conjecture) и созданием нового подхода o-minimal GAGA.