中国数学家准备1000道题向人工智能发起挑战
🧠 中国数学家准备1000道题向人工智能发起挑战 61岁南京大学教授孙志伟编纂了一部包含1000个未解数学猜想、超过400页的合集。该学者坚信人工智能无法解决……
- 01.🧠 中国数学家准备1000道题向人工智能发起挑战 61岁南京大学教授孙志伟编纂了一部包含1000个未解数学猜想、超过400页的合集。该学者坚信人工智能无法解决……
🧠 Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту 61-летний профессор Нанкинского университета Сунь Чживэй составил сборник из 1000 нерешённых математических гипотез объёмом более 400 страниц. Учёный уверен, что ИИ не сможет решить абсолютно все математические задачи, а главная ценность человека в будущем будет заключаться в способности придумывать новые теории и задавать правильные вопросы. Сам профессор активно использует нейросети в исследованиях и сравнивает их с «очень умным и трудолюбивым аспирантом». Интересно, что при работе над сложными задачами он даже отключает ИИ доступ к интернету, чтобы модель не узнала, что проблема считается нерешённой, и не отказалась искать решение. За доказательство некоторых своих гипотез математик предлагает денежные награды из собственной зарплаты. По мнению Суня, математикам не стоит бояться ИИ: он освободит им время для создания новых методов и теорий. Источник
Related Intelligence
All stories →Создание агентной системы извлечения на базе Amazon Bedrock с CDK
AWS Machine Learning описывает создание агентной системы извлечения на базе Amazon Bedrock с использованием AWS CDK.
Кэширование запросов для ИИ-агентов на Amazon Bedrock
Кэширование запросов позволяет ИИ-агентам на Amazon Bedrock быть более эффективными.
GPT-6.1 Terra:OpenAI 将中端代理模型的价格减半
🖥️ GPT-6.1 Terra:OpenAI 将中档代理模型的价格减半 OpenAI 发布了 GPT-6.1 Terra,用于基于代理的场景、计算机工作和日常编码。 API 价格是 GPT-5.6 Terra 的一半:每百万输入代币 1 美元,而不是每百万输入代币 2 美元和 6 美元……