|
Reddit and PLOS Science invited me to an
Ask Me Anything session that was in the top 10 all time Reddit/PLOS Science AMAs in 2018 |
|
I was invited to write an essay to imagine how
Computing will look like in the year 2065--published by Springer Nature (ed. Prof. A. Adamatzky): Reprogramming Matter, Life, and Purpose. |
At Christ Church College, Oxford
|
I consider myself a 'computational natural scientist'. Gregory Chaitin, one of the founders of Algorithmic Information Theory, once described me as a "new kind of practical theoretician". I introduced the field of Algorithmic Information Dynamics (AID), a type of discrete calculus that can allow true AI to navigate between the physical world and software space (like in the Matrix) to conduct guided searches (in the space of all computer programs) to reveal computable (generative and mechanistic) models able to explain observations made in the the (apparent) real world, thereby enabling the most powerful form of automated causal and scientific discovery.
After a research position at the Behavioural and Evolutionary Theory Lab, Department of Computer Science, University of Sheffield (UK), I joined the Structural Biology Group of the Department of Computer Science at the University of Oxford as a Senior Researcher and faculty member, and later as the Director of Oxford Immune Algorithmics, a biotech spinout from Oxford University based in the West of London (with branches in Dubai, Abu Dhabi, Dhaka and Atlanta) that has raised 8M USD from UK and Canadian investors. Hosted by the Alan Turing Institute in London (based at the British Library) and funded by the U.S. Department of Defence reporting at the highest level; I was appointed to lead and deliver an international report to advise the UK and allies on the future of advanced AI capable of making scientific discoveries worth a Nobel prize in a scientific domain. In France, I led the Paris-based Algorithmic Nature Group, the lab that started the Online Algorithmic Complexity Calculator and the Human Randomness Perception and Generation Project (prompting wide media coverage), a kind of inverse Turing test involving 3,400 humans. For academic merit, I was given French citizenship (making me a national of 4 countries). In the U.S., I was a member of the NASA Payload team for the Mars Biosatellite project at the MIT in Boston (Cambridge, MA) in charge of the development of the tracking software to study the effects of microgravity on living organisms. I worked also for the (then very small) coding team of Wolfram|Alpha, the A.I. engine behind technology like Apple Siri and Alexa, working for the CEO Dr. Stephen Wolfram in Boston, MA and Urbana-Champaign, IL. In Sweden, following an Assistant Professorship position at the Unit of Computational Medicine and SciLife in Stockholm, I led the Algorithmic Dynamics Lab at the Karolinska Institute (the institution that awards the Nobel Prize in Physiology or Medicine). I am also the founder of the Automacoin Foundation, the wisest and most environmentally-friendly cryptocurrency (unlike Bitcoin) and ultimate experiment for an intelligent civilisation to conduct as soon as such civilisation reaches enough computational capability. Automacoin is a digital token connected to my AID theory and based on the economics of scientific knowledge and truth dedicated to find all possible answers to all possible (computable) questions, including perhaps how to solve existential risks. The preliminaries of this project alone has received almost 1M USD in funding in computing power from the largest super computers in the world. I have been an invited visiting scholar and professor at institutions such as Carnegie Mellon in Pittsburgh, U.S.; the National University of Singapore; and the King Abdullah University of Science and Technology in Saudi Arabia. In 2018, I was awarded 'SNI II', the second highest recognition given by the national science and technology council of Mexico (CONACYT) to Mexican scientists, there are only 3 Mexican scientists in Europe with this recognition (as of the year 2020). I am also the Managing Editor of Complex Systems, the first journal in the field of complexity founded by Stephen Wolfram in 1987. Editor for several journals including Entropy, Information, Frontiers in AI, and Complexity; and for book series such as Springer on Complexity. |
|
One year before passing away, Marvin Minsky, widely considered the founding father of Artificial Intelligence, made the following astonishing claim describing what turns out to be exactly my own research in a closing statement at a prime venue (video on the right and excerpt below). I wish I could tell him that I have gone farther than anyone else at what he thought everybody should be doing!
"It seems to me that the most important discovery since Gödel was the discovery by Chaitin, Solomonoff and Kolmogorov of the concept called Algorithmic Probability which is a fundamental new theory of how to make predictions given a collection of experiences and this is a beautiful theory, everybody should learn it, but it’s got one problem, that is, that you cannot actually calculate what this theory predicts because it is too hard, it requires an infinite amount of work. However, it should be possible to make practical approximations to the Chaitin, Kolmogorov, Solomonoff theory that would make better predictions than anything we have today. Everybody should learn all about that and spend the rest of their lives working on it."
Marvin Minsky Panel discussion on The Limits of Understanding World Science Festival, NYC, Dec 14, 2014 |
On the other hand, these excerpts from a review article by Sydney Brenner — the 2002 Nobel prize in Physiology or Medicine laureate awarded by the Karolinska Institute -- completes the picture of what I and my lab team at the Karolinska Institute strive:
"[on biological research] in Alan Turing’s work there is much to guide us
. . . Although many believe that ‘more is better’, history tells us that ‘least is best’. We need theory and a firm grasp on the nature of the objects we study to predict the rest . . . The concept of the gene as a symbolic representation of the organism — a code script — is a fundamental feature of the living world and must form the kernel of biological theory." (my brackets) Sydney Brenner
'Turing centenary: Life's code script' Nature 482(7386):461, 2012 |
|
"AI is currently split. First, there are those who are intoxicated by the success of machine learning and deep learning and neural nets. They don’t understand what I’m talking about. They want to continue to fit curves. But when you talk to people who have done any work in AI outside statistical learning, they get it immediately. I have read several papers written in the past two months about the limitations of machine learning."
Interviewer: The way you talk about curve fitting, it sounds like you’re not very impressed with machine learning. "No, I’m very impressed, because we did not expect that so many problems could be solved by pure curve fitting. It turns out they can. But I’m asking about the future — what next? Can you have a robot scientist that would plan an experiment and find new answers to pending scientific questions? That’s the next step. We also want to conduct some communication with a machine that is meaningful ... |
One of my research aims is to reintroduce symbolic computation into statistical machine learning to alleviate current limitations in techniques such as deep learning along the lines of the criticisms put forward by people such as Sydney Brenner, Marvin Minsky and Judea Pearl and believed to be fundamental to make further progress in AI research. Here a video produced by the journal Nature to explain my research:
|
I got interested in neural networks from the standpoint of computability and complexity theories in my early 20s when I was writing my final year memoir for my BSc degree in math at UNAM. Today, I am helping revolutionise the field by reintroducing the theories of computability and algorithmic complexity back into AI and neural networks.
On the right, an image showing how a deep neural network trained with a large set of fine art paintings 'sees' me. My current research consists in helping machine and deep learning see beyond these statistical patterns in more clever ways than simple pattern matching. By introducing algorithmic probability to Artificial Intelligence I help the field to reincorporate abstract thinking and causation in current AI trends. Known to underperform in tasks requiring abstraction and logical inference, current approaches in deep and machine learning are very limited. An example of our research in this direction is our paper published in Nature Machine Intelligence that can be read here for free (no paywall). |
|
As reported in our paper published in the journal of Cellular Automata (also available in arXiv), by exploration of rule composition, two 4-colour cellular automata that we've proved to be Turing universal.
This means that these CAs can, in principle, run MS Windows and any other software. These new CAs helped us show how the Boolean composition of two and three ECA rules can emulate rule 110. This also means that these new CAs can be decomposed into simpler rules and thus illustrates the process of causal composition and decomposition. The methods also constitute a form of sophisticated causal coarse-graining learning that we have explored in other papers such as this one. In the same paper we also introduced a minimal set of ECA rules that can generate all others by Boolean composition. |
These CAs that we have proven to be Turing-universal using novel methods, and thus are able to run any computable function are the result of combining the power of extremely simple computer programs (ECAs):
Composition of ECA rules 50 ◦ 37 with colour remapping leading to a 4-colour Turing universal CA emulating rule 110.
Composition of ECA rules 170 ◦ 15 ◦ 118 with colour re-mapping mapping leading to a 4-colour Turing universal CA emulating rule 110.
|
Latest news
AUTOMATA 2020
I am the organiser and chair of the prestigious AUTOMATA 2020 that has been running for about 2 decades now and will be held in Stockholm (now mostly virtual). The website is now available but it is being updated constantly. More details are announced on the website.
I am the organiser and chair of the prestigious AUTOMATA 2020 that has been running for about 2 decades now and will be held in Stockholm (now mostly virtual). The website is now available but it is being updated constantly. More details are announced on the website.
A new kind of research-based cryptocurrency:
My students and I are developing a new more responsible and eco-friendly cryptocurrency to help science reveal models of the world. We are creating and developing the first coin whose purpose is to perform the most meaningful computation (all possible useful computations). It provides a sense and meaning to crypto-mining and, in a sense, is thus the most eco-friendly coin possible as every computation involved contributes to a specific scientific calculation. It aims at using crypto-mining as a force for research rather than wasting precious resources, it will implement incremental lossless compression too. It is also the first coin purely based on the most basic computational principles that are behind all other cryptocurrencies but in a purely transparent fashion. Click on the banner to see the new website of the project. AUTOMATA 2020 is the first conference that will accept Automacoins as partial payment for conference fees.
My students and I are developing a new more responsible and eco-friendly cryptocurrency to help science reveal models of the world. We are creating and developing the first coin whose purpose is to perform the most meaningful computation (all possible useful computations). It provides a sense and meaning to crypto-mining and, in a sense, is thus the most eco-friendly coin possible as every computation involved contributes to a specific scientific calculation. It aims at using crypto-mining as a force for research rather than wasting precious resources, it will implement incremental lossless compression too. It is also the first coin purely based on the most basic computational principles that are behind all other cryptocurrencies but in a purely transparent fashion. Click on the banner to see the new website of the project. AUTOMATA 2020 is the first conference that will accept Automacoins as partial payment for conference fees.
Journal Anniversary:
- The journal Complex Systems for which I was recently made its editor-in-chief. Founded 30 years ago it was the first journal in the field founded by Stephen Wolfram. To celebrate we commissioned a very nice poster that you can download and print in high resolution by clicking on it:
Online course:
- We have closed the first course on Algorithmic Information Dynamics---A Computational Approach to Causality and Molecular Biology: From Complex Networks to Reprogramming Cells. More than 1200 students were enrolled and 10% of them are currently pursuing projects or became AID ambassadors and collaborators. The course will be open next year and you can register here.
Course poster, trailer and content module dependencies:
|
|
Module dependencies of the course and of the new field of Algorithmic Information Dynamics. Orange link means conceptual/motivational dependency. Pink link means weak dependency. Blue link means strong dependency.
You can start watching and following the course (for free) online here !
Special issue on Philosophy and Epistemology of Deep Learning:
- I am guest-editing a special issue of the journal Philosophies, together with friend and colleague Prof. Selmer Bringsjord, on Philosophy and Epistemology of Deep Learning.
|
|
Book season time, four books coming out in the next months:
- Our book Algorithmic Information Dynamics: A Computational Approach to Causality and Molecular Biology. From Networks to Cells has been approved for publication by Cambridge University Press and will be available later this year (with N.A. Kiani and J. Tegnér)
- Our book Methods and Applications of Algorithmic Complexity: From Sequences to Graphs is also coming out soon published by Springer Verlag later this year (with F. Soler-Toscano and N. Gauvrit).
- Two more books will see the light next year: Algorithmic Cognition (with N. Gauvrit and J. Tegnér) and Graph Complexity (with N.A. Kiani and J. Tegnér), both to be published by Springer Verlag. Here the line-up:
|
|
|
|
Other authored and edited books:
'Lo que cabe en el espacio' a short book I prepared right after my BSc degree, is available for Kindle and for free in mobi and pdf.
As contributor:
I contributed to the final materialization of the Leibniz-Chaitin medallion after Leibniz' original design 300 years ago to celebrate his discovery of binary arithmetic
|
The Leibniz-Chaitin medallion story in celebration of the works of Greg Chaitin and the discovery of binary arithmetic from which, according to Leibniz, everything can be created
|
I have been to more than 300 cities in about 50 countries giving talks related to my
work in about half of them, and as an invited speaker in 15:
work in about half of them, and as an invited speaker in 15:
Histograms of number of cities visited coloured by countries (with at least 4 cities) and continents:
|
|
|
|
|
|
|
