Grok 4.6 доказал математическую гипотезу «жадный — самый медленный»

Математик Паата Иванишвили из Калифорнийского университета в Ирвайне заявил, что модель Grok 4.6 в связке с инструментом Grok Build (аналог Claude Code от SpaceXAI) доказала гипотезу Холмса, Холройда и Рамиреса. Гипотезу он окрестил «Greedy is least speedy» («жадный — самый медленный»). По словам Иванишвили, модель не просто подтвердила исходное утверждение, а доказала более сильную версию — Гипотезу 5 из той же статьи, из которой основное утверждение выводится автоматически.

Результат оформлен в короткую научную заметку, соавтором которой стал Шэнтун Чжан из Стэнфорда. Это ещё один пример того, как современные ИИ-модели начинают решать задачи, которые ранее считались прерогативой профессиональных математиков, и даже превосходят ожидания, находя более общие формулировки.