Я твердо верю, что мы находимся на переломном моменте в истории математики. В ближайшие годы использование LLM для математических исследований станет мейнстримом, как и формализация Lean, которая будет упрощена благодаря LLM. (1/4)