{"title":"(C, U, V)框架下AGI的数学表述","authors":"Di He, Cong Fang, Yisen Wang, Yujia Peng, Yizhou Wang, Song-Chun Zhu","doi":"10.1016/j.eng.2025.08.034","DOIUrl":null,"url":null,"abstract":"This article seeks to explore a general formulation of artificial general intelligence (AGI) under a unified framework that defines AGI agents as points in a joint (<span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 3187.8 1047.3\" width=\"7.404ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(1205,0)\"><use xlink:href=\"#MJMATHI-55\"></use></g><g is=\"true\" transform=\"translate(1973,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(2418,0)\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></script></span>) space. An agent is characterized by three components: ① a cognitive architecture <span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo></mrow></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 1039 1047.3\" width=\"2.413ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo></mrow></math></script></span> which represents the modules (mathematical functions) inside the agent’s mind, as well as the connections and communication protocols between these modules, including the theory of mind (ToM); ② a set of potential functions <span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">U</mi></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 767.5 848.5\" width=\"1.783ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-55\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">U</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">U</mi></math></script></span>, which represents the skills of perception, cognition, and planning (e.g., a potential function can be a neural network trained for visual object recognition, or embodied motion planning); and ③ a set of value functions <span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">V</mi></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 769.5 848.5\" width=\"1.787ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">V</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">V</mi></math></script></span>, which includes the agent’s urges, preferences, and social affections, as well as benefits for individual agents or a group of agents. In this setting, “intelligence” is defined as a wide range of phenomena exhibited by agents when they interact with complex environments (i.e., physical intelligence) and other agents (i.e., social intelligence). Given an initial point in the (<span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 3187.8 1047.3\" width=\"7.404ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(1205,0)\"><use xlink:href=\"#MJMATHI-55\"></use></g><g is=\"true\" transform=\"translate(1973,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(2418,0)\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></script></span>) space, an agent can explore new <span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">V</mi></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 769.5 848.5\" width=\"1.787ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">V</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">V</mi></math></script></span>-dimensions, which in turn drives the acquisition and learning of skills by enabling the learning of new potential functions <span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">U</mi></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 767.5 848.5\" width=\"1.783ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-55\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">U</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">U</mi></math></script></span> in the environment and by updating the cognitive model. We have developed a Tong test as a benchmark and evaluation criteria: An agent that has reached the human level (<span><span style=\"\"></span><span data-mathml='<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mspace width=\"0.166667em\" is=\"true\" /><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math>' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 3354.5 1047.3\" width=\"7.791ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\"></g><g is=\"true\" transform=\"translate(1372,0)\"><use xlink:href=\"#MJMATHI-55\"></use></g><g is=\"true\" transform=\"translate(2139,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(2585,0)\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mspace is=\"true\" width=\"0.166667em\"></mspace><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mspace width=\"0.166667em\" is=\"true\"></mspace><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></script></span>) is called a “Tong Agent.” The convergence of this process defines the limits of the agent’s evolution; we name this the “stopping problem” of Tong Agents, based on the analogy of the halting problem in a Turing machine.","PeriodicalId":11783,"journal":{"name":"Engineering","volume":"19 1","pages":""},"PeriodicalIF":11.6000,"publicationDate":"2025-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Mathematical Formulation of AGI in the (C, U, V) Framework\",\"authors\":\"Di He, Cong Fang, Yisen Wang, Yujia Peng, Yizhou Wang, Song-Chun Zhu\",\"doi\":\"10.1016/j.eng.2025.08.034\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article seeks to explore a general formulation of artificial general intelligence (AGI) under a unified framework that defines AGI agents as points in a joint (<span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 3187.8 1047.3\\\" width=\\\"7.404ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1205,0)\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1973,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2418,0)\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></script></span>) space. An agent is characterized by three components: ① a cognitive architecture <span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo></mrow></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 1039 1047.3\\\" width=\\\"2.413ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo></mrow></math></script></span> which represents the modules (mathematical functions) inside the agent’s mind, as well as the connections and communication protocols between these modules, including the theory of mind (ToM); ② a set of potential functions <span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">U</mi></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 767.5 848.5\\\" width=\\\"1.783ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">U</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">U</mi></math></script></span>, which represents the skills of perception, cognition, and planning (e.g., a potential function can be a neural network trained for visual object recognition, or embodied motion planning); and ③ a set of value functions <span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">V</mi></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 769.5 848.5\\\" width=\\\"1.787ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">V</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">V</mi></math></script></span>, which includes the agent’s urges, preferences, and social affections, as well as benefits for individual agents or a group of agents. In this setting, “intelligence” is defined as a wide range of phenomena exhibited by agents when they interact with complex environments (i.e., physical intelligence) and other agents (i.e., social intelligence). Given an initial point in the (<span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 3187.8 1047.3\\\" width=\\\"7.404ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1205,0)\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1973,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2418,0)\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></script></span>) space, an agent can explore new <span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">V</mi></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 769.5 848.5\\\" width=\\\"1.787ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">V</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">V</mi></math></script></span>-dimensions, which in turn drives the acquisition and learning of skills by enabling the learning of new potential functions <span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">U</mi></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 767.5 848.5\\\" width=\\\"1.783ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">U</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">U</mi></math></script></span> in the environment and by updating the cognitive model. We have developed a Tong test as a benchmark and evaluation criteria: An agent that has reached the human level (<span><span style=\\\"\\\"></span><span data-mathml='<math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mspace width=\\\"0.166667em\\\" is=\\\"true\\\" /><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math>' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 3354.5 1047.3\\\" width=\\\"7.791ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\"></g><g is=\\\"true\\\" transform=\\\"translate(1372,0)\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2139,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2585,0)\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mspace is=\\\"true\\\" width=\\\"0.166667em\\\"></mspace><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mspace width=\\\"0.166667em\\\" is=\\\"true\\\"></mspace><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></script></span>) is called a “Tong Agent.” The convergence of this process defines the limits of the agent’s evolution; we name this the “stopping problem” of Tong Agents, based on the analogy of the halting problem in a Turing machine.\",\"PeriodicalId\":11783,\"journal\":{\"name\":\"Engineering\",\"volume\":\"19 1\",\"pages\":\"\"},\"PeriodicalIF\":11.6000,\"publicationDate\":\"2025-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Engineering\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://doi.org/10.1016/j.eng.2025.08.034\",\"RegionNum\":1,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"ENGINEERING, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Engineering","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.1016/j.eng.2025.08.034","RegionNum":1,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"ENGINEERING, MULTIDISCIPLINARY","Score":null,"Total":0}
A Mathematical Formulation of AGI in the (C, U, V) Framework
This article seeks to explore a general formulation of artificial general intelligence (AGI) under a unified framework that defines AGI agents as points in a joint () space. An agent is characterized by three components: ① a cognitive architecture which represents the modules (mathematical functions) inside the agent’s mind, as well as the connections and communication protocols between these modules, including the theory of mind (ToM); ② a set of potential functions , which represents the skills of perception, cognition, and planning (e.g., a potential function can be a neural network trained for visual object recognition, or embodied motion planning); and ③ a set of value functions , which includes the agent’s urges, preferences, and social affections, as well as benefits for individual agents or a group of agents. In this setting, “intelligence” is defined as a wide range of phenomena exhibited by agents when they interact with complex environments (i.e., physical intelligence) and other agents (i.e., social intelligence). Given an initial point in the () space, an agent can explore new -dimensions, which in turn drives the acquisition and learning of skills by enabling the learning of new potential functions in the environment and by updating the cognitive model. We have developed a Tong test as a benchmark and evaluation criteria: An agent that has reached the human level () is called a “Tong Agent.” The convergence of this process defines the limits of the agent’s evolution; we name this the “stopping problem” of Tong Agents, based on the analogy of the halting problem in a Turing machine.
期刊介绍:
Engineering, an international open-access journal initiated by the Chinese Academy of Engineering (CAE) in 2015, serves as a distinguished platform for disseminating cutting-edge advancements in engineering R&D, sharing major research outputs, and highlighting key achievements worldwide. The journal's objectives encompass reporting progress in engineering science, fostering discussions on hot topics, addressing areas of interest, challenges, and prospects in engineering development, while considering human and environmental well-being and ethics in engineering. It aims to inspire breakthroughs and innovations with profound economic and social significance, propelling them to advanced international standards and transforming them into a new productive force. Ultimately, this endeavor seeks to bring about positive changes globally, benefit humanity, and shape a new future.