Stochastic parrot truthers in shambles.

Formalizing is not the same as discovering. There is still plenty of room for human ingenuity.

> It is truly saddening to think that machines will deprive us of this wonder and experience.

It won't deprive us.

Recent video I've watched from Brandon Sanderson, IMO also applies to all the things we love and not just art:

https://youtu.be/mb3uK-_QkOo?si=SG1uvGUbN6SOYI_J

Makes me wonder, if we make a tradeoff for comfort and advancement from our biology's "limits" - and that tradeoff is spiritual fulfillment.

Seeing it hit across: the work we used to do outdoors, the sleep-wake-dark cycle we adhered to for millennia, and more

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

Sure, go on and try it ;)

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