alt Hacker NewsSo, 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?
Replies
sweetheart • yesterday at 7:20 PM
Lean _is_ code. FLT cannot be proven by exhaustion because it's domain is an infinite set: the natural numbers above 2.
➕ show 1 reply
Just loop through all values of a, b, c, and n?