ИИ·Хабр ML·около 1 месяца назад

Математик Паата Иванишвили из Калифорнийского университета сообщил о том, что ИИ Grok 4.6 успешно доказал гипотезу, которую ранее считали недоступной для решения с помощью искусственного интеллекта. Доказательство включает более сильную комбинаторную гипотезу, что подчеркивает возможности современных ИИ-систем.