Hi,
Now history repeats itself. There are
many pseudo software engineering program
verification papers, that say, just chop
up a problem, and solve each part separately,
and put the things together. Which is utter
nonsense. Try this with a SAT Solver,
the smallest unit is the propositional variable
you cannot solve it independently, only
"try" 0 and 1, eh voila you are back to
NP Complete. Thank god we have Christos
Papadimitriou. According to Wikipedia he is
is the author of the textbook Computational
Complexity, one of the most widely used
textbooks in the field of computational
complexity theory. Might be the cure for
any singularity and AGI dreams:
Chatbot Software Begins to Face Fundamental Limitations
Recently, computer scientist Binghui Peng and
his team proved mathematically that there may
be a hard limit to LLMs’ compositional
task-solving abilities https://www.quantamagazine.org/chatbot-software-begins-to-face-fundamental-limitations-20250131/
Bye
Hi,
Most schools don't make sense. Even delegating
training to AI doesn't make any sense. The
idea of "understanding" is nonsense.
The old style of like "understanding" grammar and
lexicon, its all delivered by AI now. Because language
has so many exceptions, your brain trains like
a ChatGPT pre-trains. Schools need a new model of
A work-first, school-second approach could:
- Ensure learning is immediately applicable,
not just theoretical.
- Reduce the disconnect between school and
the real economy.
- Keep motivation high—people learn better when
they see direct relevance.
- Allow for continuous adaptation, rather than
relying on outdated curricula.
You see this in all USENET forums. People discuss
nonsense like set theory or whether wave function
is real or not. They have no clue what the
applications are. Universities need also change,
more lab work, more group work, more industry
work. USA has become a swamp of idiots.
Bye
Mild Shock schrieb:
Hi,
Now history repeats itself. There are
many pseudo software engineering program
verification papers, that say, just chop
up a problem, and solve each part separately,
and put the things together. Which is utter
nonsense. Try this with a SAT Solver,
the smallest unit is the propositional variable
you cannot solve it independently, only
"try" 0 and 1, eh voila you are back to
NP Complete. Thank god we have Christos
Papadimitriou. According to Wikipedia he is
is the author of the textbook Computational
Complexity, one of the most widely used
textbooks in the field of computational
complexity theory. Might be the cure for
any singularity and AGI dreams:
Chatbot Software Begins to Face Fundamental Limitations
Recently, computer scientist Binghui Peng and
his team proved mathematically that there may
be a hard limit to LLMs’ compositional
task-solving abilities
https://www.quantamagazine.org/chatbot-software-begins-to-face-fundamental-limitations-20250131/
Bye
Hi,
Now history repeats itself. There are
many pseudo software engineering program
verification papers, that say, just chop
up a problem, and solve each part separately,
and put the things together. Which is utter
nonsense. Try this with a SAT Solver,
the smallest unit is the propositional variable
you cannot solve it independently, only
"try" 0 and 1, eh voila you are back to
NP Complete. Thank god we have Christos
Papadimitriou. According to Wikipedia he is
is the author of the textbook Computational
Complexity, one of the most widely used
textbooks in the field of computational
complexity theory. Might be the cure for
any singularity and AGI dreams:
Chatbot Software Begins to Face Fundamental Limitations
Recently, computer scientist Binghui Peng and
his team proved mathematically that there may
be a hard limit to LLMs’ compositional
task-solving abilities https://www.quantamagazine.org/chatbot-software-begins-to-face-fundamental-limitations-20250131/
Bye
Hi,
1. Russia: Stealing data and blackmailing companies
already for years, now selling the data all over
the globe for pre-training
2. China: Has the most inovative heads, that
can sequence a LLM on a finger nail
3. India: Gifted hackers that can write DeepSeek
via Unix sed, 15 year olds showing machine learning
videos already 10 years ago
4. Europe: Everything invented anyway here
5. USA: Sam Altman and Elon Musk having a silly feud
Bye
Mild Shock schrieb:
Hi,
Now history repeats itself. There are
many pseudo software engineering program
verification papers, that say, just chop
up a problem, and solve each part separately,
and put the things together. Which is utter
nonsense. Try this with a SAT Solver,
the smallest unit is the propositional variable
you cannot solve it independently, only
"try" 0 and 1, eh voila you are back to
NP Complete. Thank god we have Christos
Papadimitriou. According to Wikipedia he is
is the author of the textbook Computational
Complexity, one of the most widely used
textbooks in the field of computational
complexity theory. Might be the cure for
any singularity and AGI dreams:
Chatbot Software Begins to Face Fundamental Limitations
Recently, computer scientist Binghui Peng and
his team proved mathematically that there may
be a hard limit to LLMs’ compositional
task-solving abilities
https://www.quantamagazine.org/chatbot-software-begins-to-face-fundamental-limitations-20250131/
Bye
Hi,
The Baby Pill killed the USA. So far the USA
was a big slave market with constant supply
from overpopulated Europe. This influx has now
stopped. So we might see a decline in
population of the USA for the first time in
history. There are doubts that whites will
procreate like guinea pigs. We might more see
a decline of population together with:
In rural areas:
Like one can build Tesla factories where robots
build e-cars, one can build Farm factories where
robots rear animals. Future agentic AI will build
these factories on their own.
In city areas:
The decline of population might increase job
availablity and wages, if there wouldn't be AI again.
Such bleak perspectives can have a negative
effect on willingness to have a family.
Bye
Mild Shock schrieb:
Hi,
1. Russia: Stealing data and blackmailing companies
already for years, now selling the data all over
the globe for pre-training
2. China: Has the most inovative heads, that
can sequence a LLM on a finger nail
3. India: Gifted hackers that can write DeepSeek
via Unix sed, 15 year olds showing machine learning
videos already 10 years ago
4. Europe: Everything invented anyway here
5. USA: Sam Altman and Elon Musk having a silly feud
Bye
Mild Shock schrieb:
Hi,
Now history repeats itself. There are
many pseudo software engineering program
verification papers, that say, just chop
up a problem, and solve each part separately,
and put the things together. Which is utter
nonsense. Try this with a SAT Solver,
the smallest unit is the propositional variable
you cannot solve it independently, only
"try" 0 and 1, eh voila you are back to
NP Complete. Thank god we have Christos
Papadimitriou. According to Wikipedia he is
is the author of the textbook Computational
Complexity, one of the most widely used
textbooks in the field of computational
complexity theory. Might be the cure for
any singularity and AGI dreams:
Chatbot Software Begins to Face Fundamental Limitations
Recently, computer scientist Binghui Peng and
his team proved mathematically that there may
be a hard limit to LLMs’ compositional
task-solving abilities
https://www.quantamagazine.org/chatbot-software-begins-to-face-fundamental-limitations-20250131/
Bye
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 468 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 15:24:03 |
| Calls: | 9,440 |
| Calls today: | 3 |
| Files: | 13,591 |
| Messages: | 6,109,504 |