Résultats de recherche

Résumé Les derniers progrès en date de l’IA générative reposent sur une technique appelée « Chain of Thought » (CoT), qui consiste à faire en sorte que la machine « réfléchisse » avant  de répondre. Il s’agit initialement d’une stratégie utilisée dans les …

Résumé La preuve assistée par ordinateur séduit un public de plus en plus large. Jusque-là surreprésentée dans le domaine de l'informatique où elle était née, elle a commencé à susciter chez les mathématiciens un engouement certain. Néanmoins, cet appel …

Résumé Les grands modèles de langage (LLM) semblent capables de soutenir une discussion sur toutes sortes de sujets. Devant ce constat, trois réactions sont possibles. On peut attribuer aux LLM une forme d’intelligence, qui inclut une certaine …

Résumé Comme c'est le cas dans la littérature, l'ajout d'un concept mathématique à un corpus de bibliothèques formelles donne typiquement lieu à plusieurs variantes de définitions, le plus souvent équivalentes mais pas toujours. Malheureusement, la …

Résumé Je ferai le point sur un travail de formalisation de la théorie des puissances divisées que je mène avec María-Inés de Frutos Fernández. Découvert par Cartan dans un contexte de topologie algébrique, cet outil algébrique a été développé dans les …

Résumé The Greater East Asia Conference was held on 5 and 6 November 1943 in Tokyo, under the chairmanship of Prime Minister General Tōjō Hideki. Variously known as the Tokyo Conference, the Greater East Asia Congress, or the Assembly of East Asiatic …