Российские школьники заняли второе место на Международной математической олимпиаде
Участники российской команды получили пять золотых и одну серебряную медаль на 59 Международной математической олимпиаде, благодаря чему команда заняла второе место в общем рейтинге. Результаты опубликованы на сайте Олимпиады.
Международная математическая олимпиада ежегодно проводится среди школьников старших классов из более чем ста стран. Во время соревнования участникам предлагается решить шесть задач из разных областей математики, условно классифицируемые по уровню сложности. Каждая задача оценивается в семь баллов, а общий максимальный результат команды для каждой задачи составляет 42 балла.
В олимпиаде 2018 года российские школьники получили максимальные 42 балла за три из шести задач, а общий результат команды составил 201 балл, благодаря чему она заняла второе место в общем рейтинге, уступив команде из США. Пять участников российской команды получили золотую медаль, а один — серебряную. Лучший результат показал Марат Абдурахманов из Челябинска, получивший максимальный возможный балл за пять из шести задач.
В 2018 году Россию на олимпиаде представляли шесть участников: Марат Абдрахманов из Челябинска, Артур Герасименко и Егор Рябов из Москвы, Станислав Крымский и Владимир Петров из Санкт-Петербурга и Сергей Лучинин из Кирова. Командой руководили Назар Агаханов из Московского физико-технического института и педагог Кирилл Сухов из Санкт-Петербургского «Президентского физико-математического лицея № 239»
На предыдущей 58 Международной математической олимпиаде золотую медаль получил один участник из России, а в общем рейтинге команда заняла 11 место. В декабре 2017 года российские школьники добились успеха на 14-й Международной естественнонаучной олимпиады среди юниоров. Все участники команды получили золотые медали, а один из них стал абсолютным победителем олимпиады.
Григорий Копиев
Для этого потребовалось около 43,1 миллиона строк кода
Компания Axiom Math сообщила о завершении компьютерной формализации теоремы классификации конечных простых групп, или «Огромной теоремы» — одного из крупнейших достижений математики XX века. Теорема [note=6469|классифицирует] конечные простые математические группы — базовые элементы, из которых можно составить любую конечную группу, подобно тому, как составные числа раскладываются на простые множители. Работа над ее доказательством длится уже более полувека. В 1963 году американские математики Уолтер Фейт (Walter Feit) и Джон Томпсон (John Griggs Thompson) [note=6468|доказали], что порядок любой неабелевой конечной простой группы четен. Завершить классификацию в 1983 году смог Дэниел Горенстайн (Daniel Gorenstein), а в 2004 году Майкл Ашбахер (Michael Aschbacher) и Стивен Смит (Stephen D. Smith) опубликовали изложение объемом в 1221 страницу, завершив тем самым то, что стало известно как доказательство первого поколения. Именно его формализацией и занималась Axiom Math.