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