Post #3736954
2026-07-10 20:22 UTC
3/ Two things happened to me along the way.
I still think it is more fun to work with people, in particular PhD students, than with so-called AI's.
And the machine was actually OK. But just OK.
Also it was impressive, e.g. writing Agda code we know we could have written ourselves, if we wanted to and if we were patient enough.
Everything I discuss here is public [3], including the AI's own first-person account and every prompt I gave it.
You will have to judge by yourself.
I don't think I know what this means for the future, and I don't think anybody else knows either.
But I am kind of sad after this experiment.
[3] https://github.com/martinescardo/ClaudeExperiment
Replies (2)
-
@MartinEscardo@mathstodon.xyz 2026-07-10 20:50
4/ The LICENSE. "... Whether copyright subsists in AI-generated output is legally and morally unsettled; no copyright is asserted here by any person, and none should be inferred. To the extent that any rights nonetheless subsist in this work, it is made available under the terms of the MIT License" I made the AI to write this. 🙂
-
@jeanas@mathstodon.xyz 2026-07-11 16:45
@MartinEscardo@mathstodon.xyz > I don't think I know what this means for the future, and I don't think anybody else knows either. Some of the consequences of the current race to build data centers as fast as possible before we switch to a fully clean grid are unfortunately very well-predicted: just open the IPCC reports :(