Теренс Тао: математика становится индустрией
Автор: Yersham
Загружено: 2026-02-13
Просмотров: 83
Описание:
• Terence Tao: Machine Assistance and the Fu...
Текст представляет собой лекцию математика Теренса Тао о трансформации научных исследований под влиянием искусственного интеллекта и инструментов формальной верификации. Автор отмечает, что математика долгое время оставалась консервативной дисциплиной, но сейчас переходит к масштабным коллективным проектам и анализу больших массивов данных. На примере задач Эрдёша Тао демонстрирует, как нейросети помогают находить решения в литературе, автоматизировать доказательства и упрощать взаимодействие между профессионалами и любителями. Особое внимание уделяется языку Lean, который позволяет гарантировать абсолютную точность результатов, отсеивая ошибки ИИ. В конечном итоге исследователь прогнозирует становление гибридной модели работы, где человек и машина эффективно дополняют друг друга в решении задач средней сложности.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
