Populære emner
#
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.

Noam Brown
Forsker på resonnement @OpenAI | Co-skapte Libratus/Pluribus overmenneskelige poker-AI-er, CICERO Diplomacy AI og OpenAI o3 / o1 / 🍓 resonneringsmodeller
Noam Brown lagt ut på nytt
1/ Jeg konkurrerte for Team USA på IOI i 2015, så denne prestasjonen treffer hjemme for meg. Det største høydepunktet: vi *trente* ikke en modell spesielt for IOI. Vår IMO-gullmodell satte faktisk en ny state-of-the-art i våre interne konkurransedyktige programmeringsvurderinger. Resonnement generaliserer!
99,69K
Hmm jeg lurer på hva dette kan være...

OpenAI7. aug., 01:00
LIVE5TREAM TORSDAG 10 PT
103,95K
Det kan være vanskelig å "føle AGI" før du ser en AI mestre et domene du bryr deg dypt om. Alle vil ha sitt Lee Sedol-øyeblikk på et annet tidspunkt.

Dave White22. juli 2025
the openai IMO news hit me pretty heavy this weekend
i'm still in the acute phase of the impact, i think
i consider myself a professional mathematician (a characterization some actual professional mathematicians might take issue with, but my party my rules) and i don't think i can answer a single imo question
ok, yes, imo is its own little athletic subsection of math for which i have not trained, etc. etc., but. if i meet someone in the wild who has an IMO gold, i immediately update to "this person is much better at math than i am"
now a bunch of robots can do it. as someone who has a lot of their identity and their actual life built around "is good at math," it's a gut punch. it's a kind of dying.
like, one day you discover you can talk to dogs. it's fun and interesting so you do it more, learning the intricacies of their language and their deepest customs. you learn other people are surprised by what you can do. you have never quite fit in, but you learn people appreciate your ability and want you around to help them. the dogs appreciate you too, the only biped who really gets it. you assemble for yourself a kind of belonging. then one day you wake up and the universal dog translator is for sale at walmart for $4.99
the IMO result isn't news, exactly. in fact, if you look at the METR agent task length over time plot, i think agents being able to solve ~ 1.5 hour problems is coming right on time. so in some way we should not be surprised. and indeed, it appears multiple companies have achieved the same result. it's just... the rising tide rising as fast as it has been rising
of course, grief for my personal identity as a mathematician (and/or productive member of society) is the smallest part of this story
multiply that grief out by *every* mathematician, by every coder, maybe every knowledge worker, every artist... over the next few years... it's a slightly bigger story
and of course, beyond that, there is the fear of actual death, which perhaps i'll go into more later.
this package -- grief for relevance, grief for life, grief for what i have known -- isn't unique to the ai age or anything like that. i think it is a standard thing as one appreaches end of career or end of life. it just might be that that is coming a bit sooner for many of us, all at once.
i wonder if we are ready
148,67K
Innsatsen deres tillot formelle matematiske AI-systemer (som AlphaProof). I 2022 trodde nesten ingen at en LLM kunne være IMO-gullnivå innen 2025.

Nat McAleese19. juli 2025
We are seeing much faster AI progress than **Paul Christiano** and **Yudkowsky** predicted, who had gold in 2025 at 8% and 16% respectively, by methods that are more general than expected
164,71K
Topp
Rangering
Favoritter
Trendende onchain
Trendende på X
Nylig toppfinansiering
Mest lagt merke til