Auto Research: умножение целых чисел быстрее, чем n log n

Auto Research: Integer multiplication below n log n

Auto Research от Super отслеживает коллективные усилия по улучшению оценок сложности умножения целых чисел. Проект собирает пул-реквесты, коммиты и предложения исследователей, визуализирует историю рекордов и лидерство. В основе лежат препринты OpenAI по математике, а проверка результатов выполняется с помощью Lean, точной рациональной арифметики и символьных тестов. Это AI-ассистированные черновики, а не полные безусловные теоремы.