Самое обсуждаемое сегодня: OpenAI выложила 722 рукописи по открытым задачам в математике, включая квантовую информацию и матфизику.

OpenAI опубликовала на GitHub результаты, полученные ещё не выпущенной ИИ-моделью.

Работы сгруппированы в 372 семейства, часть из которых уже прошла формализацию в Lean, а часть неформализованных результатов может содержать ошибки, которые будут исправлять по мере обнаружения.

Реакции авторитетных людей разошлись: часть в шоке от содержания отдельных результатов, а другая часть считает сам способ публикации проблемой, так как проверять всё это будут месяцами.

Вот некоторые мнения людей, которые интересны:

Левент Алпёге, математик из Anthropic, называет это всё самым значимым моментом в истории математики, прогресс по великим задачам обычно измерялся десятилетиями и веками, а здесь, если немного расфокусировать взгляд и сравнить последние 10 лет с сегодняшним измерением этого прогресса, то ничего сопоставимого нет.

А Франсуа Шолле, ex-Google, начал обсуждать, а что если «рваная граница» возможностей ИИ объясняется тем, что математика и код - удобный полигон для RL с верифицируемой наградой, а остальные области просто упираются в дефицит человеческих данных?

На это Кристиан Сегеди, ex-Google Brain, ответил так: математическое рассуждение перенесётся на любую область, где нужно рассуждение и интуиция в сложном домене; данных где-то может не хватать, но модель будет заполнять пробелы с высокой эффективностью, как люди.