Ии в формал математике и доказательстве теорем https://github.com/researchim-ai/state-of-ai/blob/dev/AI_Formal_Math_research.md + ИИ в гос секторе https://github.com/researchim-ai/state-of-ai/blob/dev/AI_Government_research.md