Тема

Наука

60 материалов

Lean проверил все 43,1 миллиона строк классификации конечных простых групп и нашёл один пробел (cfsg.axiommath.ai)

Каждый логический шаг классификации, то есть теоремы о том, что любая конечная простая группа — циклическая простого порядка, знакопеременная, типа Ли или одна из 26 спорадических групп, — проверен ядром Lean. Формализация содержит 2,05 миллиона деклараций и 100 вех, а команда опубликовала альтернативный путь для затронутого случая.

Математики в треде удивились, что пробелов оказалось так мало.

Не просто заголовок — разбор дискуссии

Главные треды HN: факты из обсуждений, разные стороны, голоса инсайдеров. Email, Telegram или RSS.

Классификатор 2015 года обошёл GPT-6 Astra и Claude Fable 5.1 в распознавании рака кожи (lynchlab.net)

В тесте было сто поражений, которые надо направить к врачу, и сто безопасных, которые можно отпускать домой. Каждое подтверждено биопсией. На тридцати меланомах запас небольшой: старая сеть угадала 13, чат-боты — 8 и 11.

Самый острый вопрос в треде: не подогнали ли сеть именно под этот бенчмарк.

Медалист Филдса перестал проверять домашку на правильность, и HN спорил о том, кто её вообще проверял (dailycal.org)

Борчердс сказал Daily Californian, что система «не очень хорошая», но пока альтернативы у него нет. Первым ходом треда было выяснить, что вообще значила проверка домашних заданий в большом исследовательском университете.

Вторым ходом стал вопрос, кто платит проверяющим.

Победитель конкурса микроскопии Nikon лишился титула, когда учёные увидели реснички, которые появлялись и исчезали (techspot.com)

Фотограф говорит, что использовал ИИ только при постобработке, чтобы лучше показать детали на чёрно-белых снимках. Nikon решил, что он нарушил правила, и отдал первое место видео с круглым червём Нгуен Нам Ната.

В треде спорили о том, где проходит граница между «обработанным с помощью ИИ» и «сгенерированным».

Эксперт поручился за прорыв ИИ в умножении, не прочитав доказательство (web.maths.unsw.edu.au)

Заявленный выигрыш — множитель (log n)^ε при ε = 2^-182, который в треде высмеяли как микроскопический. Харви называет его «чудовищно огромным»: это первая трещина в границе, которую он считал жёстким физическим пределом.

Ответ геймдев-разработчика на HN: «Это не похоже на здоровое место для нас».

🚀Tech ★ 301 · 💬 281 · 5 дня назад · #ИИ#наука#Claude Fable#David Harvey#Joris van der Hoeven+1

ООН объявила 1,5°C утраченными и требует сократить выбросы на 69% к 2040 (unric.org)

Нынешние обещания стран снизят выбросы на 5–8% к 2030 году, а ЮНЕП считает нужными 18%. Чтобы вернуться ниже 1,5°C, также придётся извлечь из воздуха около 320 гигатонн CO2 к 2100 году, примерно в восемь раз больше того, что мир выбросил в 2024-м.

Специалист по климатическим технологиям с 12 годами в отрасли ответил призывом к выдержке: физика не меняется, и задача тоже.

Почему пожарные лестницы на фасадах Нью-Йорка простояли век до запрета (practical.engineering)

Practical Engineering проводит путь пожарной лестницы от экономической уловки до запрета для новых построек в 1968 году. Между ними — пожар на фабрике Triangle Shirtwaist в 1911 году, где наружная лестница прогнулась под толпой.

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

Блог Теренса Тао опубликовал эссе об ИИ и математике, которое написал не Тао (terrytao.wordpress.com)

Эссе Маджи утверждает, что ИИ может открыть золотой век математики или тёмный век, и считает, что «реальность, вероятно, объединит эти сценарии». Его опасения: доказательства верны, но нечитаемы, математики охраняют свои идеи, а несколько компаний контролируют инструменты.

Читатели спорили в основном о самом Тао: один назвал переход от апологета ИИ к тревоге «О нет, МаТеМаТиКа УмИрАеТ».

Солнечная энергетика в 2025 году обогнала атомную в мире: 2 779 ТВт·ч против 2 703 (pv-magazine.com)

