Математик Жимін Тау попереджає, що в математиці насувається криза надлишку доказів, адже ШІ розв’язує 7 із 10 дослідницьких задач

2026-07-27 09:13:39

За словами математика Жимінга Тао на Міжнародному конгресі математиків (ICM), математика переживає фундаментальну кризу щодо методів і цінностей досліджень, адже системи ШІ вже можуть розв’язувати математичні задачі дослідницького рівня за ціною від $10 до $1 000 за задачу. У тестуванні системи First Proof ШІ розв’язали 7 із 10 нових дослідницьких задач до публікабельної якості, змістивши математику з «дефіциту доведень» у «надлишок доведень». Тао наголосив, що критично важливим навиком більше не буде першими розв’язувати задачі; натомість потрібно оцінювати важливість результатів, чітко пояснювати доведення та перетворювати їх на спільне людське розуміння.

Переглянути джерело

Застереження: інформація на цій сторінці може походити зі сторонніх джерел і надається виключно для ознайомлення. Вона не відображає позицію чи думку Gate і не є фінансовою, інвестиційною чи юридичною консультацією. Торгівля віртуальними активами пов’язана з високим ризиком. Будь ласка, не покладайтеся лише на інформацію з цієї сторінки під час прийняття рішень. Детальніше дивіться у Застереженні.

Пов’язані новини

1год тому

Підприємства впроваджують гібридні моделі ШІ, тоді як OpenAI та Anthropic зазнають тиску через ціни

5год тому

Генеральний директор OpenAI Сем Альтман цього тижня відвідає Білий дім, щоб обговорити швидке схвалення потужної нової ШІ-моделі

07-26 02:31

Інститут досліджень LG AI запускає сервіс для аналізу 8 000 компаній

07-25 09:37

Збої в роботі ChatGPT і Codex: підвищений рівень помилок тривав 12 хвилин

07-25 07:37

Китай і США реалізують різні стратегії в галузі ШІ, заявив колишній посол Чжао Лін 24 липня

Поглиблений аналіз