Nous publions une large gamme de nouveaux résultats mathématiques produits par un modèle frontalier interne. Nous avons consulté le Groupe consultatif indépendant sur les mathématiques et l'intelligence artificielle à l'Institute for Advanced Study pour développer les meilleures pratiques. Pour cette publication, nous publions les résultats dans un dépôt Git Hub, avec des protocoles pour les révisions de documents et les citations.
Nous partageons des formalisations de nombreuses preuves en Lean, un langage de programmation qui permet aux preuves mathématiques d'être vérifiées par un ordinateur. Nous publions également 10 résumés du raisonnement du modèle et des estimations du calcul dépensé. Le résultat moyen a utilisé l'équivalent d'environ trois heures de réflexion Chat GPT Pro.
Nous voulons que ce progrès repousse les frontières de la connaissance humaine. Nous financerons une série d'ateliers, de conférences et de programmes spéciaux autour de la compréhension des principaux résultats produits par l'IA. Nous travaillons à publier de manière responsable le modèle qui a produit ces résultats et continuerons à agir en fonction des retours de la communauté.
Source: Hacker News · Résumé par HeadlinesBriefing