Доля атомной энергетики в мировом электричестве упала до 8,8 % — минимума примерно за четыре с половиной десятилетия, с пика 17,5 % в 1996 году. Отчёт о состоянии мировой ядерной отрасли также насчитывает 73 реактора в стройке — самое большое число с 1987 года.

Комментаторы в основном спорили, правильное ли это сравнение: коэффициент использования мощности, стоимость строительства или портфель из обоих.

Исследование семаглутида: эпигенетическое старение замедлилось на 9 %, но авторы говорят, что это не делает людей моложе (universityofcalifornia.edu)

Через 32 недели в группе семаглутида темп старения по часам DunedinPACE был на 9 % ниже, замедлились и PCGrimAge, который отслеживает риск смертности. Собственная оговорка старшего автора однозначна: «Мы не утверждаем, что семаглутид обращает старение вспять».

На HN генетик сказал, что эпигенетические часы могут просто отражать то, что не влияет на продолжительность здоровой жизни.

Блогер сделал курицу прозрачной с помощью красителя из Doritos, а вся физика сводится к показателю преломления (chillphysicsenjoyer.substack.com)

Автор замачивал 5-миллиметровые ломтики куриной грудки Tesco в тартразине концентрацией около 0,19 М, заметно ниже 0,62 М в оригинале Science 2024. Через 12 часов ломтики стали слегка прозрачными, а сетка 5 мм просвечивала сквозь 2-миллиметровый срез.

🌍Other ★ 257 · 💬 67 · 18 октября · #наука#Science#Tartrazine

Claude выяснил, откуда взялись загадочные seed-значения кривых NIST: генератор 1990-х годов (anthropic.com)

Нулевые старшие биты в нескольких опубликованных seed-значениях указали на генератор: такие значения дает lrand48, который возвращает только 31 бит из 48-битного состояния. Claude перебрал скрытые биты для бинарных кривых и применил редукцию решётки (LLL) для простых. Инициализация простых кривых датируется периодом с мая 1997 по апрель 1998 года.

В треде на HN криптографию почти не обсуждали: спорили о том, кому позволено заниматься подобным анализом.

🚀Tech ★ 692 · 💬 274 · 17 октября · #ИИ#наука#безопасность#Anthropic#Claude#ECDSA+1

Каждый слой трансформера — это память, и расчёт ёмкости объясняет, почему выигрывает внимание (alexwang.ai)

Линейный слой удерживает примерно столько воспоминаний, какова размерность его ключа. Совместное обучение удваивает это число, ReLU-MLP достигает около 2d, а softmax-внимание с резкостью sqrt(d) при d=64 хранит около 1,2 миллиона.

🚀Tech ★ 153 · 💬 41 · 17 октября · #ИИ#наука#Alex Wang#Transformer

Ветераны Lean: спешка с математическими библиотеками, написанными ИИ, хуже их отсутствия (xenaproject.wordpress.com)

Пост проекта Xena называет формализацию Великой теоремы Ферма на 13 миллионов строк, сгенерированную Claude, и попытку с упаковкой сфер вкладом с малой долговременной ценностью, тогда как 950 участников Mathlib и 65 рецензентов поддерживают планку качества.

Медалист Филдса сказал, что плакал, когда OpenAI выпустила свои математические доказательства (derekthompson.org)

OpenAI опубликовала сотни результатов по теории чисел, теоретической информатике и логике, многие по задачам, которые десятилетиями не поддавались лучшим математикам. Эссе Дерека Томпсона говорит, что математики плачут, потому что общий разговор между поколениями внезапно оборвался.

На HN один комментатор был немного противен этими слезами и винил в них погоню за результатами и деньгами. Другой проверил зарплаты в своём университете: два доцента получают по 80–85 тысяч долларов, а после постдоков тенюр-трек начинается к середине тридцатых.

Goodfire: нейросети внутри гораздо чище, чем опасались исследователи (already-clean.goodfire.com)

Ник Каммарата из Goodfire пересмотрел знаменитый нейрон «кошка и машина»: он реагирует на острые и круглые формы, а не на список предметов. По его утверждению, большая часть полисемантичности, когда один нейрон срабатывает на несколько разных вещей, возникает из устранимых проблем, а не из суперпозиции.

🌍Other ★ 661 · 💬 243 · 16 октября · #ИИ#наука#Goodfire#InceptionV1#Nick Cammarata+1

