NOTE: This is entirely written by Claude. This is now a tentative writeup.

Build with AI

This section documents how to build with AI.

Roadmap

• Lean 4: add formal proofs alongside informal ones
• Interactive visualizations: add geometric and algebraic diagrams
• Paper database: build a structured database of papers referenced across the survey and research sections
• LLM chatbot: integrate an LLM-powered chatbot to provide interactive Q&A support on the website