So, what I am thinking is that, the AI generated numbers or tried to find numbers "a", "b" and "c" to check if aⁿ + bⁿ = cⁿ

Can not we do it by code?

kbelder 3 hours ago | parent | next [-]

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

estetlinus 3 hours ago | parent | prev | next [-]

Sure, go on and try it ;)

	▲	charlieyu1 3 hours ago \| parent [-]
		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?

	▲	sweetheart 2 hours ago \| parent [-]
		maybe it will be an answer that entices them to understand more :)