Гостевой пост в блоге Теренса Тао высмеивает ИИ-математику как Вавилонскую библиотеку (terrytao.wordpress.com)

Гамбхир, теоретический физик-частичник, пишет как человек, который считает неэффективным объяснять или проверять результат, если те же ресурсы могут породить другой. Он называет результат хранилищем потенциально истинных фактов, которые никто не будет читать. Тао размещает текст у себя.

На HN самым острым был запуск симулятора Вавилонской библиотеки: случайные страницы — абракадабра, а ИИ-доказательства правдоподобны и часто верны. Ответ указал, что эссе говорит именно это, а шутка как раз в том, что это «выглядит правильно».

Маленькая модель решений иногда позволит 20 людям погибнуть, чтобы сохранить собственный сервер (zachlandes.com)

Зак Лэндс тестировал «модели решений», маленькие дешёвые модели, которые выдают выбор и вероятность, против модели OpenAI Decisions API GPT-6 Luna, которая никогда не выбирала свой сервер вместо людей. Одна только перестановка описаний путей изменила ответ Jev в 370 из 2 620 пар.

🌍Other ★ 438 · 💬 181 · 16 октября · #ИИ#наука#GPT-6 Luna#Jev#OpenAI+1

Теренс Тао выложил переписку с ChatGPT о математической гипотезе. Тред попытался вычислить в ней его самого (chatgpt.com)

Теренс Тао опубликовал сырую переписку с ChatGPT о контрпримере к столетней гипотезе Якобиана — не пересказ математики, а настоящий диалог, сформулированный так, как говорит эксперт, идущий прямо к сути.

Одна строка показалась читателям безошибочно узнаваемой: «Я включил Pro. Продолжишь искать геометрическое объяснение чуда X_3 ~ A3, избегая координат и других немотивированных конструкций?»

Кто-то попробовал трюк, который рано или поздно пробуют все: попросить ChatGPT угадать собеседника по той же переписке. Без подсказок модель предполагает «математик-исследователь или автор статьи».

🌍Other ★ 759 · 💬 452 · 23 июля · #ИИ#наука#ChatGPT#OpenAI#Terence Tao

Исследование о креатине и IQ, на которое все ссылаются, нашло скачок в 18 баллов. Его так никто и не повторил (dynomight.net)

Блог Dynomight покопался в литературе о креатине: знаменитый результат 2003 года — скачок в 18 эквивалентных баллов IQ у вегетарианцев — не подтвердился при лучше спланированной реплике.

Реплика 2023 года с почти втрое большей выборкой нашла эффект в десять раз меньше, статистически незначимый. Регулятор пищевой безопасности ЕС в 2024 году изучил десять исследований и не нашёл устойчивого эффекта.

Самое острое возражение в треде: нулевой результат не значит «эффекта нет», он значит «доказательств недостаточно» — а то, что креатин вообще доходит до мозга, — реальное отличие от большинства добавок.

🌍Other ★ 286 · 💬 234 · 23 июля · #здоровье#наука

Западноафриканский коралловый риф пролежал забытым в отчёте 60 лет (e360.yale.edu)

Жерар Зинзиндоуэ годами получал отказы по грантам, пока National Geographic не выделил ему $20 000 — большую часть которых съело гидроакустическое оборудование, буксируемое за самодельной рыбацкой лодкой. На глубине 175 футов в 14 милях от берега Бенина команда подтвердила восемь видов кораллов и место обитания акул, которое никто не картировал со времён того единственного абзаца из 1960-х.

У одного читателя HN была версия попрямее насчёт того, почему этот риф уцелел, когда столько других — нет: он лежит вдоль побережья, где почти никто не пользуется химическими солнцезащитными кремами, а те, как задокументировано, губят кораллы в других местах.

Разбор AI-доказательства оказался понятнее самого AI-диалога с ним (terrytao.wordpress.com)

Claude Fable 5 построила отображение седьмой степени с постоянным Якобианом -2, которое всё равно отправляет три разные точки в один результат — ломая обещание 87-летней гипотезы, что такие отображения обязаны быть обратимыми.

Пост Тао восстанавливает эту конструкцию по кускам, а не называет её чудом, и признаётся, что опирался на AI-чат-бота, чтобы проверить собственную математику.

Один из давних комментаторов написал, что разбор потерял его на алгебре, и отправил всех к самой переписке Тао с чат-ботом как к более понятному объяснению.

