🧠 Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту 61-летний профессор Нанкинского университета Сунь Чживэй составил сборник из 1000 нерешённых математических гипотез объёмом более 400 страниц. Учёный уверен, что ИИ не сможет решить абсолютно все математические задачи, а главная ценность человека в будущем будет заключаться в способности придумывать новые теории и задавать правильные вопросы. Сам профессор активно использует нейросети в исследованиях и сравнивает их с «очень умным и трудолюбивым аспирантом». Интересно, что при работе над сложными задачами он даже отключает ИИ доступ к интернету, чтобы модель не узнала, что проблема считается нерешённой, и не отказалась искать решение. За доказательство некоторых своих гипотез математик предлагает денежные награды из собственной зарплаты. По мнению Суня, математикам не стоит бояться ИИ: он освободит им время для создания новых методов и теорий. Источник
Research1 分钟阅读
中国数学家准备1000道题向人工智能发起挑战
🧠 中国数学家准备1000道题向人工智能发起挑战 61岁南京大学教授孙志伟编纂了一部包含1000个未解数学猜想、超过400页的合集。该学者坚信人工智能无法解决……
Telegram — GPT Time | Нейросети | ИИ作者: GPT Time | Нейросети | ИИ2026年10月23日 (2小时前)
提供 4 种语言版本AI 摘要:要点
- 🧠 中国数学家准备1000道题向人工智能发起挑战 61岁南京大学教授孙志伟编纂了一部包含1000个未解数学猜想、超过400页的合集。该学者坚信人工智能无法解决……
Research
KZ·AI E98AИнсайт дня
中国数学家准备1000道题向人工智能发起挑战
全文为俄语
相关文章
RUДженсен Хуанг: создание собственного ИИ — вопрос национальной безопасности Казахстана Основатель и генеральный директ...
Дженсен Хуанг: создание собственного ИИ — вопрос национальной безопасности Казахстана Основатель и генеральный директор NVIDIA Дженсен Хуанг во время встречи с министром искусственного интеллекта и цифрового развития Жасланом Мадиевым в Астане объяснил, почему…
Telegram — BlueScreen.kz
人择
ANTHROPIC:从下周开始,Claude 将开始默认使用自动模式来管理 Pro、Max 和 Team 计划的权限。在这种模式下,克劳德不会要求用户确认每个动作,而是会依靠自己的……
Telegram — Вайб-кодинг
利用人机协作发现循环突破Lehmer问题中的高次数障碍
arXiv:2610.30277v1 通告类型: new 摘要: 虽然人工智能在数学推理方面取得了快速进展,但许多开放问题依赖于仅通过大规模计算探索和分析综合才能揭示的结构。一个这样的例子……
arXiv — cs.AI
Route-and-Generate:用于LLM推理路由的KL正则化路由器改进
arXiv:2610.30351v1 通告类型:new 摘要:大语言模型往往不加区分地应用复杂推理,导致在简单任务上过度思考,在困难任务上思考不足。我们提出Route-and-Generate (Rouge),一种分层训练框架,使得...
arXiv — cs.AI