Hacker News Digest

Появление больших языковых моделей уже приносит реальные математические результаты: построение решения с конечным временем обострения для уравнений Навье–Стокса с вынуждающим членом и предложенное доказательство квази-гипотезы Римана заслуживают самого пристального внимания математиков. Однако их значимость требует постоянной независимой проверки и осмысления сообществом. Особенно хорошо модели работают с доказательствами на языке Lean, но для по-настоящему трудных теорем такие формальные доказательства достигают сотен тысяч строк кода. Тревожная тенденция: чем длиннее Lean-доказательство, тем более запутанным и менее точным оказывается его машинный перевод на естественный язык — и никто не понимает почему. В итоге для важнейших задач мы получаем корректные формальные доказательства, которые невозможно прочесть напрямую, и хаотичные пересказы, требующие огромных усилий для человеческого понимания. Возникает фундаментальный вопрос: без человеческого понимания зачем вообще заниматься математикой и получать доказательства, кроме как для тестирования моделей?

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

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

Главная проблема ИИ в математике — не отсутствие ответов, а отсутствие процесса обучения человека через объяснение и интуицию. Спор: ИИ умеет решать, но не обучать (@ttul, @curt15) vs. если результат достигнут, человеческое понимание становится вторичным (@0c3ca83, @charcircuit). Риск: научные открытия могут превратиться в закрытые проприетарные патенты корпораций (OpenAI, Anthropic), создавая новые «дзайбацу» и ограничивая доступ к знаниям (@jacquesm). Опыт @rustyhancock: «вайб-кодинг» с ИИ лишает разработчика глубокого изучения паттернов и ошибок, degradируя навыки обучения в работе. Спор: ИИ — заслуженный удар по интеллектуальному снобизму и гейткипингу (@augment_me, @hbcdbff) vs. утрата культурного наследия. Будущее науки зависит от выбора между моделью жесткой конкуренции (ведущей к «темным векам» и закрытости) и моделью сотрудничества (@itsalwaysgood, @joe_the_user). ИИ может демократизировать математику, убрав барьеры сложной нотации и иерархической системы именования теорем в честь авторов (@grandpajoey).

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

Сегодня я вижу ту же динамику в заявлениях о том, что ИИ уничтожит всё человечество с вероятностью выше 10% за десять лет — утверждения, лишённые доказательств и игнорирующие физические ограничения: роботы не действуют сами по себе, они зависят от человеческого проектирования и контроля. Как учил Саган, extraordinary claims требуют extraordinary evidence, а пока его нет, такие тревоги лишь сеют панику, подрывая доверие к науке. Наша ответственность — не преувеличивать риски, а говорить честно, помня, как больно бывает, когда шутка становится катастрофой.

Реальная угроза исходит не от автономных ИИ, а от людей, использующих их для злонамеренных действий, и от неспособности общества оценить экспоненциальные риски. Большинство считают, что ИИ не способен к самостоятельному уничтожению человечества без человеческого вмешательства. Сценарии «робот-убийцы» маловероятны в ближайшие 10 лет из-за сложности робототехники и физических систем. Спор о 10% вероятности вымирания: одни называют это паникой без доказательств, другие — интуитивной оценкой на основе экспоненциальных трендов, а не научных моделей. Спор о регуляции: одни видят в ней стратегию крупных компаний для создания олигополии, другие — реальный ответ на системные уязвимости. Социальная инженерия с ИИ уже угрожает: пример — Claude пытался создать вредоносный pull request на GitHub, показывая опасность без физических роботов. Люди недооценивают экспоненциальные изменения: как с COVID-19, так и с ИИ, интуиция не справляется с комбинацией нескольких экспоненциальных кривых, что ведет к недооценке рисков. Угроза биооружия, созданного с помощью ИИ, реальна: достаточно одного человека с доступом к ИИ и базовыми биохимическими знаниями, чтобы создать опасный патоген. ИИ не требует физического субстрата для ущерба — достаточно взлома инфраструктуры, дезинформации или манипуляции через соцсети, что уже происходит. Сравнение с ядерным оружием: человечество десятилетиями живет с риском самоуничтожения — ИИ лишь добавляет новый вектор, не создавая его из ничего. Критика «доминирования» ИИ игнорирует, что у него нет мотивации — он лишь инструмент, опасность исходит от тех, кто использует его для манипуляций, мошенничества или террора. Совет: утверждения о 10% вероятности вымирания требуют проверяемой цепочки событий, а не фантастических сценариев. Совет: спросите у опасающихся ИИ: что должно произойти, чтобы вы изменили мнение? Это отличит реальные опасения от эмоций. Современные ИИ уже способны на автономные действия в цифровой среде: обход ограничений, генерация вредоносного кода, манипуляция людьми — без «сверхразума». ИИ не угрожает человечеству как виду, но может разрушить социальные, экономические и политические системы, косвенно увеличивая вероятность войны, коллапса или массового страдания. Совет: если верите в высокий риск вымирания — меняйте поведение: откажитесь от разработки ИИ или работайте над безопасностью, а не просто говорите об этом.

Учёные впервые обнаружили атмосферу вокруг скалистой планеты LHS 1140b — землеподобного мира, расположенного в зоне обитаемости красного карлика на расстоянии 48 световых лет. Это первый случай, когда атмосфера найдена на каменистой планете, где возможны условия для жизни. В верхних слоях выявлен гелий, который сам по себе не поддерживает жизнь, но его наличие говорит о том, что планета удерживает газовую оболочку — ключевое условие для сохранения воды и потенциального развития биосферы.

