Javier Campos @javifields@qoto.org

The Wall Street Journal portrays the current U.S. president as a puppet, Dr. Trump by day and Mr. Punch by night.

https://www.wsj.com/politics/national-security/trump-public-bravado-private-fear-59814dca?st=xAi1mB

PKU AI disproves Anderson conjecture: China's first autonomous math breakthrough. ~ Sophia Langford. https://www.academicjobs.com/research-publication-news/pku-ai-solves-anderson-conjecture-or-academicjobs-12100 #AI4Math #LeanProver

Hola gente linda, desde hacklab han desarrollado esta app para pedir cita previa de extranjeria en España, nos piden ayuda para dar difusion https://lamardecitas.net/ si tienen conocidas en este tramite seguro les ayudará ❤️ #barcelona

"On Ada, the language that the Department of Defense built, the industry ignored, and every modern language quietly became"

https://www.iqiipi.com/the-quiet-colossus.html

'For months, Microsoft and Amazon were among those publicly lobbying for fast-tracked planning permission processes, both pointing to the Spanish region of Aragón's “one-stop shop” approach for environmental paperwork.'
https://www.investigate-europe.eu/posts/big-tech-data-centres-secrecy-eu-law-environment-footprint

#OTD in 1959, LISP was introduced to the world by computer scientist John McCarthy. LISP treated code as data and emphasized symbolic computation, which made it well-suited for early work in artificial intelligence. For more #OTD in #computing: https://www.acm.org/education/otd-in-computing-history

"La crisis del Golfo agrava la escasez global de misiles".

Escasez. Global. De. Misiles.

Creo que no somos totalmente conscientes de lo *jodido* que es ese titular.

https://cincodias.elpais.com/opinion/2026-03-05/la-crisis-del-golfo-agrava-la-escasez-global-de-misiles.html

Paper: “Claude’s Cycles”, por Donald Knuth. “Shock! Shock! I learned yesterday that an open problem I’d been working on for several weeks had just been solved by Claude Opus 4.6.” Caso documentado donde una IA ayuda en una conjetura matemática concreta presentada por un matemático de primer nivel.

www-cs-faculty.stanford.edu/~knuth/papers/...

A partir de ahora publicaré aquí:
@javifields.eurosky.social

I doubt that anything resembling genuine "artificial general intelligence" is within reach of current #AI tools. However, I think a weaker, but still quite valuable, type of "artificial general cleverness" is becoming a reality in various ways.

By "general cleverness", I mean the ability to solve broad classes of complex problems via somewhat ad hoc means. These means may be stochastic or the result of brute force computation; they may be ungrounded or fallible; and they may be either uninterpretable, or traceable back to similar tricks found in an AI's training data. So they would not qualify as the result of any true "intelligence". And yet, they can have a non-trivial success rate at achieving an increasingly wide spectrum of tasks, particularly when coupled with stringent verification procedures to filter out incorrect or unpromising approaches, at scales beyond what individual humans could achieve.

This results in the somewhat unintuitive combination of a technology that can be very useful and impressive, while simultaneously being fundamentally unsatisfying and disappointing - somewhat akin to how one's awe at an amazingly clever magic trick can dissipate (or transform to technical respect) once one learns how the trick was performed.

But perhaps this can be resolved by the realization that while cleverness and intelligence are somewhat correlated traits for humans, they are much more decoupled for AI tools (which are often optimized for cleverness), and viewing the current generation of such tools primarily as a stochastic generator of sometimes clever - and often useful - thoughts and outputs may be a more productive perspective when trying to use them to solve difficult problems.