@chayito09 Buen día, Dra. Rosario.
Considero que es factible aprender a utilizar AlphaFold, fundamentos de machine learning y los principios de programación en Python simultáneamente, digamos: un 70% dedicado Alphafold , un 20% a los principios de ML y 10% a la programación.
Natural evolution suggests that AGI won't come from larger models that cram more and more specific knowledge, but from discovering the meta-rules that allow a system to grow and adapt its own architecture in response to the environment.
"We should develop many technologies and implement those that test out best. The current policy of strangling world economies, demonising technology, and impoverishing billions to pose as a virtue monoculture, is even more stupidly irresponsible than what we did to nuclear power."
@DavidDeutschOxf
Professor Bas van Fraassen argues science doesn't deliver literal truth about reality, meaning unobservable physics is merely a model. He also contends the self isn't a thing and that logic permits free will, ultimately sharing how he maintains faith in God without relying on metaphysics.
What Twitter lost when academics left wasn’t authority figures. It was a community who loved learning for its own sake, who took pride in explaining things to others.
They left, and the cool threads about modern art, military history, and quantum physics left with them.
En casas y centros educativos debemos centrar nuestro empeño en que niños, adolescentes y jóvenes puedan mantener intacto el ahínco por imaginar. Quien mantiene viva su imaginación mantiene viva su libertad. Mirar más allá de lo que se ve. Ver para imaginar nuevas posibilidades.
Andrew Wiles thought he had proved Fermat's Last Theorem. Then he realized that his proof was broken. A year later, he "fixed" it. Wait, wait, this makes no sense at all😱! Math was supposed to be about "true vs false"—what is this "broken vs fixed" thing?⤵️
In case you never heard of Abstract Algebra before as a math subject, here it is in a nutshell: it's a subject that deals with different sets which are equipped with one or more binary operations and axioms that give rise to different types of algebraic structures called Groups,
As a Math and Category Theory fan, I so much wish programming was the same:
Formal. Pure. Unambiguous.
But it’s not.
It’s always nice when you can leverage some math properties and write elegant correct software. And it sure feels nice to ignore the real world and pretend you do math in programming.
But Programming Languages are communication tools.
They communicate the developer intent to the machine. But they also communicate the developer intent to another human being.
This is a very unique position.
Computers are great because they do exactly what you tell them to do.
Computers are terrible because they do exactly what you tell them to do.
When a program is compiled, it’s a perfectly unambiguous process that follows the compiler logic.
But when a human reads code, it’s not so unambiguous anymore.
Moreover, mature programming languages usually have multiple overlapping features. So even for compilers it’s not always clear what you wrote.
It’s a weird world in which you can’t even say computer programming is a mathematical endeavor, a completely trivial observation to anyone with even a passing familiarity with the work of Turing, Gödel, Church, Strachey, Scott, Knuth, Dijkstra… without people jumping down your throat about their not solving equations in their software, or offering the billionth misunderstanding of Gödel’s incompleteness theorems on the subject.
The bottleneck for deep skill isn't usually intelligence, but boredom tolerance.
Learning has an activation energy: below a certain skill threshold, practice is tedious, but above it, it becomes a self-sustaining flow state. The entire battle is persisting until that transition.
AI is going to give us doom. AI is going to give us abundance. Erm both these statements are without mechanism. We need hardware interfaces to build / grow stuff. Then the abundance agenda starts to look good & with good ethics & regulation we can deal with the doom.