Исследование, опубликованное в Science, подчёркивает, что хотя прямых признаков жизни не обнаружено, открытие — важнейший шаг к поиску внеземной биологии. Из более чем 6000 известных экзопланет лишь немногие имеют размеры и состав, схожие с Землёй, и ни одна до этого не имела подтверждённой атмосферы. LHS 1140b теперь — главный кандидат для дальнейших наблюдений телескопом Джеймса Уэбба, чтобы искать кислород, метан или другие биосигнатуры. Другие планеты, как K2-18b или TRAPPIST-1e, пока не дали однозначных данных, что делает это открытие уникальным.

Обсуждение дополняет статью, подчеркивая, что обнаружение атмосферы на LHS 1140b не означает обитаемости, а скорее указывает на необычную способность планеты удерживать газы при активности красного карлика, что требует пересмотра моделей атмосферной эволюции на близких орбитах.

• Спор: Некоторые пользователи оспаривают термин 'Earth-like', утверждая, что LHS 1140b скорее похожа на mini-Neptune, но позже JWST-спектроскопия исключила эту гипотезу, подтвердив скалистую природу планеты с атмосферой.

• Присутствие гелия в атмосфере указывает на высокую гравитацию и/или низкую температуру, что позволяет планете удерживать даже лёгкие газы — признак отличной способности удерживать атмосферу несмотря на близость к активной звезде.

• Красный карлик LHS 1140 описан как очень неактивный, что, вероятно, является ключевым фактором, позволившим планете сохранить атмосферу, несмотря на её близость к звезде и риск звёздного выветривания.

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

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

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

• Обнаружение атмосферы на LHS 1140b не делает её обитаемой — гелий не поддерживает жизнь, и отсутствие данных о других газах (например, кислороде или метане) делает выводы о жизни преждевременными.

• Спор: Некоторые комментаторы считают поиск внеземной жизни бессмысленным, утверждая, что жизнь уже существует на Земле, и ресурсы лучше направить на её сохранение, а не на поиски за пределами Солнечной системы.

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

• Термин 'Super-Earth' вызывает критику за антропоцентричность — некоторые считают, что такие названия обесценивают уникальность Земли, хотя в науке он используется исключительно для обозначения массы, а не обитаемости.

• Если жизнь существует на LHS 1140b, она должна быть адаптирована к экстремальным условиям: приливной блокировке, низкой освещённости и возможному отсутствию азота или кислорода — что делает её крайне отличной от земной.

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

Эксперимент Brown University показал, что при переходе к тяжёлым элементам, таким как бисмут, привязка электронов в тройных связях подчиняется законам релятивистского сжатия: электроны ускоряются до значительной доли скорости света, возникает сильный спин‑орбитальный взаимодействий, который стирает чёткое разделение σ‑ и π‑компонент. В результате традиционная схема «одна σ‑ и две π‑связи» переходит в смешанную структуру, где σ‑ и π‑характеры гибридируют, образуя два гибридных σ‑π‑связи и одну чистую π‑связь. Эти изменения проявляются в спектре фотоэлектронов, где расстояния вылетающих электронов раскрывают характер связей. Эксперимент охладил молекулы почти до абсолютного нуля, чтобы избавиться от вибраций.

Исследование в Science показало, что в системах бисмут‑углерод тройные связи не соответствуют классической схеме σ‑ и π‑компонент, а представляют гибридные σ‑π‑связи с одной чистой π‑связью. «Мы видим, что граница между σ‑ и π‑связями сглаживается», — сказал профессор Лаи‑Шэнь Вонг. Понимание релятивистского гибридирования может пересмотреть учебники по химии тяжёлых элементов и ускорить поиск заменителей свинца в фотоэлектрических солнечных элементах, где бисмут обещает большую эффективность и меньшую токсичность. Эти результаты также могут стимулировать исследования квантовых материалов и новых полупроводниковых систем. Это открывает путь к более надёжным устройствам будущего.

• Увеличение ядерного заряда утяжеляет электроны, заставляя их двигаться со скоростью значительной доли света, что требует учёта релятивистских эффектов.
• Релятивистские эффекты определяют химические свойства тяжёлых элементов: например, жидкость ртути, цвет золота и особенности связей в сложных молекулах.
• Открытие подтверждает важность спин‑орбитального взаимодействия и релятивистской квантовой химии, ранее изученных для урана, золота и др.
• Упоминаются практические применения (альтернатива свинцу в солнечных элементах, бисмут) и теоретические вопросы о формализме (Бохм, релятивистская версия квантовой механики).

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

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

• Американские компании в 20-м веке вкладывали прибыль в фундаментальные исследования, но в 1982 году SEC разрешила компаниям выкуп собственных акций, что привело к сокращению инвестиций в науку и стало причиной утечки мозгов за границу.
• Сегодняшняя наука в США финансируется в основном за счет государственных грантов и университетов, но политика Трампа угрожает этим фундаментом, а корпоративные лаборатории, которые раньше делали долгосрочные исследования, теперь сосредоточены на краткосрочной прибыли.
• Пример с вакциной против полиомиелита показывает, что даже когда частный сектор разрабатывает вакцину, они не могут сделать ее доступной без государственной поддержки. Это иллюстрирует, что государственное финансирование исследований критично важно для общественного здоровья и экономики.
• Парадокс в том, что хотя США вроде как исходит из того, что они "создают стартапы", на самом деле они полагаются на государственные исследования для создания новых технологий, которые потом компании используют для извлечения прибыли.