Le 28 août, nous avons commencé à entraîner un nouveau modèle interne. En plus de résoudre le problème du Prix du Millénaire de Navier-Stokes, ce modèle a maintenant résolu plus de 100 problèmes ouverts de longue date dans la plupart des domaines des mathématiques. Le rythme de ses progrès en mathématiques a surpris les mathématiciens au sein d'Open AI. Cela a conduit à des discussions internes sur la meilleure façon d'informer la communauté des progrès rapides pour préparer et adapter le domaine.
Les mathématiques sont une science fondamentale, et les nouvelles découvertes peuvent entraîner un large éventail d'applications. Cela rend la promesse de ces capacités substantielle, et leur développement et déploiement responsables importants au-delà des mathématiques elles-mêmes. Nous le reconnaissons et travaillons sur la manière dont un déploiement plus large des capacités d'IA liées aux mathématiques peut être effectué de manière responsable.
Dans une récente lettre ouverte « Un grave désalignement de l'IA en mathématiques », des mathématiciens expriment des inquiétudes concernant les externalités négatives de la résolution de problèmes ouverts comme référence pour les nouveaux systèmes d'IA. Leurs critiques soulignent la nécessité d'un engagement réfléchi des entreprises d'IA avec la communauté mathématique. À cette fin, nous travaillons avec des mathématiciens qui ont établi un groupe consultatif indépendant sur les mathématiques. Ce groupe servira de pont vers la communauté mathématique et le grand public, donnant aux mathématiciens une voix dans la manière dont nous avançons.
Le groupe conseillera sur l'examen et la communication des résultats émergents : ils aideront Open AI à évaluer leur importance, conseilleront sur la manière de coordonner leur diffusion et conseilleront sur les normes académiques et professionnelles de la recherche mathématique. Il conseillera également sur la manière dont nos outils peuvent soutenir la recherche et l'apprentissage mathématiques. Le groupe fonctionnera indépendamment d'Open AI. Ses membres incluent François Charles, Timothy Gowers, Martin Hairer, Edward Witten et Melanie Matchett Wood.