С 1 сентября стартует пилотный курс по общей комбинаторике и теории чисел (ОКТЧ), где работа с нейросетями станет обязательной частью программы. Студенты будут:
- анализировать доказательства, сгенерированные ИИ, и искать в них логические ошибки;
- декомпозировать и проверять на прочность десятки вариантов решений, предложенных искусственным интеллектом.
Такой подход невозможен без глубокого знания теории: отличить верное решение от «галлюцинации» нейросети сможет только тот, кто владеет фундаментальной базой.
В дополнение к основному курсу запускается факультатив «Инструменты современного математика». Здесь студентов научат использовать ИИ на уровне ведущих научных лабораторий – особенно полезным это станет для аспирантов, применяющих искусственный интеллект в своих исследованиях.
Проект задуман не как разовый эксперимент, а как начало масштабной инициативы. Успешно отработав модель на курсе ОКТЧ, Физтех планирует распространить ее на другие фундаментальные дисциплины бакалавриата и создать специализированные программы для аспирантов.
«Мы учим не просто пользоваться нейросетями, а понимать их возможности и ограничения. Наша задача – подготовить специалистов, способных уверенно ориентироваться в интеллектуальной среде будущего», – отметил ректор МФТИ Дмитрий Ливанов.
Курс разработан учеными Физтех-школы прикладной математики и информатики (ФПМИ) и Института искусственного интеллекта МФТИ.
