If I may share, the stuff occurring in a computer would not be qualified as math … math is more about intuition and the sense of describing things in quantitative languages …
Truly a treasure trove … unfortunately, much of the wisdom from people like Dijkstra seems to have been forgotten or ignored by the software engineering industry.
Would propose to use the term Naive Artificial General Intelligence, in analogy to the widely used (by working mathematicians) and reasonably successful Naive Set Theory …
“Election has consequences.” … Managing a country is a big and critical job. Hard to imagine it was handed over to a bunch of people who barely qualified and hardly care about the future of America.
As the bottom of LLM inference, it is sampling for the next token based on the probability distribution conditioned on the tokens currently in the context window. If the distribution exhibits degeneracy in probability for more than token, outcome of the sampling will naturally, as it should, be nondeterministic. It should be left alone.
Democracy as an ideal is not what is being practiced here in the US, at least in the last twenty or so years. People hacked the supreme court, hacked the media to con the voters for vote, big money comes into the mix, etc., no wonder it is not working as it should be.
wheels get reinvented again again again and again … this is quite unique to info tech … imagine mathematicians do the same, the world would be in chaos …
I am surprised there is so much talk about China. Can we just focus on our own business here in the US: fixing the roads, bridges, schools, cities, etc.? Let’s make America greater first!
An implication from the 1985 paper of Peter Naur on programming as theory building is that the current LLM coding tool would be very effective in generating technical debt even when it works ... use at your own risk.
Would add that in the hands of experienced developers, vibe coding is of not much help either. Coding would be much minimized with a good framework and re-use, while keeping the entire codebase maintainable.