L’IA de DeepMind a d\u00e9montr\u00e9 qu’elle pouvait r\u00e9soudre des probl\u00e8mes de l’Olympiade internationale de math\u00e9matiques (IMO) au niveau d’un m\u00e9daill\u00e9 d’argent. En utilisant les syst\u00e8mes sophistiqu\u00e9s AlphaProof et AlphaGeometry 2, l’IA a pu r\u00e9soudre quatre des six probl\u00e8mes exigeants de l’IMO.<\/p>\n\n
AlphaProof est un syst\u00e8me bas\u00e9 sur l’apprentissage par renforcement, con\u00e7u pour le raisonnement math\u00e9matique formel. Il utilise le langage formel Lean et combine un mod\u00e8le linguistique pr\u00e9-entra\u00een\u00e9 avec l’algorithme AlphaZero, connu pour ses succ\u00e8s dans des jeux tels que les \u00e9checs et le go. Cette m\u00e9thode permet \u00e0 l’IA de v\u00e9rifier formellement les preuves math\u00e9matiques et de minimiser les erreurs.<\/p>\n\n
AlphaGeometry 2 est une version am\u00e9lior\u00e9e d’une IA destin\u00e9e \u00e0 r\u00e9soudre des probl\u00e8mes g\u00e9om\u00e9triques. Gr\u00e2ce \u00e0 un syst\u00e8me hybride neuro-symbolique, il utilise un grand ensemble de donn\u00e9es et un moteur symbolique plus rapide pour r\u00e9soudre des probl\u00e8mes g\u00e9om\u00e9triques complexes. De mani\u00e8re remarquable, il a r\u00e9solu 83 % des probl\u00e8mes g\u00e9om\u00e9triques historiques de l’OMI, d\u00e9passant ainsi largement la version pr\u00e9c\u00e9dente.<\/p>\n\n
La performance de l’IA \u00e0 l’OMI est une \u00e9tape importante dans le d\u00e9veloppement de l’IA et montre son potentiel dans le domaine du raisonnement math\u00e9matique avanc\u00e9. Cette avanc\u00e9e pourrait ouvrir la voie \u00e0 d’autres progr\u00e8s en mati\u00e8re de science et de technologie et fournir de nouveaux outils aux math\u00e9maticiens et aux chercheurs.<\/p>\n\n
Sources:<\/p>\n\n
L’IA de DeepMind a d\u00e9montr\u00e9 qu’elle pouvait r\u00e9soudre des probl\u00e8mes de l’Olympiade internationale de math\u00e9matiques (IMO) au niveau d’un m\u00e9daill\u00e9 d’argent. En utilisant les syst\u00e8mes sophistiqu\u00e9s AlphaProof et AlphaGeometry 2, l’IA a pu r\u00e9soudre quatre des six probl\u00e8mes exigeants de l’IMO. AlphaProof est un syst\u00e8me bas\u00e9 sur l’apprentissage par renforcement, con\u00e7u pour le raisonnement math\u00e9matique […]<\/p>\n","protected":false},"author":6,"featured_media":11474,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"_uag_custom_page_level_css":"","footnotes":""},"categories":[126],"tags":[],"class_list":["post-11473","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technologie"],"acf":[],"calluna_seo":{"plugin":"rank-math","title":"","description":"","focus_keyword":""},"spectra_custom_meta":{"rank_math_internal_links_processed":["1"],"_wpml_media_duplicate":["1"],"_wpml_media_featured":["1"],"_thumbnail_id":["11474"],"_last_translation_edit_mode":["translation-editor"],"_edit_last":["6"],"_encloseme":["1"],"_wpml_media_has_media":["1"],"rank_math_analytic_object_id":["415"],"_edit_lock":["1734012592:6"],"_uagb_previous_block_counts":["a:90:{s:21:\"uagb\/advanced-heading\";i:0;s:15:\"uagb\/blockquote\";i:0;s:12:\"uagb\/buttons\";i:0;s:18:\"uagb\/buttons-child\";i:0;s:19:\"uagb\/call-to-action\";i:0;s:15:\"uagb\/cf7-styler\";i:0;s:11:\"uagb\/column\";i:0;s:12:\"uagb\/columns\";i:0;s:14:\"uagb\/container\";i:0;s:21:\"uagb\/content-timeline\";i:0;s:27:\"uagb\/content-timeline-child\";i:0;s:14:\"uagb\/countdown\";i:0;s:12:\"uagb\/counter\";i:0;s:8:\"uagb\/faq\";i:0;s:14:\"uagb\/faq-child\";i:0;s:10:\"uagb\/forms\";i:0;s:17:\"uagb\/forms-accept\";i:0;s:19:\"uagb\/forms-checkbox\";i:0;s:15:\"uagb\/forms-date\";i:0;s:16:\"uagb\/forms-email\";i:0;s:17:\"uagb\/forms-hidden\";i:0;s:15:\"uagb\/forms-name\";i:0;s:16:\"uagb\/forms-phone\";i:0;s:16:\"uagb\/forms-radio\";i:0;s:17:\"uagb\/forms-select\";i:0;s:19:\"uagb\/forms-textarea\";i:0;s:17:\"uagb\/forms-toggle\";i:0;s:14:\"uagb\/forms-url\";i:0;s:14:\"uagb\/gf-styler\";i:0;s:15:\"uagb\/google-map\";i:0;s:11:\"uagb\/how-to\";i:0;s:16:\"uagb\/how-to-step\";i:0;s:9:\"uagb\/icon\";i:0;s:14:\"uagb\/icon-list\";i:0;s:20:\"uagb\/icon-list-child\";i:0;s:10:\"uagb\/image\";i:0;s:18:\"uagb\/image-gallery\";i:0;s:13:\"uagb\/info-box\";i:0;s:18:\"uagb\/inline-notice\";i:0;s:11:\"uagb\/lottie\";i:0;s:21:\"uagb\/marketing-button\";i:0;s:10:\"uagb\/modal\";i:0;s:18:\"uagb\/popup-builder\";i:0;s:16:\"uagb\/post-button\";i:0;s:18:\"uagb\/post-carousel\";i:0;s:17:\"uagb\/post-excerpt\";i:0;s:14:\"uagb\/post-grid\";i:0;s:15:\"uagb\/post-image\";i:0;s:17:\"uagb\/post-masonry\";i:0;s:14:\"uagb\/post-meta\";i:0;s:18:\"uagb\/post-taxonomy\";i:0;s:18:\"uagb\/post-timeline\";i:0;s:15:\"uagb\/post-title\";i:0;s:20:\"uagb\/restaurant-menu\";i:0;s:26:\"uagb\/restaurant-menu-child\";i:0;s:11:\"uagb\/review\";i:0;s:12:\"uagb\/section\";i:0;s:14:\"uagb\/separator\";i:0;s:11:\"uagb\/slider\";i:0;s:17:\"uagb\/slider-child\";i:0;s:17:\"uagb\/social-share\";i:0;s:23:\"uagb\/social-share-child\";i:0;s:16:\"uagb\/star-rating\";i:0;s:23:\"uagb\/sure-cart-checkout\";i:0;s:22:\"uagb\/sure-cart-product\";i:0;s:15:\"uagb\/sure-forms\";i:0;s:22:\"uagb\/table-of-contents\";i:0;s:9:\"uagb\/tabs\";i:0;s:15:\"uagb\/tabs-child\";i:0;s:18:\"uagb\/taxonomy-list\";i:0;s:9:\"uagb\/team\";i:0;s:16:\"uagb\/testimonial\";i:0;s:14:\"uagb\/wp-search\";i:0;s:19:\"uagb\/instagram-feed\";i:0;s:10:\"uagb\/login\";i:0;s:17:\"uagb\/loop-builder\";i:0;s:18:\"uagb\/loop-category\";i:0;s:20:\"uagb\/loop-pagination\";i:0;s:15:\"uagb\/loop-reset\";i:0;s:16:\"uagb\/loop-search\";i:0;s:14:\"uagb\/loop-sort\";i:0;s:17:\"uagb\/loop-wrapper\";i:0;s:13:\"uagb\/register\";i:0;s:19:\"uagb\/register-email\";i:0;s:24:\"uagb\/register-first-name\";i:0;s:23:\"uagb\/register-last-name\";i:0;s:22:\"uagb\/register-password\";i:0;s:30:\"uagb\/register-reenter-password\";i:0;s:19:\"uagb\/register-terms\";i:0;s:22:\"uagb\/register-username\";i:0;}"],"_uag_css_file_name":["uag-css-11473.css"],"_uag_page_assets":["a:9:{s:3:\"css\";s:260:\".uag-blocks-common-selector{z-index:var(--z-index-desktop) !important}@media(max-width: 976px){.uag-blocks-common-selector{z-index:var(--z-index-tablet) !important}}@media(max-width: 767px){.uag-blocks-common-selector{z-index:var(--z-index-mobile) !important}}\";s:2:\"js\";s:0:\"\";s:18:\"current_block_list\";a:10:{i:0;s:14:\"core\/paragraph\";i:1;s:9:\"core\/list\";i:2;s:14:\"core\/list-item\";i:3;s:11:\"core\/search\";i:4;s:10:\"core\/group\";i:5;s:12:\"core\/heading\";i:6;s:17:\"core\/latest-posts\";i:7;s:20:\"core\/latest-comments\";i:8;s:13:\"core\/archives\";i:9;s:15:\"core\/categories\";}s:8:\"uag_flag\";b:0;s:11:\"uag_version\";s:10:\"1777678582\";s:6:\"gfonts\";a:0:{}s:10:\"gfonts_url\";s:0:\"\";s:12:\"gfonts_files\";a:0:{}s:14:\"uag_faq_layout\";b:0;}"],"_elementor_page_assets":["a:0:{}"]},"uagb_featured_image_src":{"full":["https:\/\/alphaavenue.ai\/wp-content\/uploads\/2024\/07\/ai_solving_math_-ar_169_-style_raw_-personalize_q_b8027ac2-ca2e-4330-8d22-2910853d0ed2_3.png",1456,816,false],"thumbnail":["https:\/\/alphaavenue.ai\/wp-content\/uploads\/2024\/07\/ai_solving_math_-ar_169_-style_raw_-personalize_q_b8027ac2-ca2e-4330-8d22-2910853d0ed2_3-150x150.png",150,150,true],"medium":["https:\/\/alphaavenue.ai\/wp-content\/uploads\/2024\/07\/ai_solving_math_-ar_169_-style_raw_-personalize_q_b8027ac2-ca2e-4330-8d22-2910853d0ed2_3-300x168.png",300,168,true],"medium_large":["https:\/\/alphaavenue.ai\/wp-content\/uploads\/2024\/07\/ai_solving_math_-ar_169_-style_raw_-personalize_q_b8027ac2-ca2e-4330-8d22-2910853d0ed2_3-768x430.png",768,430,true],"large":["https:\/\/alphaavenue.ai\/wp-content\/uploads\/2024\/07\/ai_solving_math_-ar_169_-style_raw_-personalize_q_b8027ac2-ca2e-4330-8d22-2910853d0ed2_3-1024x574.png",800,448,true],"1536x1536":["https:\/\/alphaavenue.ai\/wp-content\/uploads\/2024\/07\/ai_solving_math_-ar_169_-style_raw_-personalize_q_b8027ac2-ca2e-4330-8d22-2910853d0ed2_3.png",1456,816,false],"2048x2048":["https:\/\/alphaavenue.ai\/wp-content\/uploads\/2024\/07\/ai_solving_math_-ar_169_-style_raw_-personalize_q_b8027ac2-ca2e-4330-8d22-2910853d0ed2_3.png",1456,816,false]},"uagb_author_info":{"display_name":"Justus Becker","author_link":"https:\/\/alphaavenue.ai\/fr\/author\/justus-becker\/"},"uagb_comment_info":0,"uagb_excerpt":"L’IA de DeepMind a d\u00e9montr\u00e9 qu’elle pouvait r\u00e9soudre des probl\u00e8mes de l’Olympiade internationale de math\u00e9matiques (IMO) au niveau d’un m\u00e9daill\u00e9 d’argent. En utilisant les syst\u00e8mes sophistiqu\u00e9s AlphaProof et AlphaGeometry 2, l’IA a pu r\u00e9soudre quatre des six probl\u00e8mes exigeants de l’IMO. AlphaProof est un syst\u00e8me bas\u00e9 sur l’apprentissage par renforcement, con\u00e7u pour le raisonnement math\u00e9matique\u2026","rankmath":{"rank_math_analytic_object_id":"415","rank_math_internal_links_processed":"1","lang":"fr"},"_links":{"self":[{"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/posts\/11473","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/comments?post=11473"}],"version-history":[{"count":1,"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/posts\/11473\/revisions"}],"predecessor-version":[{"id":11475,"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/posts\/11473\/revisions\/11475"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/media\/11474"}],"wp:attachment":[{"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/media?parent=11473"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/categories?post=11473"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/alphaavenue.ai\/fr\/wp-json\/wp\/v2\/tags?post=11473"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}