По словам математика Чжимина Тао на Международном конгрессе математиков (ICM), математика находится в фундаментальном кризисе в отношении методов и ценностей научных исследований, поскольку ИИ-системы теперь способны решать математические задачи исследовательского уровня по цене от $10 до $1 000 за задачу. В тестировании от First Proof ИИ-системы решили 7 из 10 новых исследовательских задач до качества, пригодного для публикации, сдвинув математику от «дефицита доказательств» к «изобилию доказательств». Тао подчеркнул, что ключевым навыком станет не умение решать задачи первым, а способность оценивать важность результата, чётко объяснять доказательства и превращать их в общее человеческое понимание.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

1ч назад

Предприятия внедряют гибридные ИИ-модели, поскольку OpenAI и Anthropic сталкиваются с давлением на цены

5ч назад

Глава OpenAI Сэм Альтман на этой неделе посетит Белый дом, чтобы обсудить быстрое утверждение мощной новой ИИ-модели

07-26 02:31

LG AI Research Institute запускает сервис для анализа 8 000 компаний

07-25 09:37

Сбои в работе ChatGPT и Codex: повышенные показатели ошибок в течение 12 минут

07-25 07:37

Китай и США реализуют расходящиеся стратегии в области ИИ, заявил 24 июля бывший посол Чжао Линь

Детальный анализ