Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Les problèmes d'Erdos sont un exemple définitif de modèles franchissant un seuil. L'idée qu'une IA puisse en résoudre un, sans parler de plusieurs, toute seule aurait été folle il y a un an (o1 était tout nouveau), et maintenant nous avons plusieurs problèmes d'Erdos résolus par GPT-5.2 Pro au cours des dernières semaines.
il y a 12 heures
J'ai résolu un deuxième problème d'Erdős (#281) en utilisant uniquement GPT 5.2 Pro - aucune solution antérieure trouvée.
Terence Tao l'appelle "peut-être l'exemple le plus sans ambiguïté" d'une IA résolvant un problème ouvert :
Pour être clair : GPT-5.2 Pro ne résout pas cela de manière autonome, il est guidé par une personne, et il itère souvent en utilisant Lean.
67
Meilleurs
Classement
Favoris