🦋 Claude нашёл путь к опровержению 3SUM и APSP по старым заметкам
Вирджиния Василевска Уильямс сообщила, что Claude смог построить доказательство, опровергающее гипотезы о сложности задач 3SUM и APSP, когда получил подсказку из исследовательских заметок 2023 года. Без этих заметок две испытанные модели не справились — каждая за три попытки. Сообщение появилось через неделю после публикации работы Уильямс и Джоша Алмана на arXiv, сайте научных препринтов — статей, которые могут ещё не пройти журнальное рецензирование. Первоначальное доказательство им передала Anthropic: его создала внутренняя модель компании...