Гауэрс, Тимоти

Pause

Уильям Тимоти Гауэрс (William Timothy Gowers; род. 20 ноября 1963, Уилтшир, Великобритания) — британский математик. Доктор (1990), профессор кафедры комбинаторики Коллеж де Франс (с сохранением должности на условиях частичной занятости в Кембриджском университете), член Лондонского королевского общества, иностранный член Американского философского общества (2010)[4]. В 1998 получил Филдсовскую премию за исследования, связавшие такие области математики, как функциональный анализ и комбинаторику. Выступает одним из ведущих экспертов в дискуссии об автоматическом доказательстве теорем и влиянии искусственного интеллекта на науку[5][6].

Биография

Тимоти Гауэрс родился 20 ноября 1963 года в Уилтшире. Учился в Кембриджском университете, в 1990 году получил докторскую степень (научный руководитель — Бела Боллобаш).

С 1991 по 1995 год трудился на факультете математики Университетского колледжа Лондона.

В 1998—2020 годах — профессор математики в Кембриджском университете. В 2000—2002 годах — приглашённый профессор в Принстонском университете. С 2009 года — профессор-исследователь Королевского общества, с 2020 года — профессор кафедры комбинаторики в Коллеж де Франс[7].

Награды

Научный вклад

В аддитивной комбинаторике:

  • дал принципиально новое доказательство теоремы Семереди. Доказательство было обобщением исторически первого аналитического доказательство теоремы Рота (канонического частного случая теоремы Семереди). Для этого использовалось новое понятие, названное позже нормой Гауэрса, которое обобщает коэффициенты Фурье в конечных полях;
  • построил контрпример, определяющий границы улучшения оценок в лемме регулярности Семереди[8].
  • доказал лемму регулярности для гиперграфов (2007), что позволило дать первое комбинаторное доказательство многомерной теоремы Семереди с явной оценкой;
  • внёс значительный вклад в изучение квазислучайности в группах и графах, тесно связав эти исследования с аддитивной комбинаторикой.

Искусственный интеллект в математике

В 2026 году Гауэрс провёл эксперимент с языковой моделью GPT-5.5 Pro, в ходе которого нейросеть улучшила верхнюю границу в задаче аддитивной теории чисел с экспоненциальной до полиномиальной. Математик высоко оценил этот результат, сравнив его с уровнем хорошей главы докторской диссертации (PhD) по комбинаторике[9][10].

В мае 2026 года на конференции GOSIM AI в Париже Гауэрс изложил своё видение трансформации математики в эпоху искусственного интеллекта. Он спрогнозировал скорый переход к автоформализации доказательств, когда ИИ сможет переводить обычные математические тексты в строгий машинный код. По мнению учёного, успехи нейросетей меняют нижнюю планку вклада в науку: теперь исследователям необходимо доказывать то, с чем не могут справиться большие языковые модели. При этом Гауэрс выразил серьёзные опасения по поводу возможного «разрушения математической культуры», предупредив, что без наработки глубокой экспертизы научная литература разрастётся, но понимать её будет некому. Несмотря на это, он подчеркнул незаменимость человеческого понимания в математике[11][10][12].

Публикации

Примечания

  1. ↑ Архив истории математики Мактьютор
  2. ↑ Lundy D. R. William Timothy Gowers // The Peerage (англ.)
  3. ↑ Mathematics Genealogy Project (англ.) — 1997.
  4. ↑ APS Member History. Дата обращения: 30 октября 2020. Архивировано 14 октября 2020 года.
  5. ↑ Интервью о будущем математики и ИИ. chiefscientist.org. Дата обращения: 2 сентября 2026.
  6. ↑ Гауэрс об ИИ. we0.ai. Дата обращения: 2 сентября 2026.
  7. ↑ Appointment of Sonia Garel and Timothy Gowers. Collège de France. Дата обращения: 2 сентября 2026.
  8. ↑ W. T. Gowers, "Lower bounds of tower type for Szemerédi's uniformity lemma", Geometric & Functional Analysis GAFA, May 1997, Volume 7, Issue 2, pp 322–337. Дата обращения: 2 сентября 2026. Архивировано 18 июня 2018 года.
  9. ↑ A recent experience with ChatGPT 5.5 Pro. Gowers's Weblog (8 мая 2026). Дата обращения: 2 сентября 2026.
  10. ↑ 1 2 Лауреат медали Филдса: ChatGPT 5.5 Pro решил открытую математическую задачу за час. MLTimes. Дата обращения: 2 сентября 2026.
  11. ↑ Alexy Interviews Sir Timothy Gowers on the Future of Math and AI. Chief Scientist. Дата обращения: 2 сентября 2026.
  12. ↑ ИИ решает задачи, над которыми математики сидели годами. MLTimes. Дата обращения: 2 сентября 2026.

Ссылки

Дополнительно по теме

Pause