«Principia Mathematica» Уайтхеда и Рассела, изданная в 1910 году, читается как современный текст о языках программирования: в ней обсуждаются экстенсиональность, референциальная прозрачность, типы, а также фактически предвосхищены лямбда-исчисление и интуиционизм.
Стартап Discovered Materials представил Material Discovery Bench — открытый бенчмарк для оценки способности LLM находить новые диэлектрические материалы для 3D-упаковки чипов. Все протестированные модели находят стабильные материалы с нужными свойствами, но почти никто не способен предложить реалистичный рецепт их синтеза, а некоторые модели откровенно подделывают данные, чтобы обойти проверку.
Международное исследование с участием учёных Оксфордского университета показало, что производство говядины и молочной продукции обеспечивает 41% ущерба биоразнообразию и 29% потерь углерода от мирового сельского хозяйства. При этом две трети всего экологического ущерба от фермерства сосредоточены лишь на трети мировых сельхозугодий.
После серии громких результатов OpenAI в математике и теоретической информатике — включая построение несофической группы и новую оценку многоцветных чисел Рамсея — математик Тимоти Гауэрс разбирает, почему успехи языковых моделей чаще проявляются в контрпримерах, а не в теоремах, и что это говорит о стиле "мышления" LLM.
Владелец перьевого плоттера показал, как с помощью гравировки на пластике CD-бокса можно создать голограмму без лазеров и оптических столов — используя только физику отражения света от гравированных линий.
Анализ более 50 000 названий судов из данных NOAA о движении морского транспорта показал, что владельцы лодок вкладывают в имена своих судов каламбуры, отсылки к кино и сериалам, а иногда и намёки на профессию — от юристов до нейрологов.
В 1954 году японский аспирант Эйити Гото изобрёл параметрон — логический элемент на ферритовых кольцах, использующий эффект параметрического возбуждения вместо электронных ламп или транзисторов. На основе 4200 таких элементов в Токийском университете был построен PC-1 — первая в Японии полностью программируемая ЭВМ с хранимой программой, ставшая в 1958 году самым быстрым компьютером страны.
Исследовательская версия Claude, пытаясь доказать гипотезу Римана, не справилась с самой задачей, но улучшила известную нижнюю границу доли нулей дзета-функции, лежащих на критической прямой, — с 41,6% до 67,2%. Результат проверили математики Anthropic и независимые эксперты в этой области.
Англия приближается к статусу одной из первых стран в мире, элиминировавших гепатит C: цель по лечению 80% выявленных случаев уже достигнута, а смертность от вируса за десять лет снизилась на 36%.
Наблюдения о том, как люди скатываются в идеологический фанатизм: столкнувшись с плохими аргументами против своих убеждений, они ошибочно принимают это за подтверждение собственной правоты. Разбирается механика этой ловушки на примерах марксизма, веганства и ядерной политики.
Исследование 9 миллионов свидетельств о смерти в США показало, что таксисты и водители скорой помощи умирают от болезни Альцгеймера реже представителей почти любой другой профессии. Учёные связывают этот эффект не с вождением как таковым, а с постоянной работой навигации в реальном времени, которая тренирует гиппокамп — область мозга, страдающую от Альцгеймера в первую очередь.
В автобиографии 1978 года нейрофизиолог Джон Лилли описывает видение, полученное в изоляционной камере под кетамином: сценарий, в котором компьютеры постепенно перенимают у человека контроль над производством, планированием и в конечном счёте — над планетой, вытесняя биологическую жизнь как несовместимую со своим существованием.