Математик: ИИ делает меня продуктивнее лишь на 50%, хотя решает за минуты то, на что у меня уходили часы

Scattered thoughts on how doing math feels these days

Автор блога Dynomight делится личным опытом работы математиком в эпоху ИИ. По его оценке, нейросети повышают его продуктивность примерно на 50%, хотя отдельные задачи, занимавшие часы, теперь решаются за минуты. Причина — ИИ силён в технических шагах, но плохо строит абстракции и пишет связные доказательства, порождая «спагетти-код» из лемм. Автор описывает, как совместная работа с ИИ позволяет упрощать доказательства и получать более сильные результаты, и размышляет, насколько человек ещё нужен в математике.