Hacker News Reader

What is the reason that we won't eventually be able to ask AI to simplify the lean proof, or make it more readable to humans? Or to read the swarm communication logs and summarize the process by which they arrived at the solution?

I don't understand why there seems to be a fundamental limitation on that front.

View on HN

There's no reason to think the LLM can't be prompted to improve its presentation. Still, can one internalize math simply by reading solution manuals?

Yes? Isn't that what humans do when teaching each other math? I don't see why, however any human prefers to teach/learn math, LLMs can't do that too.

I think the point of the "solution manuals" reference is that you have to do math to learn it, not just read the solution that someone else has written.

Reply on news.ycombinator.com