Модель Grok 4.5 от xAI помогла опровергнуть математическую гипотезу, остававшуюся нерешенной около 30 лет
Модель Grok 4.5 от компании xAI помогла опровергнуть давнюю математическую гипотезу, остававшуюся нерешенной около трех десятилетий. Это сотрудничество подчеркивает пользу передовых систем искусственного интеллекта в математических исследованиях.
Согласно отчету, модель Grok 4.5, разработанная компанией xAI, сыграла роль в опровержении математической гипотезы, которая оставалась нерешенной на протяжении примерно 30 лет. Это достижение подчеркивает потенциал искусственного интеллекта в оказании помощи при решении сложных математических задач и знаменует собой заметную веху на пересечении искусственного интеллекта и математики.
Источник: xAI Grok (GNews) —
оригинал