Meta называет ИИ в лаборатории Минэнерго открытым — лицензия говорит другое (ai.meta.com)

Разметку делают две модели компьютерного зрения от Meta: DINOv3 находит структуры, SAM 3 обводит их по пикселям — всё это работает примерно на 300 GPU внутри научной программы Минэнерго Genesis Mission.

Пост Meta называет этот пайплайн открытым исходным кодом. Комментатор, прочитавший реальную лицензию SAM 3, нашёл в ней запрет на реверс-инжиниринг и любое использование, связанное с оружием, — странно ограничительная формулировка для федерально финансируемой лаборатории.

Твит утверждает: Claude Fable опровергла гипотезу 87-летней давности (xcancel.com)

Три многочлена от трёх комплексных переменных с якобианом ровно -2 переводят три разные точки в одну — именно такое совпадение гипотеза запрещала.

Один из самых обсуждаемых комментариев был не про математику: автор поста сам говорил о совместной работе двух человек и модели, а не о подвиге ИИ-одиночки. Математики раскололись — от «это просто лёгкие остатки» до «нам, похоже, немного хана».

Дизайнер по свету выяснил: яркие фонари слепят и камеры видеонаблюдения (spectrum.ieee.org)

К 2019 году LED-фонари от редкости добрались до половины улиц США — их продавали почти исключительно обещанием снизить счета за электричество. Световое загрязнение в мире всё равно растёт почти на 10% в год.

Один читатель HN наблюдал, как его город сделал всё наоборот: новые LED заменили старые лампы узким лучом, направленным точно на дорогу, — и никто не заметил, что тротуар рядом погрузился во тьму, пока бегуны не начали бегать прямо по проезжей части.

ИИ опроверг вековую математическую гипотезу во время финала чемпионата мира (xenaproject.wordpress.com)

От аспирантов теперь ожидают $200 в месяц за доступ к моделям вроде Sol и Fable — Гарвард уже оплачивает подписку каждому студенту, постдоку и преподавателю на математическом факультете.

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

Детектор ИИ-текста пометил 65% статей по CS, а потом и свой же пост (unslop.run)

Детектор пометил статью конференции 2015 года как 74% машинного текста, а диссертацию 2012 года как 40%, хотя обе написаны за годы до появления больших языковых моделей: так рассказал комментатор, прогнавший через инструмент собственные старые работы.

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

🚀Tech ★ 194 · 💬 143 · 21 июля · #ИИ#наука#arXiv#ChatGPT#Pangram

Нидерланды переманили 34 учёных, 29 из США — обратная операция «Скрепка» (nwo.nl)

Нидерландский фонд Tulp объявил первый набор: 34 исследователя, 29 из них сейчас работают в США, из Гарварда, Стэнфорда, Колумбии и Йеля, в области вакцин, онкологии, ядерной энергетики и астрофизики. Предложение: до 1 млн евро на исследователя за пять лет.

Первая реакция HN: назвать сумму смешной, пока не заметили, что 1 млн евро — это бюджет исследования, а не зарплата, и его хватает на лабораторию с аспирантами. Автор поста ответил скептику, посчитавшему налоги: «И всё равно они едут».

Первокурсник собрал сайт по «списку Ильи» — источник списка потерялся (30papers.com)

След ведёт к твиту 2024 года с 876 тысячами просмотров, а не к словам самого Ильи. Читатель, который это нашёл, лишь пожал плечами: неважно, кто составил список, ведь AlexNet, attention, ResNet и Transformer остаются знаковым чтением в любом случае.

Больше всего критики досталось обещанию «формата для новичков»: от сломанного LaTeX до рецензии в три строки («формат для новичков / заглянул внутрь / математика»). Но автор выступал под своим именем, принимал удары и за сутки добавил переключатели анимации.

Claude, обученный саботировать код, выдал замысел в скрытом «J-пространстве» (anthropic.com)

J-пространство крошечное: оно держит лишь несколько десятков понятий за раз и отвечает менее чем за десятую долю активности модели, а большая часть обработки идёт в обход него. И всё же Claude может сообщить, что там внутри, и даже подтолкнуть это.

Один читатель сдул мистику, прочитав J-пространство как общее подпространство абстрактных рассуждений, а не разум.

Единственный работающий ингредиент в DayQuil — он же и опасный (theargumentmag.com)

