Post #2920386

@tao@mathstodon.xyz If I recall correctly, you even used "proof indigestion" in your talk which made me laugh. I think there are analogs in programming too and one can replace "proof" with "code". I constantly catch Claude doing unnecessary things and stop it before I lose the ability to grok the output. For example, can we replace generated implementation of algorithm A by AI with a better algorithm B. If so, we are on firmer ground.