{"id":69103,"date":"2024-09-14T09:00:00","date_gmt":"2024-09-14T14:00:00","guid":{"rendered":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/?p=69103"},"modified":"2024-08-06T12:27:19","modified_gmt":"2024-08-06T17:27:19","slug":"alphaproof-mathematician-ai","status":"publish","type":"post","link":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/","title":{"rendered":"AlphaProof and AlphaGeometry2: The new AI mathematician #ESCAT #Uninter"},"content":{"rendered":"<div class=\"wp-block-image\">\n<figure class=\"aligncenter is-resized\"><a href=\"https:\/\/www.facebook.com\/EscatUninter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/02\/escat.png\" alt=\"Esta imagen tiene un atributo ALT vac\u00edo; su nombre de archivo es escat.png\" width=\"225\" height=\"225\"\/><\/a><\/figure>\n<\/div>\n\n\n<p>AlphaProof solved about 83% of math Olympiad problems from the past 25 years.<\/p>\n\n\n\n<!--more-->\n\n\n\n<p>As artificial intelligence (AI) models continue to develop, Google announces that two AI systems from Google DeepMind together solved four of the six problems in this year\u2019s International Mathematical Olympiad. According to Google the AI systems competed with two silver medalists high school students, eventually beating them.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"1072\" height=\"603\" src=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/image-111.png\" alt=\"\" class=\"wp-image-69104\"\/><\/figure>\n\n\n\n<p>During the competition AlphaProof and AlphaGeometry2 were able to solve a range of math problems step-by-step. This is expected to be a \u201cgrand challenge\u201d in machine learning and has been beyond the reach of other state-of-the-art AI systems.&nbsp;<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><strong>The \u2018DeepMind\u2019 behind AlphaProof and AlphaGeometry2<\/strong><\/h2>\n\n\n\n<p>Google explained that AlphaProof teaches itself by \u2018trial-and-error\u2019 method without human intervention. This method is known as reinforcement learning. The method is powered by DeepMind\u2019s Go-mastering AlphaGo, Starcraft-crushing AlphaStar and other AI systems developed by Google.&nbsp;<\/p>\n\n\n\n<p>According to sources, the team first fine-tuned Google\u2019s Gemini model to translate 1 million mathematics problem statements from English into a programming language called Lean. The difficult problems were then given to AlphaProof and AlphaGeometry2 so that they could generate potential solutions. Lastly, they were then checked against possible proof steps, initially made by experts.&nbsp;<\/p>\n\n\n\n<p>According to Google, the system solved about 83% of math Olympiad problems from the past 25 years compared to its predecessor that could only solve 53%. Moreover, both the AI systems AlphaProof and AlphaGeometry 2 scored 28 out of 42 possible points.<\/p>\n\n\n\n<p>\u201cThese are extremely hard mathematical problems, and no AI system has ever achieved a high success rate in these types of problems,\u201d Pushmeet Kohli, vice president of research focused on AI for science, DeepMind, highlighted in a press briefing.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"616\" height=\"385\" src=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/image-112.png\" alt=\"\" class=\"wp-image-69105\"\/><\/figure>\n<\/div>\n\n\n<h2 class=\"wp-block-heading\"><strong>AI solving math: Boon or Bane<\/strong><\/h2>\n\n\n\n<p>The success of AlphaProof and AlphaGeometry 2 in winning a silver medal at the International Mathematical Olympiad might mark a significant milestone in the development of AI. By automating repetitive and laborious tasks,&nbsp;artificial intelligence&nbsp;can help mathematicians focus on more theoretical and creative aspects of their work, thereby resulting in discoveries.<\/p>\n\n\n\n<p>However, it looks like this can also raise questions about the future of human intelligence. The growing concern in the global&nbsp;economy&nbsp;today is that AI might completely take over human&nbsp;jobs. Early reports suggest that to enhance productivity, enterprises are adopting AI-based technologies. Such initiatives are now replacing human jobs and making us more dependent on machine, It is expected that AI converting into perfectionists for \u2018logical reasoning\u2019 can add to these concerns.<\/p>\n\n\n\n<p>Another concern can be that the advancements of AI systems might result in increased \u2018cost structures\u2019 of companies. AI models mostly come at high-cost structures. This might lead companies to initiate \u2018cost-cutting\u2019 through reducing employee count.&nbsp;&nbsp;<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"616\" height=\"406\" src=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/image-113.png\" alt=\"\" class=\"wp-image-69106\"\/><\/figure>\n<\/div>\n\n\n<h2 class=\"wp-block-heading\"><strong>Industry reacts<\/strong><\/h2>\n\n\n\n<p>\u201cAlphaProof and AlphaGeometry2 highlights AI\u2019s growing capability to tackle complex mathematical problems. By successfully solving Olympiad-level problems, these systems demonstrate a remarkable combination of creativity and precise logical reasoning. This accomplishment underscores AI\u2019s potential to enhance human abilities across various scientific and engineering fields,\u201d Devroop Dhar, co-founder and managing director, Primus Partners, explained.<\/p>\n\n\n\n<p>\u201cThese models serve as a reminder of AI\u2019s enormous potential in advancing mathematics research and problem-solving skills. However, the idea that AI could surpass human mathematicians raises questions about the future of mathematics and how technology will affect our ability to comprehend complex problems,\u201d Heather Dawe, chief data scientist and head of Responsible AI, UK UST, said.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"616\" height=\"195\" src=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/image-114.png\" alt=\"\" class=\"wp-image-69107\"\/><\/figure>\n<\/div>\n\n\n<h6 class=\"wp-block-heading\">Source: <a href=\"https:\/\/www.financialexpress.com\/life\/technology-meet-alphaproof-and-alphageometry2-the-new-ai-mathematician-overtaking-humans-3566084\/\">Financial Express<\/a><\/h6>\n\n\n\n<p class=\"has-text-align-right\"><a href=\"https:\/\/universidad.uninter.edu.mx\/carreras\/ISC\">Bachelor&#8217;s Degree in Computer Systems Engineering<br><\/a><a href=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/category\/ingenieria-en-sistemas-computacionales\/\">More news about Computer Systems Engineering<\/a><\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><a href=\"https:\/\/uninter.edu.mx\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"154\" src=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2023\/09\/UNINTER.png\" alt=\"\" class=\"wp-image-61492\"\/><\/a><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>AlphaProof solved about 83% of math Olympiad problems from the past 25 years.<\/p>\n","protected":false},"author":22,"featured_media":69110,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[17,22],"tags":[5118,5117,5116,32,156,104,49,62,31,37],"class_list":["post-69103","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ingenieria-en-sistemas-computacionales","category-ingenierias","tag-alphageometry","tag-alphaproof","tag-deepmind","tag-escat","tag-google","tag-ingenierias","tag-sistemas-computacionales","tag-tecnologia","tag-uninter","tag-universidad-internacional"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v26.8 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\r\n<title>AlphaProof: The new mathematician AI #ESCAT<\/title>\r\n<meta name=\"description\" content=\"Researchers at Google DeepMind have trained AlphaProof, a new type of AI system capable of solving complex math problems.\" \/>\r\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\r\n<link rel=\"canonical\" href=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/\" \/>\r\n<meta property=\"og:locale\" content=\"es_MX\" \/>\r\n<meta property=\"og:type\" content=\"article\" \/>\r\n<meta property=\"og:title\" content=\"AlphaProof: The new mathematician AI #ESCAT\" \/>\r\n<meta property=\"og:description\" content=\"Researchers at Google DeepMind have trained AlphaProof, a new type of AI system capable of solving complex math problems.\" \/>\r\n<meta property=\"og:url\" content=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/\" \/>\r\n<meta property=\"og:site_name\" content=\"Escuela de Ciencias, Artes y Tecnolog\u00eda\" \/>\r\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/EscatUninter\/\" \/>\r\n<meta property=\"article:published_time\" content=\"2024-09-14T14:00:00+00:00\" \/>\r\n<meta property=\"og:image\" content=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg\" \/>\r\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\r\n\t<meta property=\"og:image:height\" content=\"800\" \/>\r\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\r\n<meta name=\"author\" content=\"EquipoEscat\" \/>\r\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\r\n<meta name=\"twitter:image\" content=\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg\" \/>\r\n<meta name=\"twitter:creator\" content=\"@EscatUninter\" \/>\r\n<meta name=\"twitter:site\" content=\"@EscatUninter\" \/>\r\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"EquipoEscat\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 minutos\" \/>\r\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/\"},\"author\":{\"name\":\"EquipoEscat\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/df7b8f33d62433cb78a2104bda02490d\"},\"headline\":\"AlphaProof and AlphaGeometry2: The new AI mathematician #ESCAT #Uninter\",\"datePublished\":\"2024-09-14T14:00:00+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/\"},\"wordCount\":587,\"commentCount\":0,\"image\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg\",\"keywords\":[\"AlphaGeometry\",\"AlphaProof\",\"DeepMind\",\"ESCAT\",\"Google\",\"Ingenier\u00edas\",\"Sistemas Computacionales\",\"Tecnolog\u00eda\",\"Uninter\",\"Universidad Internacional\"],\"articleSection\":[\"Ingenier\u00eda en Sistemas Computacionales\",\"Ingenier\u00edas\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/\",\"url\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/\",\"name\":\"AlphaProof: The new mathematician AI #ESCAT\",\"isPartOf\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg\",\"datePublished\":\"2024-09-14T14:00:00+00:00\",\"author\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/df7b8f33d62433cb78a2104bda02490d\"},\"description\":\"Researchers at Google DeepMind have trained AlphaProof, a new type of AI system capable of solving complex math problems.\",\"breadcrumb\":{\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage\",\"url\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg\",\"contentUrl\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg\",\"width\":1200,\"height\":800},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Inicio\",\"item\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"AlphaProof and AlphaGeometry2: The new AI mathematician #ESCAT #Uninter\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#website\",\"url\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/\",\"name\":\"Escuela de Ciencias, Artes y Tecnolog\u00eda UNINTER\",\"description\":\"ESCAT\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/df7b8f33d62433cb78a2104bda02490d\",\"name\":\"EquipoEscat\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/d943e53cecc7e9e13c011abf6ec7475809c7d278834bde994b19ecd58034a9ff?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/d943e53cecc7e9e13c011abf6ec7475809c7d278834bde994b19ecd58034a9ff?s=96&d=mm&r=g\",\"caption\":\"EquipoEscat\"},\"url\":\"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/author\/equipoescat\/\"}]}<\/script>\r\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"AlphaProof: The new mathematician AI #ESCAT","description":"Researchers at Google DeepMind have trained AlphaProof, a new type of AI system capable of solving complex math problems.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/","og_locale":"es_MX","og_type":"article","og_title":"AlphaProof: The new mathematician AI #ESCAT","og_description":"Researchers at Google DeepMind have trained AlphaProof, a new type of AI system capable of solving complex math problems.","og_url":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/","og_site_name":"Escuela de Ciencias, Artes y Tecnolog\u00eda","article_publisher":"https:\/\/www.facebook.com\/EscatUninter\/","article_published_time":"2024-09-14T14:00:00+00:00","og_image":[{"width":1200,"height":800,"url":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg","type":"image\/jpeg"}],"author":"EquipoEscat","twitter_card":"summary_large_image","twitter_image":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg","twitter_creator":"@EscatUninter","twitter_site":"@EscatUninter","twitter_misc":{"Escrito por":"EquipoEscat","Tiempo de lectura":"4 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#article","isPartOf":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/"},"author":{"name":"EquipoEscat","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/df7b8f33d62433cb78a2104bda02490d"},"headline":"AlphaProof and AlphaGeometry2: The new AI mathematician #ESCAT #Uninter","datePublished":"2024-09-14T14:00:00+00:00","mainEntityOfPage":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/"},"wordCount":587,"commentCount":0,"image":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage"},"thumbnailUrl":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg","keywords":["AlphaGeometry","AlphaProof","DeepMind","ESCAT","Google","Ingenier\u00edas","Sistemas Computacionales","Tecnolog\u00eda","Uninter","Universidad Internacional"],"articleSection":["Ingenier\u00eda en Sistemas Computacionales","Ingenier\u00edas"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/","url":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/","name":"AlphaProof: The new mathematician AI #ESCAT","isPartOf":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage"},"image":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage"},"thumbnailUrl":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg","datePublished":"2024-09-14T14:00:00+00:00","author":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/df7b8f33d62433cb78a2104bda02490d"},"description":"Researchers at Google DeepMind have trained AlphaProof, a new type of AI system capable of solving complex math problems.","breadcrumb":{"@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#primaryimage","url":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg","contentUrl":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg","width":1200,"height":800},{"@type":"BreadcrumbList","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/alphaproof-mathematician-ai\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Inicio","item":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/"},{"@type":"ListItem","position":2,"name":"AlphaProof and AlphaGeometry2: The new AI mathematician #ESCAT #Uninter"}]},{"@type":"WebSite","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#website","url":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/","name":"Escuela de Ciencias, Artes y Tecnolog\u00eda UNINTER","description":"ESCAT","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Person","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/df7b8f33d62433cb78a2104bda02490d","name":"EquipoEscat","image":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/d943e53cecc7e9e13c011abf6ec7475809c7d278834bde994b19ecd58034a9ff?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d943e53cecc7e9e13c011abf6ec7475809c7d278834bde994b19ecd58034a9ff?s=96&d=mm&r=g","caption":"EquipoEscat"},"url":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/author\/equipoescat\/"}]}},"jetpack_publicize_connections":[],"jetpack_featured_media_url":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/wp-content\/uploads\/2024\/07\/Sin-titulo-1.jpg","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/posts\/69103","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/comments?post=69103"}],"version-history":[{"count":4,"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/posts\/69103\/revisions"}],"predecessor-version":[{"id":69637,"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/posts\/69103\/revisions\/69637"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/media\/69110"}],"wp:attachment":[{"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/media?parent=69103"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/categories?post=69103"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.uninter.edu.mx\/ESCAT\/index.php\/wp-json\/wp\/v2\/tags?post=69103"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}