2026-09-11 19:11 UTC
Replies (9)
-
@aspensmonster@tenforward.social 2026-09-11 19:21
@cwebber@social.coop I'm surprised that the letter says nothing of the fact that OpenAI effectively scooped Navier-Stokes by hiring an entire team of mathematics PhDs to steal^W learn from mathematicians that were busy pouring their mental diaries on the problem into Codex. Has that story changed in the past day or two? Standing on the shoulders of human beings that boxed a problem in sufficiently enough to allow brute-forcing a final proof in a formal proof language like Lean isn't nearly as impressive to me as everyone else seems to think it is 🤷
-
@henrahmagix@tech.lgbt 2026-09-11 19:21
@cwebber@social.coop as usual, it seems, generative Ai boosters ignore the importance and power of the notion of “we learn more by doing it ourselves” :(
-
@gimulnautti@mastodon.green 2026-09-11 19:45
@cwebber@social.coop Stupidifying humanity is what this type of LLM usage is achieving. And it’s all due to will to power, not intellect.
-
@MissAemilia@mastodon.gamedev.place 2026-09-11 20:05
@cwebber@social.coop I love the prose of this very much, it captures the problem extremely well, but I utterly despise the concession at the end. "We fully recognise the danger of this on our field, but we should allow ourselves a little, as a treat!" We've seen over the past few years just how much that doesn't work & only lets those that are known to take a mile whenever given an inch to do exactly that. Now, on the other hand, the guys over at AHM are people to watch. https://www.ahmath.org/
-
@artfulrobot@floss.social 2026-09-11 22:04
@cwebber@social.coop "solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. " ↑THIS!
-
@Fedihacker@masto.es 2026-09-11 22:59
@cwebber@social.coop In other words, cheating and plagiarism do not bring anything to the table. Edit: They should explicitly ask for libre software models, that includes training data and its labels. Generation is not useful. Retrieval is.
-
@budududuroiu@hachyderm.io 2026-09-11 23:56
@cwebber@social.coop do we then finally agree AI is capable and useful, and the issue isn't with burning tokens for a "stochastic parrot" but with how we rearrange society in light of this technological revolution?
-
@aburka@hachyderm.io 2026-09-12 04:47
@cwebber@social.coop Tao was previously cheerleading the use of AI to find proofs but I guess it's good he's figured out the scam?
-
@adingbatponder@fosstodon.org 2026-09-12 11:36
@cwebber@social.coop Does not take a medal of any sort to see that no-one is cool about LLMs producing results faster than humans can follow. Also: your paying customers/boss can check 2 hours of your work in 2 minutes with an LLM, so you are inevitably driven to cross-checking your own work with LLMs first. So we are entering a new paradigm of overload & exhaustion for 100% intellectual professions. The harm done is a price we pay for any benefits. But asking it to stop is c..ute like Canute.