Because I wasn't familiar with it and others might be curious too: that prompt is available at https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98... and is just below 5 KiB of text.
Do we know how much token dollars it took to solve?
Hacker News new | past | comments | ask | show | jobs | submit