Subiecte populare
#
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
AI și LLM-uri
Un nou model GPT Pro pare să fie testat pe web, nu sunt sigur în privința aplicației.
Pare un salt URIAȘ în abilitățile de programare; Poate genera 6000+ linii într-un singur prompt. Mai multe exemple în comentarii.
Poți ști că îl ai dacă există un buton cu degetul mare sus/jos lângă rezumatul CoT.
141
Problema Erdős #635 rezolvată autonom de GPT-5.2 Pro.
Modelul a gândit doar 50 de minute, a produs o demonstrație corectă în latex, apoi a fost formalizat în Lean de Aristotel al lui @HarmonicMath.
Mulțumiri mari lui @AcerFur pentru curățarea Lean-ului.
Revizuirea literaturii este în desfășurare.
114
Limită superioară
Clasament
Favorite