On: Show HN: Sunk Cost – How long until a local LLM rig pays for itself?

[utopcell]

I'm pretty sure they were sending a prompt for Claude to _find_ the Navier-Stokes proof, using ideas that have been publicly shared before online, but not necessarily used for the problem.

[bix6 → utopcell]

But are you pretty sure or actually sure?

[utopcell → bix6]

They obviously did not send the proof to Claude.