On: The Mathocalypse

[esafak]

This is just the first cut. I have no doubt that they will polish their proofs over time.

[mfld → esafak]

My hunch is that improving those proofs specifically might be a similar endeavour as improving a large vibe coded app.

[esafak → mfld]

It's a search problem; finding the shortest and most elegant path through the space of arguments.

[CogDisco → esafak]

I don't see how they have any incentive to do so.

[esafak → CogDisco]

I communicated loosely; I meant AI users in general, not OpenAI specifically.