Новость «ИИ опроверг важную гипотезу Эрдёша» нашумела, в том числе на Хабре. Но всем, кроме математиков, по громким заголовкам сложно понять масштаб события. Что это значит: революцию в науке или мелкую разовую удачу? Как это правильно оценить?Мы в Kodik занимаемся не математикой, а
Два математика доказали первый этап любимой гипотезы Эрдёша о закономерностях в последовательностях чисел Пара математиков доказала первую часть одной из наиболее знаменитых гипотез, касающихся аддитивных свойств целых чисел. Её более 60 лет назад предложил легендарный…
Величайшие математические успехи искусственного интеллекта связаны с решениями задач, поставленных неординарным ученым середины XX века. Изучая особенности задач Эрдёша, математики пытаются понять, как искусственный интеллект может изменить остальные области…
Математик Паата Иванишвили из Калифорнийского университета в Ирвайне сообщил, что Grok 4.6 в обвязке Grok Build (аналог Claude Code от SpaceXAI) доказал гипотезу Холмса, Холройда и Рамиреса, которую Иванишвили окрестил "Greedy is least speedy" ("жадный — самый медленный"). Модель доказала более сильную комбинаторную Гипотезу 5 из той же статьи — а из нее основное утверждение следует автоматически. Результат оформлен в короткую заметку, соавтором которой стал Шэнтун Чжан из Стэнфорда. Читать далее