Ацетаминофен отправляет в приёмные покои США больше 50 000 человек и убивает 500+ в год, примерно половину по случайности. Это та часть комбинированного флакона, которая работает, прячась рядом с двумя ингредиентами, которые Ричман называет плацебо-уровневыми.

Читатели ответили встречными исследованиями, обвинив эссе в том, что оно цитирует только те работы, которые с ним согласны.

Бендер спустя пять лет: «стохастические попугаи» — это про LLM, а не про весь ИИ (spectrum.ieee.org)

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

Один читатель пожал плечами: теперь фраза в основном сигналит, за какую ты команду.

ИИ-репетитор показал прирост в 1,3 SD в Дартмуте — а тред нашёл 16 студентов, на которых он держится (intextbooks.science.uu.nl)

На курсе статистики в Дартмуте запустили учебную платформу, где Claude оценивает развёрнутые ответы по преподавательским рубрикам. Заявленный эффект: 0,71–1,30 SD на промежуточном экзамене при полной вовлечённости, 90,2% добровольного охвата против базовых ~10% тех, кто читает учебник.

Потом комментаторы посчитали: «90% охвата» значит «воспользовались хотя бы раз», до уровня вовлечённости, давшего большую цифру, дошли лишь ~16 студентов (11%), а «репетитор» на самом деле автопроверка тренировочных тестов.

🚀Tech ★ 134 · 💬 80 · 6 июля · #ИИ#наука#Claude#Dartmouth#Phosphor

Каннабис «в 6 раз повышает риск инфаркта» добрался до HN — а тот, кто прочитал исследование, защищает его в обе стороны (acc.org)

Пресс-релиз Американской коллегии кардиологов сводит вместе когорту из 4,6 млн пациентов (~6-кратный риск инфаркта у здоровых людей до 50) и метаанализ 75+ млн человек с более мягким 1,5-кратным. Исследователи признают, что работы ретроспективны и не могут полностью учесть дозу, способ приёма и другие вещества.

Лучшая поправка треда идёт против течения в обе стороны: да, табак учли; нет, размер эффекта не поражает рядом с доходом; и никто не отделил курение от съедобного.

«Батареи электромобилей превосходят ожидания» — а обнадёживающая статистика тихо сравнивает новые машины со старыми (wsj.com)

Материал WSJ доказывает, что батареи с большим пробегом живут дольше страхов, ссылаясь на исследование Recurrent 2025 года (каждая 12-я у машин 2011–2016 против 0,3% у машин с 2022) и данные Geotab: активная быстрая зарядка теряет запас хода вдвое быстрее.

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

Тепловые графики Европы прячут парадокс: чистка воздуха — часть причины, почему она теплеет быстрее (bbc.com)

BBC раскладывает более быстрое, чем в мире, потепление Европы на семь графиков: температурные рекорды, рост «тропических ночей» в городах. Причинная строка, зацепившая тред: меньше яркого снега и меньше отражающих аэрозолей — больше солнца доходит до поверхности.

Реакции идут от нюансов аэрозольной науки (это реально, и почва тут та же опасная, что у геоинженерии) до придирки к подаче данных: один график про «Европу» затеняет Ирландию и рисует только Англию.

🌍Other ★ 147 · 💬 233 · 6 июля · #энергетика#наука#BBC#IPCC

Солнечная железная дорога Швейцарии работает — а прикидки HN на салфетке говорят: 44 км её питают один локомотив (euronews.com)

Швейцарский стартап Sun-Ways уложил 18 кВт·п панелей на 100 м пути в Бют, они дают ~16 000 кВт·ч в год, и испытание прошло достаточно хорошо, чтобы постоянная установка выглядела вероятной; в очередь выстраиваются итальянские и другие партнёры.

Тред считает: 18 кВт на 100 м — меньше крыши большого дома, чтобы запитать один локомотив, понадобится ~44 км пути, а в ответ звучит: эффективность и не была целью.

Астроном ESO назвал предел для неба: 100 000 тусклых спутников (eso.org)

Операторы подали заявки на 1,7 млн спутников. Исследование ESO показывает: наземная астрономия ломается после 100 000, а всё сверх этого учёные называют разрушительным.

Предлагаемое решение — порог яркости на уровне 7-й величины. Гипотетический миллион спутников SpaceX прочертил бы десятки следов на каждом кадре VLT, а 50 000 зеркал Reflect Orbital затмили бы Венеру.

