Un nouveau modèle GPT Pro semble être en cours de test sur le web, pas sûr pour l'application. On dirait un SAUT ÉNORME dans la capacité de codage ; il peut produire plus de 6000 lignes en une seule invite. Plus d'exemples dans les commentaires. Vous saurez que vous l'avez si un bouton pouce en l'air/vers le bas est à côté du résumé CoT.

Problème d'Erdős #635 résolu de manière autonome par GPT-5.2 Pro. Le modèle a réfléchi pendant seulement 50 minutes, produisant une preuve correcte en Latex, puis formalisée en Lean par @HarmonicMath's Aristote. Un grand merci à @AcerFur pour avoir nettoyé le Lean. La revue de littérature est en cours.

*Nano Banana 2* GIGANTESQUE Bibliothèque de Sortie ! Hier, j'ai eu accès à nano banana 2 et j'ai généré une tonne d'images toute la journée. Je n'inclus pas les invites car cela me prendrait des années, voici les images :