Hacker News Reader

Just loop through all values of a, b, c, and n?

Sure, go on and try it ;)

I found a brilliant proof but there was not enough hard disk space to save the file :(

Lean _is_ code. FLT cannot be proven by exhaustion because it's domain is an infinite set: the natural numbers above 2.

If they’re asking that kind of question, do you think this answer will help them understand anything?

maybe it will be an answer that entices them to understand more :)

Yes