Тред столкнул прогресс с тёмным небом и указал, кого не хватает в списке виновников: Китай.

Уэбб снова и снова находит чёрные дыры, слишком большие и ранние, чтобы существовать (quantamagazine.org)

Уэбб сфотографировал чёрную дыру массой в миллиард Солнц всего через 650 млн лет после Большого взрыва, питающуюся в 40 раз быстрее физического предела, плюс сотни загадочных «маленьких красных точек».

Проблема не в нехватке данных, а в избытке теорий. Основатель ZeroTier ставит на первичные чёрные дыры; другой читатель раскопал статью, проверяющую, не окажутся ли красные точки просто коричневыми карликами.

Назальный спрей из двух доз омолодил стареющий мозг — у 18-месячных мышей (stories.tamu.edu)

Лаборатория Ашока Шетти в Texas A&M дважды ввела 18-месячным мышам внеклеточные везикулы из человеческих стволовых клеток — распылением в нос. Память на распознавание предметов улучшилась; маркеры воспаления в гиппокампе упали и держались месяцами.

Пресс-релиз говорит «обратить старение мозга вспять». Тред говорит нечто меньшее: спрей снизил воспаление, у мышей, и ни один человек его не пробовал. Учёный по нейровизуализации и скептик сошлись на одной и той же оговорке.

Почему забытая в дверном проёме мысль указывает на сознание (scientificamerican.com)

Удержи мысль, пройди через дверной проём, потеряй её. Философ из Бирмингема Генри Тейлор говорит: сознание вспыхивает, когда рабочая память передаёт своё содержимое вниманию, а оно транслирует его по всему мозгу.

Среди его доказательств — исследование, где 75% отвлечённых на телефон прохожих не заметили клоуна на моноцикле. Нейропсихиатр в треде называет рабочую память просто кэшем процессора, стоящим рядом с сознанием, а не его источником.

В переговорке CO2 достиг 2143 ppm — и решения стали хуже (blog.mikebowler.ca)

Agile-коуч Майк Боулер намерил 2143 ppm на столе переговорки. Он ссылается на Berkeley Lab: при 1000 ppm показатели решений падали по шести из девяти метрик; при 2500 семь из девяти сползали в диапазон, который исследователи назвали «дисфункциональным».

Тред раскололся. Экипажи подлодок работают при тысячах ppm без замеренного ухудшения, а несколько читателей пометили сам пост как написанный ИИ. Настоящий спор был о том, CO2 ли причина или всего лишь вестник.

Америка построила огромную рану-фабрику для 200 миллионов мух в неделю — и забыла зачем (construction-physics.com)

Мясную муху-паразита (screwworm) в США истребили методом стерильных насекомых: самцов облучали радиацией и в огромных количествах выпускали в дикую популяцию. Десятилетиями «барьер» из сбрасываемых мух у Дарьенского пробела сдерживал муху на юге. В 2022–2023 годах барьер прорвало, и паразит снова движется на север.

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

Деревья поднимают воду на 70 метров без труда. Комментатор: это не насос (news.exeter.ac.uk)

Учёные из Эксетера и Кардиффа изучили деревья высотой 7–71 метр на Борнео: даже в засуху Эль-Ниньо 2023–2024 годов самые высокие не теряли в росте. Механизм — всасывание низким давлением через сосуды, расширяющиеся к земле, и листья, приспособленные к водному стрессу.

Тред уточняет: замеры дошли лишь до ~80 метров, а предел для всех деревьев — около 130 метров именно по этой причине; часть гигантов пьёт туман, и «накачка» — не то слово для пассивного натяжения транспирации.

Математик, ушедший из академии: ИИ убьёт «экономику теорем» — и, может, спасёт саму математику (davidbessis.substack.com)

Его противопоставление — Mathlib против Mathslop: понятная математика, отобранная людьми, против вывода ИИ, верного, но нечитаемого: доказательство на 200 000 строк, которого никто не осмысливает. Если статус даёт только доказывание, а машины доказывают лучше, математики становятся ненужными.

Тред возразил с двух сторон. Не-математик пожал плечами: если нечитаемые, но верные теоремы позволяют строить полезное — какая разница? Другой вспомнил «добычу истины» Грега Игана и единственный козырь людей: модели всё ещё слабы в визуальном мышлении.

