I was going to write a post disagreeing with this on the basis of the fact that the reader lacks the background information the LLM has. For example, if I were to prompt "explain the proof of quadratic reciprocity using…
I'm not getting any processing errors. Seems to render fine on both Chromium and Firefox.
Love how Notepad has syntax highlighting for many languages and even has linting for JSON, HTML, and JS :)
Grothendieck's disgust of the mathematics community also reached a breaking point in 1970!
I happened to notice the exact same thing when playing with this puzzle in Lean!
Nice to see a response from you! I have read the rest of the argument. However, my take upon reading it is that this is just one more contribution in a back-and-forth argument about every aspect that has been studied in…
That's a good response! I had to spend some time to work out what goes wrong here. But I figured it out. Parallel transport is broken in your model of the sphere. Take this example. Take a vector pointing north in…
You're right that there are no (smooth) flat embeddings of a torus into 3-space. To understand how a torus can be flat, it's best to replace the idea of folding with the idea of placing portals on edges. Start with a…
I was going to write a post disagreeing with this on the basis of the fact that the reader lacks the background information the LLM has. For example, if I were to prompt "explain the proof of quadratic reciprocity using…
I'm not getting any processing errors. Seems to render fine on both Chromium and Firefox.
Love how Notepad has syntax highlighting for many languages and even has linting for JSON, HTML, and JS :)
Grothendieck's disgust of the mathematics community also reached a breaking point in 1970!
I happened to notice the exact same thing when playing with this puzzle in Lean!
Nice to see a response from you! I have read the rest of the argument. However, my take upon reading it is that this is just one more contribution in a back-and-forth argument about every aspect that has been studied in…
That's a good response! I had to spend some time to work out what goes wrong here. But I figured it out. Parallel transport is broken in your model of the sphere. Take this example. Take a vector pointing north in…
You're right that there are no (smooth) flat embeddings of a torus into 3-space. To understand how a torus can be flat, it's best to replace the idea of folding with the idea of placing portals on edges. Start with a…