Discussion about this post

User's avatar
Neural Foundry's avatar

Brilliant analysis of Beguš's reframing. The shift from "can machines think like us" to "what if we designed them differently" is kinda what formal verification has been doing all along with proof assistants. I remember working thru some Coq proofs and realizing the system wasn't trying to mimic human reasoning, it was forcing me to think in its terms, which actually made my logic tighter. Maybe the real win isnt making AI more humanlike but letting their non-human nature expose gaps in our own thinkng.

Expand full comment
Leah LaChapelle's avatar

This is a soul-utionary portal-opener: "refusal to stop at diagnosis". AWESOME, 1%!

Expand full comment
6 more comments...

No posts

Ready for more?