Overview
Location
United Kingdom, England, London
Founded date
2011
Mentions in press and media 4
| Date | Title | Description |
| Sign up to see | Sign up to see | Sign up to see |
| Dec 6, 2025 | «Математический сверхинтеллект» Aristotle решил 30-летнюю задачу Эрдёша | ИИ-система Aristotle от стартапа Harmonic впервые полностью автономно решила открытую математическую задачу. На решение задачи Эрдёша #124, сформулированной в 1995–1997 годах, ушло 6 часов. Еще минута понадобилась на формальную верификацию ... |
| Компьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению» Конденсированная математика Великое объединение Теорема Вспомогательный софт для доказательства теорем... | Пример расчётного доказательства в программе Lean Математики давно используют компьютеры в своей работе как инструменты для сложных вычислений и выполнения рутинных операций перебора. Например, в 1976 году методом компьютерного перебора был... | |
| Будущее математики? | В этом переводе презентации британского математика Кевина Баззарда мы увидим, что следующий комикс xkcd безнадежно устарел. Каково будущее математики? В 1990-х компьютеры стали играть в шахматы лучше людей. В 2018 компьютеры стали играть в ... |
Reviews 0
FAQ about Kevin Buzzard
When was Kevin Buzzard founded?
Kevin Buzzard was founded in 2011.
What has the press written about Kevin Buzzard?
Parsers VC has collected 4 articles mentioning Kevin Buzzard, among them “«Математический сверхинтеллект» Aristotle решил 30-летнюю задачу Эрдёша” (Dec 6, 2025) and “Компьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению» Конденсированная математика Великое объединение Теорема ...”.
Is Kevin Buzzard still active?
Yes, Kevin Buzzard is active; its latest activity on Parsers VC dates from Sep 11, 2026.