?
- 1990- .
- 2018 .
- 2019 Christian Szegedy , 10 , .
, . .
: . ? , .
: , . : ? : . , , .
?
-, - , , ? - :
— , , , , , , ., - . , . , the Annals of Mathematics Inventiones.
. the Annals of Mathematics, .
. . , the Annals of Mathematics . ? , .
: , - , (, “” “ ”).
2019 , 2015 , Inventiones, . 2019 , 2016 .
, , , , “ , , , , , , , - .”
Inventiones 2015 .
: , , . , .
p- . , , , .
, ? 99.9%, p- , - . 100 , . “” .
2019 Balakrishnan, Dogra, Mueller, Tuitman Vonk . :
. magma ( ), . , , sage. .
, . . ?
- 1993 . .
- 1994 , .
- 1995 , , . , , , . , , , .
, ? , — “ , , , .”
, — ? , . , . , .
, , , — . , ?
A
. , . .
- 1983 .
- 1994 ( ?)
- 2004 1000+ . Aschbacher , 12 .
- 2005 6 12
- 2010 6 12
- 2017 6 12
- 2018 7- 8- , 2023 .
, , . .
B
. Toby Gee 285- , .
( 2018 , 2015 , 1990- ), 2007 , , . , 13 :
, Arthur’s multiplicity formula GSp4, [Art04]. , , [GT18], , [Art13] [MW16a, MW16b]. , twisted weighted fundamental lemma, [CL10], . , [A24], [A25], [A26] [A27] [Art13], ., — ?
[CL10] :
, . , . .
[Art13]:
Arthur , , . , Jim Arthur . . 75 .
C
Gaitsgory–Rozenblyum. . . .
1000+
- . Gaitsgory–Rozenblyum 
-, . “ - .”
Gaitsgory, . , 100 . , . , “ , .”
? “” — , ? , .
-, , Markus Rabe , Google , arxiv.org , . , , 100 [Art13].
. J. Funct. Anal. 2013 . ( ). S. Gouezel 2017 , Gouezel , (Isabelle).
Gouezel . . 100 . , . “” , “”, — , . . . — , . .
, , -, :
- ,
- Gonthier, Asperti, Avigad, Bertot, Cohen, Garillot, Le Roux, Mahboubi, O’Connor, Ould Biha, Pasca, Rideau, Solovyev, Tassi, Théry -.
- : Hales, Adams, Bauer, Dat Tat Dang, Harrison, Truong Le Hoang, Kaliszyk, Magron, McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Nipkow, Obua, Pleso, Rute, Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Urban, Ky Khac Vu Zumkeller .
, : Lean, Leo de Moura Microsoft Research. , .
— Xena , .