vilin97.github.io

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