Найти статью
Гауэрс, Тимоти
Уильям Тимоти Гауэрс (William Timothy Gowers; род. 20 ноября 1963, Уилтшир, Великобритания) — британский математик. Доктор (1990), профессор кафедры комбинаторики Коллеж де Франс (с сохранением должности на условиях частичной занятости в Кембриджском университете), член Лондонского королевского общества, иностранный член Американского философского общества (2010)[4]. В 1998 получил Филдсовскую премию за исследования, связавшие такие области математики, как функциональный анализ и комбинаторику. Выступает одним из ведущих экспертов в дискуссии об автоматическом доказательстве теорем и влиянии искусственного интеллекта на науку[5][6].
Общие сведения
Что важно знать
| Уильям Тимоти Гауэрс | |
|---|---|
| William Timothy Gowers | |
| Дата рождения | 20 ноября 1963[1][2][…] (62 года) |
| Место рождения | Уилтшир, Англия |
| Страна | |
| Научная сфера | математика |
| Место работы | Кембриджский университет |
| Образование | |
| Научный руководитель | Бела Боллобаш |
| Ученики | Бен Грин |
| Награды и премии | |
| Сайт | dpmms.cam.ac.uk/~… (англ.) |
Биография
Тимоти Гауэрс родился 20 ноября 1963 года в Уилтшире. Учился в Кембриджском университете, в 1990 году получил докторскую степень (научный руководитель — Бела Боллобаш).
С 1991 по 1995 год трудился на факультете математики Университетского колледжа Лондона.
В 1998—2020 годах — профессор математики в Кембриджском университете. В 2000—2002 годах — приглашённый профессор в Принстонском университете. С 2009 года — профессор-исследователь Королевского общества, с 2020 года — профессор кафедры комбинаторики в Коллеж де Франс[7].
Награды
- Премия Уайтхеда (1995)
- Премия Европейского математического общества (1996)
- Филдсовская премия (1998) — за исследования по функциональному анализу и комбинаторике
- Медаль Стефана Банаха (2011)
- Эйлеровская лекция (2011)
- Медаль де Моргана (2016)
- Медаль Сильвестра (2016)
Научный вклад
- дал принципиально новое доказательство теоремы Семереди. Доказательство было обобщением исторически первого аналитического доказательство теоремы Рота (канонического частного случая теоремы Семереди). Для этого использовалось новое понятие, названное позже нормой Гауэрса, которое обобщает коэффициенты Фурье в конечных полях;
- построил контрпример, определяющий границы улучшения оценок в лемме регулярности Семереди[8].
- доказал лемму регулярности для гиперграфов (2007), что позволило дать первое комбинаторное доказательство многомерной теоремы Семереди с явной оценкой;
- внёс значительный вклад в изучение квазислучайности в группах и графах, тесно связав эти исследования с аддитивной комбинаторикой.
Искусственный интеллект в математике
В 2026 году Гауэрс провёл эксперимент с языковой моделью GPT-5.5 Pro, в ходе которого нейросеть улучшила верхнюю границу в задаче аддитивной теории чисел с экспоненциальной до полиномиальной. Математик высоко оценил этот результат, сравнив его с уровнем хорошей главы докторской диссертации (PhD) по комбинаторике[9][10].
В мае 2026 года на конференции GOSIM AI в Париже Гауэрс изложил своё видение трансформации математики в эпоху искусственного интеллекта. Он спрогнозировал скорый переход к автоформализации доказательств, когда ИИ сможет переводить обычные математические тексты в строгий машинный код. По мнению учёного, успехи нейросетей меняют нижнюю планку вклада в науку: теперь исследователям необходимо доказывать то, с чем не могут справиться большие языковые модели. При этом Гауэрс выразил серьёзные опасения по поводу возможного «разрушения математической культуры», предупредив, что без наработки глубокой экспертизы научная литература разрастётся, но понимать её будет некому. Несмотря на это, он подчеркнул незаменимость человеческого понимания в математике[11][10][12].
Публикации
- Gowers, W.T.; Maurey, Bernard. The unconditional basic sequence problem (неопр.) // Arxiv.org. — 1992. — 6 May.
- Gowers, W.T. Hypergraph regularity and the multidimensional Szemerédi theorem (англ.) // Ann. Of Math. 166, 897–946 : journal. — 2007.
- Gowers, Timothy. Mathematics: A Very Short Introduction (неопр.). — Oxford Paperbacks, 2002. — ISBN 978-0192853615.
- The Princeton Companion to Mathematics (неопр.) / Gowers, Timothy. — Princeton University Press, 2008. — ISBN 978-0691118802.
Примечания
Ссылки
- Блог Тимоти Гауэрса (англ.)