🧠 Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту 61-летний профессор Нанкинского университета Сунь Чживэй составил сборник из 1000 нерешённых математических гипотез объёмом более 400 страниц. Учёный уверен, что ИИ не сможет решить абсолютно все математические задачи, а главная ценность человека в будущем будет заключаться в способности придумывать новые теории и задавать правильные вопросы. Сам профессор активно использует нейросети в исследованиях и сравнивает их с «очень умным и трудолюбивым аспирантом». Интересно, что при работе над сложными задачами он даже отключает ИИ доступ к интернету, чтобы модель не узнала, что проблема считается нерешённой, и не отказалась искать решение. За доказательство некоторых своих гипотез математик предлагает денежные награды из собственной зарплаты. По мнению Суня, математикам не стоит бояться ИИ: он освободит им время для создания новых методов и теорий. Источник
Материал агрегирован из первоисточника:
Telegram — GPT Time | Нейросети | ИИ
Читать полностью в Telegram — GPT Time | Нейросети | ИИКитайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту
🧠 Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту 61-летний профессор Нанкинского университета Сунь Чживэй составил сборник из 1000 нерешённых математических гипотез объёмом более 400 страниц. Учёный уверен, что ИИ не сможет решить…
Кратко от AI: Главные тезисы
- 🧠 Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту 61-летний профессор Нанкинского университета Сунь Чживэй составил сборник из 1000 нерешённых математических гипотез объёмом более 400 страниц
- Учёный уверен, что ИИ не сможет решить…
Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту
Похожие материалы
ANTHROPIC
ANTHROPIC: Со следующей недели Claude начнёт по умолчанию использовать Auto Mode для управления разрешениями на тарифах Pro, Max и Team. В этом режиме Claude не будет запрашивать у пользователей подтверждение каждого действия, а вместо этого станет полагаться на собственную…
Преодоление барьера высокой степени в задаче Лемера с помощью цикла открытий человек-ИИ
arXiv:2610.30277v1 Тип объявления: new Аннотация: Хотя искусственный интеллект достиг быстрого прогресса в математическом рассуждении, многие открытые проблемы зависят от структуры, которая раскрывается только через крупномасштабное вычислительное исследование и аналитический синтез. Одним из таких примеров…
Route-and-Generate: Улучшение KL-регуляризованного маршрутизатора для маршрутизации рассуждений в LLM
arXiv:2610.30351v1 Тип объявления: new Аннотация: Большие языковые модели часто применяют сложное рассуждение безразлично, что приводит к чрезмерному обдумыванию простых задач и недостаточному обдумыванию более сложных. Мы представляем Route-and-Generate (Rouge), иерархическую обучающую структуру, которая позволяет...
ENSoft Ontology Priors over Latent Concept Posteriors for Weakly Supervised Neuro-Symbolic Learning
arXiv:2610.30391v1 Announce Type: new Abstract: Neuro-symbolic (NeSy) predictors that supervise only the task label suffer from reasoning shortcuts: distinct concept mappings achieve the same maximum likelihood, leaving the recovered concepts unidentifiable and unsafe for…