"Русский переплет" зарегистрирован как СМИ.
Свидетельство о регистрации в Министерстве печати РФ: Эл. #77-4362 от
5 февраля 2001 года. При полном или частичном использовании
материалов ссылка на www.pereplet.ru обязательна.
|
|
20.11.2025
17:41 |
ОБСЕРВАТОРИЯ «СПЕКТР-РГ» РЕГИСТРИРУЕТ НОЯБРЬСКУЮ АКТИВНОСТЬ СОЛНЦА
В начале прошлой недели 9–11 ноября 2025 г. на Солнце произошли мощные вспышки. Последовавшие затем выбросы солнечного вещества стали причиной сильнейших . . . |
|
20.11.2025
17:19 |
Из чайных пакетиков в воду выделяются миллиарды вредных частиц 
Новгородские ученые провели исследование, в ходе которого было выявлено, что когда чайные пакетики находятся в воде, они выделяют пластиковые микрочастицы. Их . . . |
|
20.11.2025
15:52 |
С чего начинается электроника: как создаются многослойные печатные платы в России 
Производство печатных плат Печатная плата — это основа любого электронного устройства. От ее качества напрямую зависит надежность и стабильность всей системы . . . |
|
20.11.2025
14:32 |
Астрономы впервые увидели гравитационно линзированную сверхмощную сверхновую 
Линзирование породило четыре ее изображения Астрономы обнаружили первую известную гравитационно линзированную вспышку сверхмощной сверхновой в далекой . . . |
|
20.11.2025
14:27 |
Затемнение далекой звезды объяснили прохождением коричневого карлика с массивными кольцами 
Оно длилось восемь месяцев Астрономы объяснили затемнение звезды ASASSN-24fw прохождением по звезде ее компаньона — коричневого карлика c массивной системой колец . . . |
|
20.11.2025
14:20 |
«Джеймс Уэбб» подтвердил происхождение туманности Красный Паук в результате взаимодействия двух звезд 
NGC 6537 расположена в созвездии Стрельца Инфракрасный космический телескоп «Джеймс Уэбб» получил новое изображение планетарной туманности Красный Паук, благодаря . . . |
|
19.11.2025
22:37 |
Китай испытал самый большой в мире воздушный змей для выработки электроэнергии
В Китае прошли летные испытания воздушного змея, вырабатывающего энергию. Система площадью 5000 м², поднятая на 300-метровую высоту, преобразовала энергию ветра в . . . |
|
19.11.2025
22:00 |
Google прокладывает новый подводный кабель через океан 
Google объявила о запуске проекта Dhivaru — нового подводного кабеля, который свяжет Мальдивы, Остров Рождества и Оман и станет развитием инициативы Australia Connect. Компания . . . |
|
19.11.2025
20:43 |
Танец среднего и вихря: океанологи нашли предел предсказуемости климата океана 
Международная группа ученых из Городского университета Нью-Йорка (CUNY), МФТИ, Национального центра научных исследований Франции (CNRS) и других ведущих институтов . . . |
|
19.11.2025
20:34 |
Золотой запас стран: кто в лидерах? 
Золото по-прежнему остается одним из самых надежных и проверенных временем активов. Центробанки по всему миру продолжают наращивать его запасы, и в 2025 году этот . . . |
|
19.11.2025
20:25 |
Космический телескоп «Евклид» наблюдал 1,2 миллиона галактик за год работы 
Всего через год после запуска миссия «Евклид» (Euclid) Европейского космического агентства (ESA) уже начала распутывать загадку того, почему галактики принимают . . . |
|
19.11.2025
19:40 |
Арктическую нефть добыли, не растапливая вечную мерзлоту 
Пока традиционные месторождения Западной Сибири постепенно истощаются, будущее российской нефтедобычи все больше связывают с новыми центрами — суровыми . . . |
|
19.11.2025
18:05 |
ТРУТОВИКИ ПОМОГУТ НАКОРМИТЬ ПЛАНЕТУ 
Биологи Уральского федерального университета с коллегой из Китая создали биопрепарат, в основе которого трутовые грибы. Опыты показали, что биопрепарат . . . |
|
19.11.2025
17:49 |
Расширение разлома в Суэцком заливе продолжается 
В Суэцком заливе продолжается процесс медленного расширения разлома, разделяющего Африканскую и Аравийскую литосферные плиты. Долгое время считалось, что этот . . . |
|
19.11.2025
17:35 |
Потеря антарктического льда связана со «штормами» на поверхности океана 
Исследователи из Калифорнийского университета в Ирвайне и Лаборатории реактивного движения НАСА выявили штормовые модели циркуляции под шельфовыми ледниками . . . |
|
19.11.2025
17:28 |
Земля наклонилась по вине человека, решили учёные 
Специалисты обращают внимание на изменение угла наклона земной оси, часть из них связывает этот процесс с деятельностью человека. Корейские эксперты в составе . . . |
|
19.11.2025
17:12 |
ИИ обнаруживает «призрачные» следы древней жизни на Земле 
В поисках древнейшей жизни на Земле и других планетах исследователи обычно ищут нетронутые окаменелости или биомолекулы, созданные только живыми организмами. Но . . . |
|
18.11.2025
16:05 |
Новый квантовый чип ускоряет решение задач в тысячу раз
Команда специалистов из Китая совершила рывок в гонке квантовых технологий, представив инновационный по ряду показателей фотонный процессор. Новый чип обещает . . . |
|
18.11.2025
15:52 |
Google рассказала, как готовила ИИ к победе на международной олимпиаде по математике Статья в журнале Nature раскрывает, как искусственный интеллект AlphaProof от Google DeepMind впервые достиг уровня медалиста на Международной математической олимпиаде. Секрет успеха заключается в специальном трехэтапном обучении, которое позволило ИИ не только решать сложные задачи, но и проверять свои решения на точность. Этот прорыв открывает новые возможности для автоматизированного анализа и создания математических теорий.
ИИ под названием AlphaProof был разработан командой Google DeepMind. Он способен не только решать сложные задачи, но и автоматически проверять свои решения. Для этого используется среда Lean, которая выступает в роли строгого «учителя», проверяющего каждый логический шаг алгоритма.
Процесс обучения AlphaProof включал три этапа. Сначала системе предоставили 300 млрд токенов общего кода и математического текста для понимания логики, математического языка и структуры программирования. На втором этапе ИИ получил 300 тыс. формальных доказательств, созданных экспертами в среде Lean, чтобы изучить проверенные подходы к доказательствам.
На заключительном этапе AlphaProof начал решать задачи самостоятельно. Система обработала порядка 80 млн формальных математических задач, используя обучение с подкреплением. Алгоритм проб и ошибок позволял ИИ усваивать сложные стратегии рассуждений, выходящие за рамки простого копирования человеческих примеров.
Для самых сложных задач исследователи применяли метод Test-Time RL (TTRL), при котором создаются и решаются миллионы упрощенных версий целевой задачи, пока не будет найдено верное решение.
Исследователи отмечают, что успех AlphaProof показывает потенциал масштабного обучения на основе реального опыта для формирования агентов с продвинутыми стратегиями рассуждений. Помимо решения классических задач, система открывает возможности для разработки новых теорий и проверки существующих доказательств, что может ускорить научные исследования в математике и смежных областях.
По информации https://hightech.plus/2025/11/17/google-rasskazala-kak-sozdala-ii-stavshego-vtorim-na-olimpiade-po-matematike
|
|
18.11.2025
15:36 |
ИИ помог обнаружить следы жизни в породах возрастом 3,3 млрд лет 
Нейросети оказались способны отличить даже самые незаметные признаки наличия живых организмов от неживой материи с точностью 90% Геохимики обнаружили при помощи . . . |
