dumaiLANTERN выявила четыре связи, которые авторы считают новыми
Препринт, ещё не рецензирован · ранние данные
Кратко
Система LANTERN менее чем за 8 часов проверила 50 миллионов пар из 10 тысяч часто используемых последовательностей в энциклопедии OEIS. Она нашла 62 связи без перекрёстных ссылок в OEIS; 13 сочли достойными внимания, а четыре — полностью новыми по результатам поиска в OEIS и научной литературе.
Зачем это знать?
Интерес здесь — в автоматическом поиске связей среди огромного числа пар последовательностей; вывод пока относится только к OEIS и не означает, что ИИ умеет самостоятельно выбирать важные математические задачи.
Разбор
LANTERN не просила языковую модель сразу придумывать математические гипотезы. Сначала она использовала внутренние представления готовой модели — числовой способ описать, что модель «видит» в каждой последовательности, — и обучила отдельный классификатор ранжировать пары, где может скрываться связь. Это решает практическую проблему: перебрать огромное число сочетаний можно, но вручную понять, какие из них заслуживают внимания, почти невозможно.
Дальше система работала поэтапно. Для отобранных пар она формулировала гипотезу о связи, проверяла её исполняемым кодом, а затем проводила аналитическую проверку — то есть убеждалась, что результат не получен из-за случайного совпадения или ошибки в вычислениях. Такой конвейер важен: языковая модель могла бы предложить красивую, но неверную закономерность, а здесь её предположение пропускали через несколько независимых фильтров.
Из 13 связей, которые авторы оставили для содержательного разбора, девять они назвали информативными или заслуживающими внимания. Это дополнительный результат, которого не видно из одной только проверки на отсутствие перекрёстной ссылки: система не просто нашла формально новые пары, а отсеяла часть слабых наблюдений. При этом «новизна» означает отсутствие совпадения в OEIS и в целенаправленно просмотренной литературе на момент поиска, а не окончательное доказательство того, что связь никогда раньше не была известна.
Ключевые цифры
Можно ли доверять
Это препринт с arXiv, а не статья, прошедшая рецензирование, поэтому выводы ещё не проверили независимые специалисты. Кроме того, систему испытывали на математических последовательностях OEIS и поиске по литературе, а не на широком наборе реальных научных задач; оценка «новизны» зависит от полноты этого поиска.
- Работа является препринтом и ещё не прошла независимую экспертную проверку.
- Новизна четырёх связей оценивалась по OEIS и целевому поиску литературы, поэтому она не гарантирована.
- Результаты относятся к математическим последовательностям OEIS, а не к доказательству общей способности языковых моделей самостоятельно выбирать важные математические задачи.
Пересказано ИИ по научной статье. Это научпоп, а не совет врача. Как это устроено