OpenAI анонсировала новую модель под названием Astra. Она смогла выдать десять результа...
OpenAI анонсировала новую модель под названием Astra. Она смогла выдать десять результатов по задачам, остававшимся нерешёнными на протяжении десятилетий: несофические группы, гипотеза Конна, упаковка шаров и задачи Эрдёша. Основные факты: ✧ Все десять доказательств были формализованы в Lean. ✧ Поиск решений обошёлся примерно в $2000 по тарифам API. ✧ Файлы проверки выложены в открытый доступ, и любой желающий может их разобрать. ✧ Модель Astra в данный момент не доступна для использования, повторить эксперимент извне невозможно. #ИИ #нейросети #ChatGPT #ML #ИскусственныйИнтеллект
82 просмотров
Канал в каталоге Максиметера
10 подписчиков · Бизнес