Hacker News Reader

> It sounds horrible to wade through - like trying to understand someone else's messy code that still produces the correct output.

Makes you wonder if AI can build upon such proofs.

If the AI cannot create proper abstractions, then how can it build a tower of abstractions?

View on HN

If you can analyze it with AI it implies AI can understand it (as it can analyze it for itself as well) and thus can build on it.

But if you train the next generation of models on it, will AI be able to use it? How much larger will these models be, etc.

Also, AI has limited context. At a certain point proofs may become so complicated that an AI cannot keep most of it in memory and will not reuse it for new proofs.

Reply on news.ycombinator.com