🗝️🔓Науковий 2026 рік починається з повідомлення про те, що штучний інтелект нарешті вирішує задачі, не вирішені математиками. Один з найвидатніших сучасних математиків, лауреат премії Філдса Теренс Тао підтвердив, що GPT-5.2 вирішив задачу Ердеша № 397.
Угорський математик Пал Ердеш, який опублікував більше наукових праць, ніж будь-хто інший в історії королеви наук, понад 1400, залишив більше тисячі головоломок після своєї смерті в 1996 році. У задачі № 397 ставиться питання, чи існує безліч рішень для конкретного рівняння, що включає центральні біноміальні коефіцієнти. GPT-5.2 згенерував доказ, математична LLM Аристотель виправила помилки і перевірила правильність отриманого рішення, а тепер і Теренс Тао прийняв це доказ.
Також заявляється, що GPT-5.2 вирішив задачі Ердеша № 728 і № 729 - все це буквально в останні дні. Невже ми дійсно переходимо до ери, коли нейронні мережі перейдуть від зіставлення шаблонів до справжньої логіки і доказів? Наближається штучний інтелект і веде нас до технологічної сингулярності? )
Тао, однак, підкреслює, що здібності ШІ у вирішенні математичних завдань сильно перебільшені і вирвані з контексту. Адже це все ж найпростіші задачі зі списку Ердеша, "низько висячий плід", а не глибокі новаторські прориви. Задача № 397 була переформульована всього кілька місяців тому, і математики просто не встигли за нею належним чином взятися. У оглядах пишуть, що GPT-5.2 показує дуже високі результати на добре формалізованих олімпійських задачах і значно скромніші і нестабільні успіхи на відкритих дослідницьких задачах.
Схоже, що недовго залишилося 660 нерозкритим проблемам Ердеша залишатися нерозкритими, - а там і до зовсім інших проблем справа дійде.
На фото - Теренс Тао, - до речі, людина з найвищим IQ у світі, 225–230 балів.
#BTC #BTC走势分析 #Write2Earn $TRX
