снова слышен стук колес чучух-чучух... что привезли нам на этот раз? ресеч по ии в формальной математике и доказательстве теорем https://github.com/researchim-ai/state-of-ai/blob/main/AI_Formal_Math_research.md ресеч по ии в госсекторе и госуправлении https://github.com/researchim-ai/state-of-ai/blob/main/AI_Government_research.md другие ресечи тут https://github.com/researchim-ai/state-of-ai/tree/main А проектики делаем в https://t.me/researchim