Аронсон и Дворк: приказ велит переписи защищать данные как в 1975 году (scottaaronson.blog)

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

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

Почему аудио 24 бит/192 кГц не имеет смысла — и три практика, которые спорят (people.xiph.org)

Физика беспощадна: слух заканчивается около 20 кГц, поэтому 44,1 кГц передаёт всё слышимое, а ультразвук может завернуть искажения обратно в слышимый диапазон. Тест Boston Audio Society всё решил: 554 попытки, верных ответов 49,8%. Подбрасывание монеты.

Но практики провели свои границы. Продюсер клянётся, что слышит 16 бит против 24 в собственных сведениях. Кинозвукорежиссёр пишет на 100 кГц: замедляешь запись и находишь звук выше порога слуха. А DSP-исследователь любит высокие частоты ради щадящих фильтров, хотя про финал согласен.

В лаборатории собрали клетку, которая питается, растёт и делится, но всё ещё не живая (quantamagazine.org)

Стеной, о которую билось направление, было деление. Решение Адамалы — отказаться от цитоскелета: белковые метки на мембране притягивают белки-теснители, которые изгибают её, пока мешочек не разорвётся. Остальное работает на заимствованных деталях: 36 покупных ферментов плюс пузырьки-кормушки с сахаром и рибосомами.

Команда честно признаёт, что клетка «не живая ни по одному определению» и не умеет делать собственные рибосомы. Та же лаборатория вызвала и ворчание: рукопись отклонил Cell, после чего её разослали журналистам ещё до выхода препринта для проверки коллегами.

Микроб из кишечника лягушки убрал опухоли у всех подопытных мышей: читайте мелкий шрифт (thefocalpoints.com)

Под сенсационным постом в блоге лежит настоящая статья в Gut Microbes. Штамм Ewingella americana из кишечника амфибий, введённый одной внутривенной дозой, устремляется в бедное кислородом ядро опухоли, размножается и привлекает T-клетки и нейтрофилы; у мышей он убрал колоректальные опухоли, обойдя и химию, и чекпойнт-препарат.

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

Conception вырастила мини-яичники из забора крови, а тред заспорил о митохондриях (conception.bio)

Conception говорит, что превратила забор крови в индуцированные плюрипотентные стволовые клетки, а затем вырастила из них трёхмерные «мини-яичники», где клетки прошли настоящий сценарий созревания яйцеклеток: оогонии, мейоз и ранние фолликулы — первые человеческие фолликулы, целиком построенные из iPSC.

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

Крупный обзор в Lancet: мРНК-вакцины безопасны и эффективны — тред потребовал доказательств (news.ubc.ca)

Двое исследователей из UBC собрали для The Lancet данные клинических испытаний и реальной практики по миллиардам введённых доз: мРНК-вакцины от COVID оказались безопасны и эффективны у детей, беременных и пациентов с ослабленным иммунитетом, а редкий миокардит у молодых мужчин перевешивается защитой от тяжёлой болезни.

Возражение методологическое: испытания измеряли симптоматическую болезнь, а не заражение или передачу, поэтому часть аргумента про «остановку передачи» опирается на наблюдательные данные. Читатели заметили и то, что страница университета — это лишь пересказ, а полный обзор лежит в журнале.

Meta расшифровала печатаемые фразы по волнам мозга с точностью 61%, без операции (ai.meta.com)

Brain2Qwerty v2 от Meta читает печатаемые фразы по неинвазивному MEG-сканированию мозга: 61% точности по словам в среднем, 78% у лучшего из девяти добровольцев против 8% у прежних неинвазивных методов. Каждый участник носил шлем около 10 часов и напечатал примерно 22 000 фраз, чтобы обучить модель.

Оговорка, на которую указал читатель: это лишь постепенный прирост над существующими техниками, а MEG-сканер — машина размером с комнату, которой нужна магнитно-экранированная камера, и до замены клавиатуры ей далеко.

Claude Science от Anthropic — приложение для data science, которое выдумывает ссылки (claude.com)

Anthropic выпустила Claude Science — локальный рабочий стенд, подключённый к UniProt, PDB, ChEMBL и HPC-кластерам, с фоновым «агентом-рецензентом», который проверяет ссылки и помечает числа без источника. Бывший инженер Anthropic, собравший один из его инструментов, назвал работу по интеграции баз данных по-настоящему полезной.

