5 ms·
Where do you see any mention of GPT? The computer-assisted component of the Noperthedron proof is a reasonably small sagemath program that was (as far as I kno
by dwrensha 11mo ago
Where do you see any mention of GPT?
The computer-assisted component of the Noperthedron proof is a reasonably small sagemath program that was (as far as I know) written by humans: https://github.com/Jakob256/Rupert https://github.com/Jakob256/Rupert
Perhaps you have confused this article with a recent unrelated announcement about a vibe-coded proof of an Erdos conjecture? https://borisalexeev.com/pdf/erdos707.pdf https://borisalexeev.com/pdf/erdos707.pdf
- daxfohl 11mo agoOops you're right! I read these both yesterday and they blended together in my memory by the time I made this comment this morning. I knew something felt "off". Tangentially I'll have to reconsider my position on long but lossy context LLMs.