posted in Technology
Cory Doctorow: The people who tell you ‘AI is changing everything’ are lying
www.thenerve.news/p/cory-doctorow-ai-business-incentive-to-lie-useless-chatbots-report-nikhil-suresh
The NerveCory Doctorow: The people who tell you ‘AI is changing everything’ are lyingIt has become impossible to tell managers mesmerised by artificial intelligence that the tools are not, in fact, helpful. So employees just play along with the fiction to keep their jobs, writes our tech columnistReplying to @floofloof@lemmy.ca
Lots of luddites in this thread. There’s no putting this genie back in the bottle. We are at the dawn of a Cambrian explosion of intelligence. Frontier level models are finding novel solutions to decades-long unsolved maths problems. The only limits are compute power and even more simply, energy. See you guys in the singularity
Replying to @berno@lemmy.world
Frontier level models are finding novel solutions to decades-long unsolved maths problems.
Such as?
Because if you’re talking about that recent proof of the Collatz conjecture, I’ve got bad news.
Also let me know when they figure out how to stop making stuff up, or at least to understand the difference between a sequence of tokens that represents a true fact and one that does not.
GIGAZINEAn AI-assisted 'falsification of the Collatz conjecture' was found to be invalid, having exploited a kernel bug in Lean. A proof disproving the Collatz conjecture , created with AI assistance, was accepted by the theorem proving system Lean, but it was discovered that it actually exploited a bug in the core of Lean. Leonardo de Moura, the developer of Lean, has made the details of the problem public and explained that the proof is mathematically invalid. Postmortem for Kernel Soundness Bug #14576 — Leonardo de Moura https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/ The Collatz conjecture states that for any positive integer, if you repeatedly perform the operations 'divide by 2 if even' and 'multiply by 3 and add 1 if odd,' you will eventually reach 1. For example, starting with 6, the sequence would be '6→3→10→5→16→8→4→2→1'. The calculation rules are simple, but as of the time of writing, it remains an unsolved problem with no proof or counterexample found. To disprove the Collatz conjecture, it is necessary to show that there exists at least one positive integer for