Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+1,53 %
USELESS
USELESS-8,47 %
IKUN
IKUN-6,09 %
gib
gib-2,77 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,84 %
ALON
ALON-4,88 %
LAUNCHCOIN
LAUNCHCOIN+0,9 %
GOONC
GOONC-2,56 %
KLED
KLED+2,64 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,55 %
Boopa
Boopa+0,4 %
PORK
PORK+2 %
Ethan Mollick
Ethan Mollick
il y a 15 heures·
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.
Neel Somani
Neel Somaniil y a 18 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.
Il semble qu'une preuve antérieure ait été trouvée pour ce problème, bien qu'elle soit différente de celle que le poster avait fait trouver par GPT-5.2 Pro.
107