OpenAI анонсировала следующую модель Astra — не пресс-конференцией, а 10 решёнными матзадачами 🧠 Вкл
AI | Новости | Volodymyr Saakian
@ai_it_education🤖 AI новости для разработчиков, фрилансеров и бизнеса Tech Lead @ TUI · 9 лет в IT 90% моего кода пишет AI — рассказываю как и зачем Кейсы · Инструменты · Автоматизация Вопросы → @llossless
19 subscribers
Open in Telegram OpenAI анонсировала следующую модель Astra — не пресс-конференцией, а 10 решёнными матзадачами 🧠 Включая первое в истории явное построение несофической группы — открытый вопрос с 1999 года. Все доказательства верифицированы теоремным прувером Lean 4, опубликованы на GitHub. Вычислительная стоимость — около $2,000. Лауреат Филдсовской премии Тимоти Гауэрс сказал, что рекомендовал бы одно из доказательств в топовый журнал. Это уже не AI помогает учёным — это AI в роли учёного. 🔬 #OpenAI #Astra #AI
1 photo is attached to this post — visible in the Telegram app.