MorcoreAi🌐 | Новости из мира искусственного интеллекта✅
IT и технологии · 28 июля 2026 г.
ИИ сдвинул задачу, над которой бились 80 лет — 28 июля 2026 г. в 12:01:52.509
ИИ сдвинул задачу, над которой бились 80 лет Представь: раскладываешь зубочистки одной длины и соединяешь ими точки. Соседние точки всегда на равном расстоянии. Пока точек мало — легко. Больше — уже паутина. Над задачей бились почти 80 лет. Придумал её венгр Пол Эрдёш, платил премии из своего кармана. Никто не решал. Теперь дело сдвинул ИИ. Нейросети решили гипотезу Эрдёша — полностью или частично. Машина перебирает миллионы вариантов за минуты. Но есть нюанс. Нейросети любят уверенно врать: выдадут красивую формулу, а на проверке чушь. Поэтому рядом посадили проверяльщик (Lean или Coq). ИИ подкидывает идею, проверяльщик ловит каждую дырку. На выходе строгое доказательство. Придраться не выйдет. При этом 6 из 7 задач по миллиону долларов ИИ пока не по зубам. Гипотеза Римана, уравнения Навье-Стокса — тут нужно озарение, а не перебор. Те же алгоритмы уже строят тебе маршруты в Яндексе #ИИ #математика #нейросети #Эрдёш