Une salve russe fait au moins 24 morts en Ukraine le jour de l'anniversaire de Poutine Des frappes houthistes sur des aéroports saoudiens et à Aden tuent trois étrangers en Arabie saoudite Les attaques de pétroliers à Ormuz atteignent un pic hebdomadaire alors que Washington et Téhéran se disputent le contrôle du détroit La vente mondiale d'obligations reprend, le rendement américain à 30 ans au plus haut depuis 2002 Le FMI avertit que les prix de l'énergie resteront élevés, l'AIE accélère la libération des stocks de pétrole Des troupes érythréennes signalées dans le nord de l'Éthiopie, les relations rompues Un pétrolier en flammes au large de Sotchi, la Bulgarie met fin aux recherches de l'équipage d'un navire coulé Le Kenya retrace les contacts après un premier décès d'Ebola qui révèle des failles de contrôle Washington et l'OMS pressent la Russie de fournir des détails après un décès suspect de peste Le déplacement de population au Yémen dépasse 200 000 personnes, l'ONU alerte sur la faim Le bilan des inondations en Thaïlande atteint au moins 52 morts, de nouveaux orages menacent Les taux obligataires français remontent, le gouverneur exclut une aide de la BCE La France suspend les grenades de désencerclement lors des manifestations lycéennes, la contestation gagne la Belgique Les discussions commerciales UE-Chine s'ouvrent alors que Pékin refuse des limites volontaires sur les hybrides La Turquie envoie un soutien défensif à l'Arabie saoudite, la Syrie dément rejoindre le combat contre les Houthis Le risque de crédit de SpaceX atteint un record après l'annonce d'un financement de 40 milliards pour des puces L'ex-chef du BND Hanning en détention, les alliés réexaminent les renseignements partagés Christa Pike se réveille et parle après avoir survécu à deux injections létales dans le Tennessee Israël commémore les trois ans de l'attaque du Hamas tandis que des frappes touchent Gaza Des mathématiciens s'interrogent sur la vérification après la publication par OpenAI de centaines de résultats revendiqués La banque centrale indienne relève ses taux pour la première fois depuis 2023 Les ambassadeurs de l'UE s'accordent sur la plus vaste extension de la liste de sanctions contre la Russie Shiroka-Pula prend ses fonctions de présidente du Kosovo, l'UE s'inquiète de la loi sur le tribunal L'Irak dévalue le dinar alors que les perturbations à Ormuz frappent les exportations de pétrole La Hongrie lève son veto, l'UE ouvre deux groupes de négociation avec l'Ukraine et la Moldavie Les forces israéliennes ratissent des villes de Cisjordanie et détruisent des mémoriaux, des colons attaquent une maison La Lituanie va déployer l’armée à la frontière de Kaliningrad, le Danemark accuse la Russie de sabotage Couvre-feu pour les forces américaines à Okinawa après l’arrestation d’un marine pour le meurtre d’une femme Flávio Bolsonaro promet une réforme constitutionnelle avant le second tour au Brésil, des démocrates américains s’interrogent sur une révocation de visa Shell s’attend à des marges de raffinage record alors que la guerre en Iran redessine les marchés des carburants Un député de l’AfD élu président du Parlement de Saxe-Anhalt, la coalition de Merz secouée La Chine ouvre une base de formation de pilotes au Laos Les enquêtes s'élargissent après la tentative de détournement d'un vol flydubai Maricarmen, symbole des expulsions, meurt alors que les syndicats espagnols appellent à la grève générale Paramount Skydance finalise le rachat de Warner Bros. Discovery L'Allemagne bloque le rachat par Cosco d'un groupe logistique du port de Hambourg Des pirates ont utilisé un outil d'IA chinois contre des banques sud-coréennes, un suspect de Qilin détenu en Allemagne L'Union africaine lance la première agence de notation du continent Le consulat britannique à Jérusalem-Est se prépare à fermer Porsche prévoit de supprimer 25 % de ses effectifs et mise sur des voitures plus chères Newsom condamne la phrase de Trump selon laquelle l'Iran pourrait « anéantir » Los Angeles La Finlande ordonne à Google de suspendre les travaux sur ses sites de centres de données Le Birman Min Aung Hlaing en visite en Malaisie, inquiétudes sur le retour des Rohingyas Le maire d'Izmir rejoint le parti d'Erdoğan Des équipes chinoises et européennes dévoilent les premières horloges nucléaires fonctionnelles Les fumées des incendies indonésiens font de l'air de Singapour le plus pollué du monde Oman évacue l'équipage blessé d'un pétrolier attaqué dans le détroit d'Ormuz ChatGPT for Teens jugé « risque inacceptable » pour les enfants Le comité militaire de l'OTAN en visite à Kiev Le Parlement de l'est libyen destitue son président Saleh après 12 ans Le Japon retire des centaines de valeurs du Topix dans une refonte record Une salve russe fait au moins 24 morts en Ukraine le jour de l'anniversaire de Poutine Des frappes houthistes sur des aéroports saoudiens et à Aden tuent trois étrangers en Arabie saoudite Les attaques de pétroliers à Ormuz atteignent un pic hebdomadaire alors que Washington et Téhéran se disputent le contrôle du détroit La vente mondiale d'obligations reprend, le rendement américain à 30 ans au plus haut depuis 2002 Le FMI avertit que les prix de l'énergie resteront élevés, l'AIE accélère la libération des stocks de pétrole Des troupes érythréennes signalées dans le nord de l'Éthiopie, les relations rompues Un pétrolier en flammes au large de Sotchi, la Bulgarie met fin aux recherches de l'équipage d'un navire coulé Le Kenya retrace les contacts après un premier décès d'Ebola qui révèle des failles de contrôle Washington et l'OMS pressent la Russie de fournir des détails après un décès suspect de peste Le déplacement de population au Yémen dépasse 200 000 personnes, l'ONU alerte sur la faim Le bilan des inondations en Thaïlande atteint au moins 52 morts, de nouveaux orages menacent Les taux obligataires français remontent, le gouverneur exclut une aide de la BCE La France suspend les grenades de désencerclement lors des manifestations lycéennes, la contestation gagne la Belgique Les discussions commerciales UE-Chine s'ouvrent alors que Pékin refuse des limites volontaires sur les hybrides La Turquie envoie un soutien défensif à l'Arabie saoudite, la Syrie dément rejoindre le combat contre les Houthis Le risque de crédit de SpaceX atteint un record après l'annonce d'un financement de 40 milliards pour des puces L'ex-chef du BND Hanning en détention, les alliés réexaminent les renseignements partagés Christa Pike se réveille et parle après avoir survécu à deux injections létales dans le Tennessee Israël commémore les trois ans de l'attaque du Hamas tandis que des frappes touchent Gaza Des mathématiciens s'interrogent sur la vérification après la publication par OpenAI de centaines de résultats revendiqués La banque centrale indienne relève ses taux pour la première fois depuis 2023 Les ambassadeurs de l'UE s'accordent sur la plus vaste extension de la liste de sanctions contre la Russie Shiroka-Pula prend ses fonctions de présidente du Kosovo, l'UE s'inquiète de la loi sur le tribunal L'Irak dévalue le dinar alors que les perturbations à Ormuz frappent les exportations de pétrole La Hongrie lève son veto, l'UE ouvre deux groupes de négociation avec l'Ukraine et la Moldavie Les forces israéliennes ratissent des villes de Cisjordanie et détruisent des mémoriaux, des colons attaquent une maison La Lituanie va déployer l’armée à la frontière de Kaliningrad, le Danemark accuse la Russie de sabotage Couvre-feu pour les forces américaines à Okinawa après l’arrestation d’un marine pour le meurtre d’une femme Flávio Bolsonaro promet une réforme constitutionnelle avant le second tour au Brésil, des démocrates américains s’interrogent sur une révocation de visa Shell s’attend à des marges de raffinage record alors que la guerre en Iran redessine les marchés des carburants Un député de l’AfD élu président du Parlement de Saxe-Anhalt, la coalition de Merz secouée La Chine ouvre une base de formation de pilotes au Laos Les enquêtes s'élargissent après la tentative de détournement d'un vol flydubai Maricarmen, symbole des expulsions, meurt alors que les syndicats espagnols appellent à la grève générale Paramount Skydance finalise le rachat de Warner Bros. Discovery L'Allemagne bloque le rachat par Cosco d'un groupe logistique du port de Hambourg Des pirates ont utilisé un outil d'IA chinois contre des banques sud-coréennes, un suspect de Qilin détenu en Allemagne L'Union africaine lance la première agence de notation du continent Le consulat britannique à Jérusalem-Est se prépare à fermer Porsche prévoit de supprimer 25 % de ses effectifs et mise sur des voitures plus chères Newsom condamne la phrase de Trump selon laquelle l'Iran pourrait « anéantir » Los Angeles La Finlande ordonne à Google de suspendre les travaux sur ses sites de centres de données Le Birman Min Aung Hlaing en visite en Malaisie, inquiétudes sur le retour des Rohingyas Le maire d'Izmir rejoint le parti d'Erdoğan Des équipes chinoises et européennes dévoilent les premières horloges nucléaires fonctionnelles Les fumées des incendies indonésiens font de l'air de Singapour le plus pollué du monde Oman évacue l'équipage blessé d'un pétrolier attaqué dans le détroit d'Ormuz ChatGPT for Teens jugé « risque inacceptable » pour les enfants Le comité militaire de l'OTAN en visite à Kiev Le Parlement de l'est libyen destitue son président Saleh après 12 ans Le Japon retire des centaines de valeurs du Topix dans une refonte record