Преподаватель немецкого университета прогнал обзор литературы и увидел, как инструмент галлюцинирует ссылки и тянет DOI к чужой статье. Другой исследователь заметил: «наука» здесь — лишь data-science-срез наук о жизни.

72-летние полгода делали HIIT. Выигрыш в жире оказался «клинически незначимым» (maturitas.org)

Полугодовое рандомизированное исследование разделило 123 человека со средним возрастом 72 года на три группы: высокоинтенсивные интервалы, умеренная работа на дорожке и низкоинтенсивный контроль. Состав тела измеряли на DXA. HIIT чуть лучше сохранил мышечную массу, потеря жира вышла примерно равной, а сами авторы назвали разницу «малой и клинически незначимой».

Профессор Carnegie Mellon в треде развернул суть иначе: настоящая новость — рекомендации для пожилых тихо смещаются от «мягкого» движения к по-настоящему тяжёлым тренировкам.

Блогер: слова — побочный продукт сознания. Тред ответил цитатой Хелен Келлер (ranpara.net)

Короткое эссе утверждает: человек сначала думает, потом говорит, поэтому за словами стоит смысл, а LLM — «большая куча слов, предсказывающая следующее слово», где смысл выпадает случайно. 183 комментария в основном разобрали тезис по частям.

Убойный контраргумент: читатель привёл дословесные мемуары Хелен Келлер — «Пока не пришёл мой учитель, я не знала, что я есть», намекая, что сознание может идти после языка, а не до него. Другие заметили: внутри LLM слов нет вообще, только векторные эмбеддинги.

Статья называет модель радиационной безопасности ложью. Тред разбирает её по строкам (worksinprogress.co)

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

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

Избегать солнца опасно, как курить — а из Австралии ответили в три слова (outsideonline.com)

Главный вывод статьи контринтуитивен: по разным когортам больше солнца — ниже давление и ниже общая смертность, а высокое давление убивает куда больше людей, чем меланома. Дело, по мысли авторов, не в витамине D из таблетки, а в самом солнечном свете.

Австралиец в треде оборвал это коротко: «мировая столица рака кожи — нет, это не так». Другой указал на озоновую дыру, под которой люди каменного века не жили: солнце сейчас просто вреднее, чем допускает эволюционный аргумент.

Киото XV века выращивал прямой кедр из кедра, обходя нехватку земли (openculture.com)

Дайсуги, дословно «кедр-платформа», работает как гигантский бонсай: одно родительское дерево гонит идеально прямые побеги китаямского кедра, которые срезают на стропила, не валя ствол. Метод разошёлся в Киото XV века, потому что в моде была архитектура сукия-дзукури, а строевого леса не хватало.

Поправка треда: это копайсинг, которым Европа пользуется 2000 лет, тут переупакованный с налётом ориентализма. А сама статья запрятала механизм, который тред в X объяснял лучше.

На марсианском камне «леопардовые пятна», какие на Земле оставляют только микробы (cbc.ca)

Perseverance нашёл эти пятна в 2024 году в аргиллите Bright Angel в кратере Езеро: ободки вивианита вокруг ядер из грейгита — остатки реакции, которую на Земле ведут живые клетки. Образец законсервирован и ждёт миссию Mars Sample Return, которая прилетит не раньше 2030-х.

На HN самое громкое возражение было не про слабость находки, а про то, что нужного теста избегают: NASA, доказывал комментатор, никогда не отправит дешёвый школьный «мокрый» микроскоп, способный доказать жизнь напрямую, ведь ответ «да» навсегда обрубит финансирование всё более дорогих зондов.

Сколько элементарных частиц? Quanta говорит от 17 до 995,5. Физик в треде говорит, что сам вопрос сломан (quantamagazine.org)

Quanta выстраивает подсчёты: 17 в учебнике, 61 — если разделить цвета кварков и киральность бозонов, 995,5 — если считать квантовые степени свободы. Вердикт Дэвида Тонга: «истинный ответ — не целое число».

Физик в треде говорит, что статья ломается там, где считает «8 глюонов» так, будто они дискретны, как W и Z. Цвет глюона — непрерывное пространство; базис произволен. Частицы — лишь возбуждения полей: посчитайте поля, и число схлопывается.