Argomenti di tendenza
#
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.
Leeham
IA e LLM
Sembra che un nuovo modello GPT Pro stia venendo testato sul web, non sono sicuro riguardo all'app.
Sembra un SALTO MASSIVO nella capacità di codifica; può generare oltre 6000 righe in un solo prompt. Maggiori esempi nei commenti.
Puoi sapere di averlo se c'è un pulsante di pollice su/giù accanto al riepilogo CoT.
179
Il Problema di Erdős #635 risolto autonomamente da GPT-5.2 Pro.
Il modello ha pensato per soli 50 minuti, producendo una prova corretta in Latex, poi formalizzata in Lean da @HarmonicMath's Aristotle.
Un grande grazie a @AcerFur per aver sistemato il Lean.
La revisione della letteratura è in corso.
157
Principali
Ranking
Preferiti