Image symbolique: Des mathématiciens s'interrogent sur la vérification après la publication par OpenAI de centaines de résultats revendiqués

Image symbolique

Des mathématiciens s'interrogent sur la vérification après la publication par OpenAI de centaines de résultats revendiqués

3 sources

OpenAI a publié mardi une vaste collection de résultats mathématiques générés par IA. Les mathématiciens sont impressionnés, mais doutent de la manière dont ils ont été vérifiés.

OpenAI a mis les résultats en ligne sur GitHub avec un billet de blog mardi 6 octobre. La FAZ compte plus de 700 contributions contenant des solutions, des preuves ou des fragments de preuves, tandis que The Guardian fait état de plus de 370 résultats, de la théorie des nombres et de la géométrie algébrique à la logique mathématique. Selon le Wall Street Journal, cité par la FAZ, ils comprennent des avancées sur trois des cinq problèmes du millénaire restants; Alex Kontorovich, de l'université Rutgers, a déclaré qu'un humain y parvenant se verrait assuré de la médaille Fields. OpenAI affirme avoir soumis environ 4000 problèmes au modèle et avoir décrit sa méthode ainsi que la puissance de calcul requise.

Doutes sur la vérification et l'accès

OpenAI dit avoir consulté des experts de l'Advisory Group on Mathematics and Artificial Intelligence de l'Institute for Advanced Study. L'institut lui-même a indiqué ne pas approuver le test des problèmes les plus difficiles sur des modèles propriétaires, mettant en garde contre un système à deux vitesses et contre des raisonnements d'IA qu'aucun humain ne peut vérifier. OpenAI a promis de donner la parole aux mathématiciens, sans dire qu'elle cesserait cette pratique. Le mathématicien de NYU Tristan Buckmaster a déclaré au New York Times que les requêtes pourraient avoir fourni au modèle des informations l'aidant à aboutir.

Vers l'édition