ИИ Claude помог ученым продвинуться в решении гипотезы Римана

Друзья, сегодня делимся с вами ещё одной интересной новостью, о которой стало известно 10 августа🤓

Сотрудник журнала Anthropic предложил ИИ Claude попробовать разобраться с гипотезой Римана — одной из самых известных нерешенных задач в математике 📐

Гипотеза Римана сформулирована в 1859 году и с тех пор не поддается ни доказательству, ни опровержению. Она описывает скрытый порядок в распределении простых чисел: Риман показал, что оно полностью закодировано в нулях дзета-функции, и предположил, что все эти нули лежат на одной вертикальной прямой с вещественной частью 1/2 — ее и называют критической.

Если это правда, простые числа распределены настолько равномерно, насколько это вообще возможно. На гипотезу опирается огромный пласт теории чисел, а Математический институт Клэя включил ее в список задач тысячелетия с наградой в миллион долларов❗️

Полностью решить задачу Claude не смог, но неожиданно добился успеха в смежной области.
Раз доказать, что на прямой лежат все 100% нулей, не выходит, математики десятилетиями двигались обходным путем: доказывали, что на прямой лежит хотя бы какая-то доля нулей, и постепенно поднимали эту планку.

Сельберг в 1942 году показал, что эта доля положительна, Левинсон в 1974-м довел ее до трети, Конри в 1989-м — до 40,77%, а последний рекорд, установленный в 2020 году, — 5/12, то есть около 41,6%. С 1974 года планка ползла вверх на единицы процентных пунктов, чаще — на доли: каждый шаг стоил годы работы.

🤩ИИ улучшил давно известную нижнюю границу для доли нулей дзета‑функции Римана, которые соответствуют гипотезе: показатель вырос с 41,6% до 67,2%!

Модель при этом не изобрела новую математику — она заметила, что уже существующие человеческие результаты складываются в комбинацию, которую никто не попробовал: серия свежих работ Балуйота, Голдстона, Сурьяджаи и Тёрнедж-Баттербо, которые адаптировали технику Монтгомери 1973 года так, чтобы та работала без предположения о верности самой гипотезы, плюс статья Бомбьери 2000 года. По формулировке Anthropic, смелость хода в том, чтобы рассмотреть все пространство целиком, с нулями на прямой и вне ее одновременно.

ИИ задействовал целую систему «субагентов», которые проверяли расчеты, искали контрпримеры, изучали научные статьи и перепроверяли доказательства. На все ушло более двух суток, тысячи проверок и сотни скриптов на Python.

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

Люди подключились уже на финальном этапе. Работу разобрали два штатных математика Anthropic, а затем — двое внешних экспертов, один из которых Брайан Конри, чей рекорд 1989 года держался двадцать с лишним лет, и Дэн Голдстон — соавтор тех самых работ, на которые Claude опирался.

При этом никто не ждет, что такой подход приведет к полному доказательству гипотезы Римана. Модель попросили сделать невозможное — она предсказуемо не справилась, но по дороге нашла в уже опубликованных статьях то, что люди упустили. Но этот случай показывает, как ИИ может по‑новому комбинировать уже известные математические идеи и помогать двигать науку вперед ⏩

Отличной пятницы и выходных!😉

#uel_интересное
#ии
#математика
#технологии
#поддержка

Друзья, отличного начала рабочей недели!✨

Напоминаем вам, что модульные чиллеры и чиллеры-тепловые насосы Dunham-Bush имеются в наличии на нашем складе👍

Чиллеры Dunham-Bush представляют собой надежное и современное оборудование для систем холодо- и теплоснабжения.

💠 Модульная конструкция
Позволяет гибко наращивать мощность. Возможно объединить до 16 модулей в единую систему, что дает возможность подобрать оптимальную производительность под любой объект — от небольшого офиса до крупного склада или торгового центра.

💠 Экономичность и экологичность
В оборудовании используется современный безопасный хладагент R410A и оснащение энергоэффективными спиральными компрессорами Copeland, что снижает эксплуатационные расходы.

💠 Надежность
Система управления оснащена комплексной защитой от аварийных режимов (включая перегрузки, перекос фаз, замерзание и падение давления хладагента), а также интеллектуальной функцией оттайки, гарантирующей стабильную работу в холодное время года.

Как обычно, по всем вопросам обращайтесь к вашему менеджеру или по номеру 8-800-200-02-40 📞

#uel_теория
#DunhamBush
#чиллер
#характеристики
#оборудование

Друзья, сегодня мы празднуем день рождения United Elements!

🎉🎉🎉

3️⃣3️⃣ года — довольно внушительный срок, который говорит о надёжности и умении оставаться востребованными на рынке.

От всей души благодарим партнёров, клиентов, команду - всех друзей и единомышленников!

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

Желаем всем заряда бодрости, позитива и отличного настроения! 😉

Будем рады вашим поздравлениям в комментариях! ❤️

#день #рождения
#United #Elements
#uel_праздник
#33

Магнитная левитация против газовых подшипников: что победит в битве технологий?

Друзья, недавно наша команда дистрибьюторов HVAC столкнулась с крутым профессиональным вызовом🤓

Заказчик на крупном проекте выбирал между классикой и инновациями.
Его внимание привлекли чиллеры из нашего портфеля — машины на компрессорах с магнитной левитацией (MagLev). Технология наукоемкая, прогрессивная, с потрясающей эффективностью на частичных нагрузках.
Но конкуренты не спали и предложили альтернативу — компрессоры на газовых подшипниках.

📋Мы подготовили для клиента детальный баттл-лист с плюсами и минусами обоих решений. Это был захватывающий инженерный поединок!

Обе технологии — это космос по сравнению со стандартными винтами или спиралями, они обе избавляют систему от масляного контура.

👉🏻Но дьявол, как всегда, в деталях: в стоимости обслуживания, поведении при резких скачках нагрузки и чувствительности к качеству сети.

В итоге получился отличный кейс, но нам стало интересно мнение профессионального сообщества.

Коллеги, проектировщики, главные инженеры, давайте обсудим:

💠 Какая из этих двух безмасляных технологий, по вашему мнению, более перспективна на рынке HVAC?
💠 Кто уже сталкивался с ними на практике — какие «подводные камни» вылезали при эксплуатации MagLev или газовых подшипников?
💠 Знакомая нам магнитная левитация или новая технология газовых подшипников — что на ваш взгляд является наиболее сбалансированным решением?

Делитесь своим опытом и мыслями в комментариях!👇🏻

#uel_теория
#HVAC
#инновации
#битва #технологий
#пятница