http://www.oliviacaramello.com/Unification/InitiativeOfClarificationResults.html#Updates
https://www.laurentlafforgue.org/math/NoriMotivesInformation.pdf
Лично я в этом ничего не понимаю - но таки считаю, что все важные теоремы должны быть сформулированы и доказаны, не важно - "фольклорные" они или нет.
