paper-with-me

홈 › Papers

On the Computability of Artificial General Intelligence

2025-12-04 · Georgios Mappouras, Charalambos Rossides arxiv

In recent years we observed rapid and significant advancements in artificial intelligence (A.I.). So much so that many wonder how close humanity is to developing an A.I. model that can achieve human level of intelligence, also known as artificial general intelligence (A.G.I.). In this work we look at this question and we attempt to define the upper bounds, not just of A.I., but rather of any machine-computable process (a.k.a. an algorithm). To answer this question however, one must first precisely define A.G.I. We borrow prior work's definition of A.G.I. [1] that best describes the sentiment of the term, as used by the leading developers of A.I. That is, the ability to be creative and innovate in some field of study in a way that unlocks new and previously unknown functional capabilities in that field. Based on this definition we draw new bounds on the limits of computation. We formally prove that no algorithm can demonstrate new functional capabilities that were not already present in the initial algorithm itself. Therefore, no algorithm (and thus no A.I. model) can be truly creative in any field of study, whether that is science, engineering, art, sports, etc. In contrast, A.I. models can demonstrate existing functional capabilities, as well as combinations and permutations of existing functional capabilities. We conclude this work by discussing the implications of this proof both as it regards to the future of A.I. development, as well as to what it means for the origins of human intelligence.

📄 PDF Abstract BibTeX arXiv:2512.05212

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Is Complexity Important for Philosophy of Mind?

2021-11-02 · Kristina Šekrst, Sandro Skansi

Computational complexity has often been ignored in philosophy of mind, in philosophical artificial intelligence studies. The purpose of this paper is threefold. First and foremost, to show the importance of complexity ra…

Philosophy

On the Computability of AIXI

2015-10-19 · Jan Leike, Marcus Hutter

How could we solve the machine learning and the artificial intelligence problem if we had infinite computation? Solomonoff induction and the reinforcement learning agent AIXI are proposed answers to this question. Both a…

BIG-bench Machine Learningreinforcement-learningReinforcement LearningReinforcement Learning (RL)

Reliable AI: Does the Next Generation Require Quantum Computing?

2023-07-03 · Aras Bacho, Holger Boche, Gitta Kutyniok

In this survey, we aim to explore the fundamental question of whether the next generation of artificial intelligence requires quantum computing. Artificial intelligence is increasingly playing a crucial role in many aspe…

Autonomous Driving

Artifical intelligence and inherent mathematical difficulty

2024-08-01 · Walter Dean, Alberto Naibo

This paper explores the relationship of artificial intelligence to the task of resolving open questions in mathematics. We first present an updated version of a traditional argument that limitative results from computabi…

Automated Theorem Proving

Computability of Optimizers

2023-01-15 · Yunseok Lee, Holger Boche, Gitta Kutyniok

Optimization problems are a staple of today's scientific and technical landscape. However, at present, solvers of such problems are almost exclusively run on digital hardware. Using Turing machines as a mathematical mode…