sattlerc
commented
8 months ago Feel free to experiment following terms of use.
The content of the nlab is available here:
- native format: https://github.com/ncatlab/nlab-content
- rendered HTML: https://github.com/ncatlab/nlab-content-html
Closing for now since this is not a concrete issue with the current code base.
What if nlab had an interactive chatgpt bot that one could interact with on any page. The "bot" would have all the info at it's fingertips and could answer many questions about category theory one might have in an interactive process sorta like AgentGPT: https://agentgpt.reworkd.ai/ but would be specific to nlab(and maybe trained on math wiki to branch out which one could, for example, use it to reword concepts in to categorical terms).
It would be a real boon for learning category theory.
What would be nice, also is some type of tutorial. I am not sure if one could design a NN that somehow understands the progressive nature of mathematics and then generate "lectures" and "exercises" that one could take to advance ones skills along with tailoring the progression to the weakest links of the user.
Effectively if one could build a hierarchical understanding of math using LLMS and concept inclusions then it might be rather simple.