2 ms·

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 neces

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 11d ago
But are you pretty sure or actually sure?
- utopcell 11d ago
  They obviously did not send the proof to Claude.