News for hackers. Stuff that matters.

A comment on First Shape Found That Can't Pass Through Itself. Parent comment

Re:First Shape Found That Can't Pass Through Itself by dwrensha on Saturday October 25, 2025 @02:39PM (#45706035)
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

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

[ Parent | on HN ]
Re:First Shape Found That Can't Pass Through Itself by daxfohl on Saturday October 25, 2025 @05:58PM (#45707336)
Oops 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.

[ Parent | on HN ]