[pama]

Here is earlier context for how Tao used LLM tools, including GPT-4, to help him in this journey.

https://mathstodon.xyz/@tao/111233986893287137