Искусственный интеллект Grok 4.6, разработанный в рамках проекта Grok Build, доказал гипотезу, которую математик Паата Иванишвили из Калифорнийского университета в Ирвайне назвал 'жадный — самый медленный'. Это достижение стало возможным благодаря использованию новых алгоритмов и методов, которые позволяют ИИ решать сложные комбинаторные задачи.
Гипотеза, предложенная Иванишвили, связана с комбинаторной математикой и ранее считалась слишком сложной для решения с помощью ИИ. Однако Grok 4.6 не только доказал данную гипотезу, но и подтвердил более сильную комбинаторную гипотезу 5, что указывает на высокую эффективность и мощность современных моделей искусственного интеллекта.
Это событие подчеркивает растущую роль ИИ в научных исследованиях и математике, открывая новые горизонты для автоматизации доказательств и решения сложных задач. Успех Grok 4.6 может стать важным шагом в развитии математической науки и внедрении ИИ в другие области науки.