Post #4298521
2026-07-10 21:04 UTC
@MartinEscardo@mathstodon.xyz "everything else was written by Claude ..."
I'm no expert, but I believe that the concept of "written by Claude" can mean dramatically different things depending upon what it's been trained on. Suppose it was trained on a similar proof, and only had to tweak it? Are full proofs embedded in the models, so they can be extracted with the right prompts? I think the answer is yes, but again I'm no expert.
Replies (1)
-
@MartinEscardo@mathstodon.xyz 2026-07-10 21:08
@fullyabstract@fosstodon.org Yes, of course, I fully agree. I don't know how people are going to read my thread. The way I read it myself is this: "Some people told me not to get behind, so I tried, and I had mixed views, mostly negative, but who knows where this is going." Remember, the thread is called "An experiment".