<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><blockquote type="cite" class=""><div dir="ltr" class=""><div class="">[Related question - what is the state of being able to compile state transition graphs of Turing machines into readable source code, or even comprehensible assembler for a reasonably generic von Neumann architecture register machine?]</div></div></blockquote><div class=""><br class=""></div>This is related to the problem of proving that two different computer programs are functionally equivalent. It should be no surprise that this falls under the domain of the halting problem and is therefore impossible in general. I suspect that the best we can do in practice is to use an AI to generate proofs that two programs are equivalent using an automated proof checker. This of course will not work in general but it may be good enough in practice. It will at least be reliable as not even an omniscient creature can fool a properly designed and functioning proof checker.<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Apr 27, 2023, at 6:37 PM, Darin Sunley via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" class="">extropy-chat@lists.extropy.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Underlying all of this, of course, is the deep and urgent need for research into the interpretation of deep neural networks. A lot of people are asking very important questions about what precisely LLMs are doing, and how precisely they do it. Some are even trying to make policy based on anticipated answers to these questions. But the long and short of it, we mostly don't know, and don't even know how to find out. <div class=""><br class=""></div><div class="">LLMs are encoding ridiculously complex functionality as matrices of billions or trillions of floating point numbers. Imagine trying to understand the deep behavior of a hundred megabyte binary executable. We have tools that could turn that into millions of lines of undocumented spaghetti-code assembler, but the project of factoring and interpreting that assembler would be work of decades. The problem with LLMs is thousands of times that size, and dozens of times harder per unit size. </div><div class=""><br class=""></div><div class="">Frankly, being able to turn matrices of model weights into uncommented assembler would be a fantastic, revolutionary, nigh-unimaginable achievement, an incomprehensible improvement on the current situation. And still nowhere near enough. As it stands, it seems unlikely that we will have any significant understanding of how to engineer (as opposed to train) behavior of the complexity we see today until it has already changed the world unimaginably.</div><div class=""><br class=""></div><div class="">May God help us all.</div><div class=""><br class=""></div><div class="">[Related question - what is the state of being able to compile state transition graphs of Turing machines into readable source code, or even comprehensible assembler for a reasonably generic von Neumann architecture register machine?]</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 27, 2023 at 4:17 PM Darin Sunley <<a href="mailto:dsunley@gmail.com" class="">dsunley@gmail.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr" class="">The capitalization of "Psychology" is a little weird. Ditto the use of the idiom "achieving consciousness", "mystery of consciousness", et. It's a little woo, frankly.<div class=""><br class=""></div><div class="">I'm not seeing an actual policy recommendation here. Calling "on the tech sector, the scientific community and society as a whole to take seriously the need to accelerate research in consciousness" seems like it's
a demand for a seat at the table by a group that may be being denied a seat at the table for pretty good reasons at the moment.</div><div class=""><br class=""></div><div class="">Setting aside for the moment what they actually /mean/ by consciousness [I'm pretty sure it's Dennet-style formal systems capable of introspection over a model of their environment that includes themselves, rather than anything involving phenomenal conscious experience], they don't seem to offer a recommendation for whether LLMs specifically, or artificial intelligences in general, should be conscious, in whatever sense they mean. [It's worth noting that the consciousness of AGIs, in any sense, is entirely irrelevant to their status as a potential existential threat. Contra popular culture, unaligned agentic tool AIs can destroy the world just as easily as unaligned agentic conscious minds.]<br class=""></div><div class=""><br class=""></div><div class="">One of the articles they reference is indeed very interesting. The degree to which LLMs may be able to form even a primitive theory of minds based on training text that was generated by systems (people) with a clear embedded theory of mind is interesting, and may even be alarming if possession of a theory of mind is one of your primary bright line criterion of a definition of consciousness and therefore moral valence. [I personally disagree that having a theory of mind is a sufficient bright-line criteria for moral valence, but reasonable people can disagree about this.]</div><div class=""><br class=""></div><div class="">I've long held that AGI, as it develops, will allow, to at least some degree, questions about the nature of consciousness to become amenable to actual scientific research and investigation. Calling for practitioners of "Consciousness Science" to be acknowledged as leaders in the AGI research programme is somewhat premature. I would argue that it is the emergence of LLMs that will allow the field of consciousness research [at least within the limits of Dennet's paradigm] to actually /become/ a field of science and engineering, rather than of philosophy.</div><div class=""><br class=""></div><div class=""><br class=""></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 27, 2023 at 3:50 PM Adrian Tymes via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" target="_blank" class="">extropy-chat@lists.extropy.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto" class="">And what if someone uses something like Gödel's incompleteness theorems to prove that what they're looking for is impossible, or at least no more possible than it is for human intelligences?<div dir="auto" class=""><br class=""></div><div dir="auto" class="">Indeed, do those theorems apply to AIs, to show that no computer program (at least, one that is expressed in the same low level language - high level language irrelevant since they get compiled to the same low level language - as the same sort of computer the AIs themselves run on, so it can run on the same sort of computer) can ever formally prove all the qualities and consequences of these AIs?</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 27, 2023, 1:36 PM spike jones via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" rel="noreferrer" target="_blank" class="">extropy-chat@lists.extropy.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">But it is hard to say, and I am not an expert on the topic:<br class="">
<br class="">
<a href="https://amcs-community.org/open-letters/" rel="noreferrer noreferrer noreferrer" target="_blank" class="">https://amcs-community.org/open-letters/</a><br class="">
<br class="">
<br class="">
<br class="">
<br class="">
Here's the letter, in case the link doesn't work:<br class="">
<br class="">
<br class="">
<br class="">
The Responsible Development of AI Agenda Needs to Include Consciousness<br class="">
Research<br class="">
Open Letter – PUBLISHED April 26, 2023 – <br class="">
<br class="">
This open letter is a wakeup call for the tech sector, the scientific<br class="">
community and society in general to take seriously the need to accelerate<br class="">
research in the field of consciousness science.<br class="">
<br class="">
As highlighted by the recent “Pause Giant AI Experiments” letter [1], we are<br class="">
living through an exciting and uncertain time in the development of<br class="">
artificial intelligence (AI) and other brain-related technologies. The<br class="">
increasing computing power and capabilities of the new AI systems are<br class="">
accelerating at a pace that far exceeds our progress in understanding their<br class="">
capabilities and their “alignment” with human values.<br class="">
<br class="">
AI systems, including Large Language Models such as ChatGPT and Bard, are<br class="">
artificial neural networks inspired by neuronal architecture in the cortex<br class="">
of animal brains. In the near future, it is inevitable that such systems<br class="">
will be constructed to reproduce aspects of higher-level brain architecture<br class="">
and functioning. Indeed, it is no longer in the realm of science fiction to<br class="">
imagine AI systems having feelings and even human-level consciousness.<br class="">
Contemporary AI systems already display human traits recognised in<br class="">
Psychology, including evidence of Theory of Mind [2].<br class="">
<br class="">
Furthermore, if achieving consciousness, AI systems would likely unveil a<br class="">
new array of capabilities that go far beyond what is expected even by those<br class="">
spearheading their development. AI systems have already been observed to<br class="">
exhibit unanticipated emergent properties [3]. These capabilities will<br class="">
change what AI can do, and what society can do to control, align and use<br class="">
such systems. In addition, consciousness would give AI a place in our moral<br class="">
landscape, which raises further ethical, legal, and political concerns.<br class="">
<br class="">
As AI develops, it is vital for the wider public, societal institutions and<br class="">
governing bodies to know whether and how AI systems can become conscious, to<br class="">
understand the implications thereof, and to effectively address the ethical,<br class="">
safety, and societal ramifications associated with artificial general<br class="">
intelligence (AGI).<br class="">
<br class="">
Science is starting to unlock the mystery of consciousness. Steady advances<br class="">
in recent years have brought us closer to defining and understanding<br class="">
consciousness and have established an expert international community of<br class="">
researchers in this field. There are over 30 models and theories of<br class="">
consciousness (MoCs and ToCs) in the peer-reviewed scientific literature,<br class="">
which already include some important pieces of the solution to the challenge<br class="">
of consciousness.<br class="">
<br class="">
To understand whether AI systems are, or can become, conscious, tools are<br class="">
needed that can be applied to artificial systems. In particular, science<br class="">
needs to further develop formal and mathematical tools to model<br class="">
consciousness and its relationship to physical systems. In conjunction with<br class="">
empirical and experimental methods to measure consciousness, questions of AI<br class="">
consciousness must be tackled.<br class="">
<br class="">
The Association for Mathematical Consciousness Science (AMCS) [4], is a<br class="">
large community of over 150 international researchers who are spearheading<br class="">
mathematical and computational approaches to consciousness. The Association<br class="">
for the Scientific Study of Consciousness (ASSC), [5], comprises researchers<br class="">
from neuroscience, philosophy and similar areas that study the nature,<br class="">
function, and underlying mechanisms of consciousness. Considerable research<br class="">
is required if consciousness science is to align with advancements in AI and<br class="">
other brain-related technologies. With sufficient support, the international<br class="">
scientific communities are prepared to undertake this task.<br class="">
<br class="">
The way ahead<br class="">
Artificial intelligence may be one of humanity’s greatest achievements. As<br class="">
with any significant achievement, society must make choices on how to<br class="">
approach its implications. Without taking a position on whether AI<br class="">
development should be paused, we emphasise that the rapid development of AI<br class="">
is exposing the urgent need to accelerate research in the field of<br class="">
consciousness science.<br class="">
<br class="">
Research in consciousness is a key component in helping humanity to<br class="">
understand AI and its ramifications. It is essential for managing ethical<br class="">
and societal implications of AI and to ensure AI safety. We call on the tech<br class="">
sector, the scientific community and society as a whole to take seriously<br class="">
the need to accelerate research in consciousness in order to ensure that AI<br class="">
development delivers positive outcomes for humanity. AI research should not<br class="">
be left to wander alone.<br class="">
<br class="">
References:<br class="">
[1] Pause Giant AI Experiments: An Open Letter:<br class="">
<a href="https://futureoflife.org/open-letter/pause-giant-ai-experiments" rel="noreferrer noreferrer noreferrer" target="_blank" class="">https://futureoflife.org/open-letter/pause-giant-ai-experiments</a><br class="">
[2] Theory of Mind May Have Spontaneously Emerged in Large Language Models:<br class="">
<a href="https://arxiv.org/abs/2302.02083" rel="noreferrer noreferrer noreferrer" target="_blank" class="">https://arxiv.org/abs/2302.02083</a><br class="">
[3] The AI revolution: Google’s developers on the future of artificial<br class="">
intelligence: <a href="https://www.youtube.com/watch?v=880TBXMuzmk" rel="noreferrer noreferrer noreferrer" target="_blank" class="">https://www.youtube.com/watch?v=880TBXMuzmk</a><br class="">
[4] Association for Mathematical Consciousness Science (AMCS):<br class="">
<a href="https://amcs-community.org/" rel="noreferrer noreferrer noreferrer" target="_blank" class="">https://amcs-community.org/</a><br class="">
[5] Association for the Scientific Study of Consciousness (ASSC):<br class="">
<a href="https://theassc.org/" rel="noreferrer noreferrer noreferrer" target="_blank" class="">https://theassc.org/</a><br class="">
<br class="">
Sign the open letter.<br class="">
Supporting Signatories:<br class="">
<br class="">
Prof. Lenore Blum (AMCS President; Carnegie Mellon University and UC<br class="">
Berkeley)<br class="">
Dr Johannes Kleiner (AMCS Board Chair; Ludwig Maximilian University of<br class="">
Munich)<br class="">
Dr Jonathan Mason (AMCS Board Vice Chair; University of Oxford)<br class="">
Dr Robin Lorenz (AMCS Board Treasurer; Quantinuum)<br class="">
Prof. Manuel Blum (Turing Award 1995; UC Berkeley and Carnegie Mellon<br class="">
University)<br class="">
Prof. Yoshua Bengio FRS, FRSC, Knight of the Legion of Honour [France]<br class="">
(Turing Award 2018; Full professor, Scientific director of Mila, University<br class="">
of Montreal / Mila)<br class="">
Prof. Marcus du Sautoy FRS, OBE (University of Oxford)<br class="">
Prof. Karl Friston FRS, FRBS, FMedSci, MAE (Weldon Memorial Prize and Medal,<br class="">
2013; Donald O Hebb award, 2022; Prof of Neuroscience, University College<br class="">
London)<br class="">
Prof. Anil K. Seth (University of Sussex, Canadian Institute for Advanced<br class="">
Research, Program on Brain, Mind, and Consciousness)<br class="">
Prof. Peter Grindrod OBE (University Of Oxford)<br class="">
Prof. Tim Palmer FRS CBE (University of Oxford)<br class="">
Prof. Susan Schneider APA (NASA Chair, NASA; Distinguished Scholar, Library<br class="">
of Congress; Director of the Center for the Future Mind, Florida Atlantic<br class="">
University)<br class="">
Prof. Claire Sergent (Professor of Cognitive Neurosciences, Co-director of<br class="">
the Master of Cognitive Neurosciences of Paris; Université Paris Cité /<br class="">
CNRS)<br class="">
Dr Ryota Kanai (Founder & CEO of Araya, Inc.)<br class="">
Prof. Kobi Kremnitzer (University of Oxford)<br class="">
Prof. Paul Azzopardi (University of Oxford)<br class="">
Prof. Michael Graziano (Princeton University)<br class="">
Prof. Naotsugu Tsuchiya (Monash University)<br class="">
Prof. Shimon Edelman (Cornell University)<br class="">
Prof. Andrée Ehresmann (Université de Picardie Jules Verne Amiens)<br class="">
Prof. Liad Mudrik (Tel Aviv University, Canadian Institute for Advanced<br class="">
Research, Program on Brain, Mind, and Consciousness)<br class="">
Dr Lucia Melloni (Max Planck Institute/NYU Langone Health)<br class="">
Prof. Stephen Fleming (University College London)<br class="">
Prof. Bob Coecke (DVRS at Perimeter Institute; Quantinuum)<br class="">
Jeff Walz (Tech sector Consultant)<br class="">
Dr Wanja Wiese (Ruhr University Bochum)<br class="">
Dr Joscha Bach (Research Scientist, Thistledown Foundation)<br class="">
Prof. Ian Durham (Saint Anselm College)<br class="">
Prof. Pedro Resende (IST – University Lisbon)<br class="">
Dr Quanlong Wang (Quantinuum)<br class="">
Peter Thestrup Waade (Interacting Minds Centre, Aarhus University; Wellcome<br class="">
Trust Centre for Human Neuroimaging, University College London)<br class="">
Prof. Jose Acacio de Barros (San Francisco State University)<br class="">
Dr Vasileios Basios (University of Brussels)<br class="">
Dr Miguel Sanchez-Valpuesta (Korea Brain Research Institute)<br class="">
Dr Michael Coughlan (Wageningen University)<br class="">
Dr Adam Barrett (University of Sussex)<br class="">
Prof. Marc Ebner (Computer Science Professor, University of Greifswald)<br class="">
Dr Chris Fields (Tufts University)<br class="">
Dr Guillaume Dumas (Associate Professor, University of Montreal / Mila)<br class="">
Dr Hamid Azizi (Research Scholar, Center for Theology and the Natural<br class="">
Sciences (CTNS))<br class="">
Prof. Ricardo Sanz IEEE, AAAI, ASSC (Head of Autonomous Systems Laboratory,<br class="">
Universidad Politecnica de Madrid)<br class="">
Dr Robert Prentner (Ludwig Maximilian University of Munich)<br class="">
Prof. Johannes Fahrenfort ASSC (Assistant Professor, VU Amsterdam)<br class="">
Dr Svetlana Rudenko (Researcher and composer; Haunted Planet Studios,<br class="">
Trinity College Dublin)<br class="">
Prof. Óscar Gonçalves (Full Professor of Neuropsychology, University of<br class="">
Coimbra, Portugal)<br class="">
Prof. John Barnden SSAISB (Professor Emeritus of AI, University of<br class="">
Birmingham, UK)<br class="">
Prof. Valtteri Arstila (University of Turku)<br class="">
Dr Neda Kosibaty (AMCS)<br class="">
Dr Daniel Helman (College of Micronesia-FSM)<br class="">
Justin T. Sampson (VMware, Inc.)<br class="">
Christopher Rourk (Jackson Walker LLP)<br class="">
Dr Mouhacine B. Benosman (MERL)<br class="">
Prof. Ouri Wolfson (University of Illinois at chicago and Pirouette Software<br class="">
inc.)<br class="">
Dr Rupert Macey-Dare (St Cross College Oxford)<br class="">
David Evans (Sonoma State University)<br class="">
Rajarshi Ghoshal (Ford)<br class="">
Prof. Peter B. Reiner (University of British Columbia)<br class="">
Dr Adeel Razi (Monash University)<br class="">
Prof. Jun Tani (Okinawa Institute of Science and Technology)<br class="">
David Rein (New York University, Cohere)<br class="">
Dr Colin Hales (University of Melbourne)<br class="">
John Balis (University of Wisconsin – Madison)<br class="">
George Blackburne (University College London)<br class="">
Jacy Reese Anthis (Sentience Institute)<br class="">
Dr George Deane (University of Montreal)<br class="">
Dr Nathan Faivre (CNRS)<br class="">
Dr Giulio Ruffini (Neuroelectrics, Starlab)<br class="">
Borjan Milinkovic (Unniversity of Melbourne)<br class="">
Dr Jacobo Sitt (Inserm, Paris Brain Institute)<br class="">
Dr Aureli Soria-Frisch (Starlab Barcelona)<br class="">
Dr Bjørn Erik Juel (University of Oslo and university of Wisconsin –<br class="">
Madison)<br class="">
Craig Cockburn (Siliconglen Ltd)<br class="">
Dr Theofanis Panagiotaropoulos (Inserm/CEA)<br class="">
Andrea Sittoni (Ludwig Maximilian University of Munich)<br class="">
Dr Lancelot Pecquet (University of Poitiers)<br class="">
Carlos Perez (Intuition Machine Inc.)<br class="">
Dr Xerxes Arsiwalla (Pompeu Fabra University)<br class="">
Emeritus Dr Jim Rutt (Santa Fe Institute)<br class="">
Dr Sean Tull (Quantinuum)<br class="">
Prof Chris Frith (Craik Prize. 1996; University of London)<br class="">
Dr Henry Shevlin (Leverhulme Centre for the Future of Intelligence,<br class="">
University of Cambridge)<br class="">
Dr Jolien C. Francken (Radboud University, Nijmegen)<br class="">
Prof. Sebastiano Stramaglia (University of Bari)<br class="">
Milton Ponson (Caribbean Applied Engineering and Science Research<br class="">
Foundation)<br class="">
Juan Cordovilla (Exactos Consulting Group)<br class="">
Eduardo César Garrido Merchán (Universidad Pontificia Comias)<br class="">
Benedict Harrision (Who Am I Ltd)<br class="">
Nicolas Grootjans (BlueField)<br class="">
Jared Frerichs (Deus Mechanicus)<br class="">
Dr Nadine Dijkstra (University College London)<br class="">
<br class="">
<br class="">
<br class="">
_______________________________________________<br class="">
extropy-chat mailing list<br class="">
<a href="mailto:extropy-chat@lists.extropy.org" rel="noreferrer noreferrer" target="_blank" class="">extropy-chat@lists.extropy.org</a><br class="">
<a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat" rel="noreferrer noreferrer noreferrer" target="_blank" class="">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br class="">
</blockquote></div>
_______________________________________________<br class="">
extropy-chat mailing list<br class="">
<a href="mailto:extropy-chat@lists.extropy.org" target="_blank" class="">extropy-chat@lists.extropy.org</a><br class="">
<a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat" rel="noreferrer" target="_blank" class="">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br class="">
</blockquote></div>
</blockquote></div>
_______________________________________________<br class="">extropy-chat mailing list<br class=""><a href="mailto:extropy-chat@lists.extropy.org" class="">extropy-chat@lists.extropy.org</a><br class="">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat<br class=""></div></blockquote></div><br class=""></body></html>