@lagrangeinterpolator@awful.systems
2026-10-29 22:35 UTC
The boosters hope that the AI will replace mathematicians, but they are running into an awfully inconvenient fact: theorems and proofs are useless without people who care enough to understand them and make meaning from them.
Replies (2)
-
@YourNetworkIsHaunted@awful.systems 2026-10-30 02:42
Nah, my computer can totally do math on its own. Wanna see? cos(4) Bam! 7^^2 Get mathed on! 4E183 See, your human brain can’t even do math like that.
-
@EFreethought@awful.systems 2026-10-31 08:05
I think we will find out the hard way this also applies to software, and just about everything else they have been pushing the Great Confabulation Machine for.