AI-Driven 'Rei-Problems' Automates Self-Verifying Academic Curriculums

This project introduces a scalable, multi-disciplinary problem database that utilizes LLMs and formal verification like Lean 4 to automatically generate and grade complex academic challenges. By integrating the 'honest positioning' principle and decentralized storage, it establishes a robust framework for AI-led education and research-level problem solving without human intervention.