Justin McClung
@justinmcclung.bsky.social
28,769 lines of code later... Claude is still working out special cases for n = 4. But, unlike me, the machine isn't getting bored or tired.
Honestly, it's a little scary to watch this strange combination of patient, graceful "Thinking..." and relentless brute force.
No #1stProof, here. Not yet.
Honestly, it's a little scary to watch this strange combination of patient, graceful "Thinking..." and relentless brute force.
No #1stProof, here. Not yet.
February 14, 2026 at 4:15 AM
28,769 lines of code later... Claude is still working out special cases for n = 4. But, unlike me, the machine isn't getting bored or tired.
Honestly, it's a little scary to watch this strange combination of patient, graceful "Thinking..." and relentless brute force.
No #1stProof, here. Not yet.
Honestly, it's a little scary to watch this strange combination of patient, graceful "Thinking..." and relentless brute force.
No #1stProof, here. Not yet.
Giving Claude Code a workout on Question 4 of the current set of First Proof (1stproof.org) autonomous proof challenges. Only up to n = 4 with less than 9.5 hours to go. #1stProof
February 13, 2026 at 10:33 PM
Giving Claude Code a workout on Question 4 of the current set of First Proof (1stproof.org) autonomous proof challenges. Only up to n = 4 with less than 9.5 hours to go. #1stProof