Недавно мы в институте провели семинар об ИИ в математике с потрясающими приглашёнными спикерами: - Легендарный Дмитрий Рыбин рассказал об агентах для совершения открытий и сложных задач - Невероятный Василий Ильин рассказал об автоматической и надёжной формализации математики, а также провёл ликбез, что вообще такое формализация и Lean Мы в основном занимаемся биологией, поэтому спикеры подготовили доклады, которые понятны даже нематематикам. ИИ очень сильно меняет эту область уже сегодня, но это вскоре случится и с другими науками. Если хотите раньше других увидеть, как этот процесс выглядит изнутри, смотрите запись семинара Спикеры буквально находились на противоположных частях земного шара, а семинар проводился совсем в другом месте. Просто чудо, что всё удалось организовать без проблем. Обычно этот семинар внутренний, но получилось так здорово, что решили сделать запись доступной всем. Это немало работы, поэтому буду очень благодарен за лавки и репосты! #математика@chelovek_nauk