ТРИ ДНЯ
Три дня понадобилось искусственному интеллекту в руках специалиста, чтобы доказать теорему, которую я описал в Фейсбуке. Частичный результате был получен в моей диссертации по теории колец тридцать лет назад и с тех пор я этим вопросом не занимался. А теперь "64 агента 5.6 Sol Ultra трудились над ней 15 часов", используя промпт для OpenAI, которым была недавно доказана Cycle Double Cover Conjecture. Потом ИИ в течение нескольких часов формализовал доказательство, чтобы его могла проверить программа Lean.
Так что теперь известно, что если кольцо косых лорановских рядов над кольцом R регулярно по фон Нейману, то кольцо коэффициентов полупростое артиново.
Конечно, ИИ трудился не под моим руководством - я недостаточно силен для этого. ИИ работал под управлением Федора Сандомирского, одного из самых интересных экономистов-теоретиков, который теперь работает в Принстоне. Он читает лекции по использованию ИИ в нашей работе: https://fedors.info/tutorials/2026aiminiseries/slides.pdf. Только этим слайдам уже несколько недель, так что они, возможно, устарели.
Понятно, что мы в интересное время живём. Я не знаю про тех математиков, которые двигают горизонты математики, но, конечно, во всей "прикладной математике" (большая часть современной экономической теории соответствует, технически, прикладной математике) ИИ решает - и всегда будет решать - задачи намного быстрее и лучше, чем самые сильные учёные. Это, конечно, не делает проблемы реального мира сильно проще, но как-то радикально поменяет то, как наука с этими проблемами разбирается.
Три дня понадобилось искусственному интеллекту в руках специалиста, чтобы доказать теорему, которую я описал в Фейсбуке. Частичный результате был получен в моей диссертации по теории колец тридцать лет назад и с тех пор я этим вопросом не занимался. А теперь "64 агента 5.6 Sol Ultra трудились над ней 15 часов", используя промпт для OpenAI, которым была недавно доказана Cycle Double Cover Conjecture. Потом ИИ в течение нескольких часов формализовал доказательство, чтобы его могла проверить программа Lean.
Так что теперь известно, что если кольцо косых лорановских рядов над кольцом R регулярно по фон Нейману, то кольцо коэффициентов полупростое артиново.
Конечно, ИИ трудился не под моим руководством - я недостаточно силен для этого. ИИ работал под управлением Федора Сандомирского, одного из самых интересных экономистов-теоретиков, который теперь работает в Принстоне. Он читает лекции по использованию ИИ в нашей работе: https://fedors.info/tutorials/2026aiminiseries/slides.pdf. Только этим слайдам уже несколько недель, так что они, возможно, устарели.
Понятно, что мы в интересное время живём. Я не знаю про тех математиков, которые двигают горизонты математики, но, конечно, во всей "прикладной математике" (большая часть современной экономической теории соответствует, технически, прикладной математике) ИИ решает - и всегда будет решать - задачи намного быстрее и лучше, чем самые сильные учёные. Это, конечно, не делает проблемы реального мира сильно проще, но как-то радикально поменяет то, как наука с этими проблемами разбирается.