Nur.kz
Математический прорыв: модель Astra от OpenAI решила 10 застарелых научных проблем и опубликовала доказательства
3 авг. 2026 г., 07:14
Внутренняя версия модели Astra от OpenAI нашла решения для 10 задач по математике и информатике, остававшихся открытыми более десяти лет, и представила их строгие доказательства, пишет siliconangle. Компания OpenAI представила 249–страничный рукописный сборник и цифровые сертификаты Lean 4 для 10 нерешенных задач, которые были опубликованы на платформе GitHub под лицензией Apache 2.0. Все выведенные алгоритмом доказательства успешно прошли формальную машинную проверку без единого пропуска в логических цепочках.
Полная версия статьи
Для прочтения полного материала вы будете перенаправлены на сайт первоисточника.
Похожие материалы по теме: Республиканские новости
В Костанае торжественно открыли XXI республиканский межгосударственный слёт ЮИД
С 12 по 21 августа в Костанайской области пройдет XXI республиканский Слет юных инспекторов дорожного движения. В меропр...
Участники 21-го Слёта юных инспекторов дорожного движения прибывают в Костанай
В Костанайской области пройдет XXI республиканский Слет юных инспекторов дорожного движения с 12 по 21 августа. В меропр...
Новый портал для учета очередников заработал в Казахстане
В Казахстане создан «Центр обеспечения жильем» с порталом orken.otbasybank.kz. Он позволит централизованно вести учет оч...
350 грантов выделил фонд «Қазақстан халқына» выпускникам из сельской местности
Претендовать на образовательный грант могут выпускники школ сельских населенных пунктов, малых и моногородов в возрасте...