Gyde aims to centralize education services over a network of schools connected by academic profiles, and use these profiles to map higher STEM. Initially, we will focus on learning management (LMS) and peer review. This may allow us to build learning routes that lead to modern research.
Artificial Intelligence (AI) will be our technical backbone. We seek to convert written text to LaTeX, and LaTeX to formal math (LEAN) to make it easier for AI to determine truth values of mathematical arguments, and eventually personalize learning and optimize recommendations, thus giving all users a personalized AI that learns with them and guides them. Training LLM in such a social network might provide a pathway for a general intelligence system (AGI) given the breadth of applications that stem from mathematical comprehension and reasoning.