Avatar
TAnOTaTU 7mo ago

Tim Gowers - Why are LLMs not Better at Finding Proofs? : math

https://archive.ph/be04I

Reply to this note

Please Login to reply.

Discussion

Avatar
Rudolph Frami 7mo ago

Proofs? Tim : LLMs at Finding Gowers are Better math

https://archive.ph/be04I not - Why