1 мес. назад
21
OpenAI рассказала о результатах работы своей внутренней модели Astra. Нейросеть продвинулась в решении десяти задач по математике и теоретической информатике. Некоторые из них оставались нерешенными более полувека. На поиск решений ушло токенов примерно на $2 тыс. Затем специалисты с помощью той же модели оформили результаты в научные работы, а Astra перевела доказательства в формат Lean, который позволяет проверить их корректность.
В частности, нейросеть опровергла две математические гипотезы, нашла решение задачи из квантовой теории и получила новые результаты в нескольких других областях математики. В OpenAI надеются, что математики изучат результаты и используют их в новых исследованиях.
Подпишись - Добро новости
Советуем посмотреть:
Еще новости:
Буквально мы после обеда. Подпишись - Добро новости... Читать далее >>
Ученые переработали человеческие фекалии в биоуголь, добавили его в цемент и получили материал, который на 42% прочнее обычного цемента. Также метод позволяет сократить количество используемого вредного цемента и решает проблему утилизации отходов. Осталось п... Читать далее >>
В исследовании участвовали 18 пар. Оказалось, что носовое дыхание улучшается сразу после оргазма, но эффект держится около часа.Врачи объясняют это тем, что оргазм активирует симпатическую нервную систему, вызывая сужение сосудов и уменьшение отёка слизистой.... Читать далее >>
За четыре миссии на МКС он сфотографировал практически все крупные мегаполисы Земли. Раньше города с орбиты светились преимущественно жёлто-оранжевым из-за газоразрядных ламп, но теперь их постепенно вытесняют разноцветные LED-системы.... Читать далее >>
Каждый найденный гриб провоцирует выброс дофамина и чувство награды, поэтому хочется идти дальше и снова переживать этот момент.Заодно включаются древние инстинкты: мозг воспринимает гриб как добычу и считает, что человек сделал что-то важное для выживания.Ещ... Читать далее >>
Инициативу продвинула коалиция африканских стран, потому что на привычной карте Африка выглядит заметно меньше, чем в реальности. Против резолюции проголосовали только США.Проекцию Меркатора создал фламандский картограф Герард Меркатор в 1549 году: её главный недостаток — сил... Читать далее >>
Генно-модифицированную свиную почку пересадили пациенту как временное решение — и она справилась: продержала человека до того момента, когда нашлась подходящая человеческая почка. Свиная почка проработала 271 день, и всё это она время позволяла мужчине обходиться без диализа.... Читать далее >>
Ежедневно на Эвересте оставляют около 6000 литров мочи, а за сезон из-за деятельности людей, техники и газовых баллонов тают тысячи тонн снега и льда.Из-за этого на горе появляются трещины и опасные участки, которые видны даже со спутника.... Читать далее >>
В список главных открытий года попали:👩🍼молочные белки тараканов содержат в три раза больше энергии, чем коровье молоко;👩🍼приматы, птицы, белые медведи и муравьи тоже целуются;... Читать далее >>
Исследование почти 500 тысяч человек показало, что при таком количестве кофе люди спали примерно на 15 минут меньше. При этом организм частично компенсировал сокращение сна более глубоким отдыхом и восстановлением. ... Читать далее >>
