Выступление профессора сэра Тимоти Гауэрса «Чем занимался ИИ во время моих летних каникул», 10 ок...

За лето различные крупные языковые модели решили ряд давних открытых математических проблем. Я расскажу о нескольких из них, стремясь объяснить неспециалисту, что ставилась перед ним задача, почему она вызывала интерес, каков был ответ и, по возможности, приблизительно как выглядело доказательство.