научная коммуникация

Математик анализирует формальное доказательство и схемы вывода в контексте ИИ и математического понимания
Математика

Доказательство без понимания: что на самом деле меняет ИИ в математике

Представьте, что вас телепортировали на вершину горы. Вокруг туман, вы не знаете, как сюда попали, какие тропы ведут вниз и что находится за соседним хребтом. Вы стоите на вершине — но в темноте. Именно так один из собеседников Quanta Magazine описал ощущение математиков от доказательств, которые сегодня выдают системы искусственного интеллекта. Ответ есть. Понимания — нет.

Схема показывает, как машиночитаемый слой помогает отделить факты научной статьи от нарративного текста для людей.
Астрономия

Почему научной статье нужен второй слой: тот, который поймёт машина

Представьте, что нейросеть просматривает тысячи научных статей, чтобы собрать сводку по вашей теме. Она бодро пересказывает выводы — и вы не сразу замечаете, что половина «результатов» на самом деле взята из предложений вида «в отличие от ранее показанного…» или «авторы не изучали, но упоминают…». Проблема не в том, что модель «ленива» или плохо обучена. Проблема глубже: научная статья изначально писалась для человека, а не для машины.

Прокрутить вверх