Intern-S2 помогла доказать трёхмерную гипотезу Ги в динамике

Мультимодальная модель Intern-S2 от Shanghai AI Lab помогла математикам доказать трёхмерный случай гипотезы Ги, сформулированной в 1995 году. Основные результаты проверили в прувере Lean: около 550 000 строк кода и до 100 агентов параллельно. Статья Codimension-one holomorphic Anosov diffeomorphisms опубликована на arXiv 29 сентября.

• Intern-S2 выдала отчёт на 400 страниц в первом раунде рассуждений
• За семь раундов граф задач вырос с 15 до 389 узлов, вывод — около 1000 страниц
• Формализация в Lean заняла около пяти дней и 550 000 строк кода
• Статья на arXiv от 29 сентября, обновлена 13 октября, автор — Jiesong Zhang