Trendande ämnen
#
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.

Jasper
Medgrundare och VD @Hyperbolic_Labs. Ex-@avax och ex-@citsecurities. Avslutade sin doktorsexamen i matematik på 2 år @UCBerkeley. Guldmedaljör i matematikolympiaden. Högsta utmärkelsen @PKU1898
Vi är stolta över att vara den första som är värd för den bästa kodningsmodellen Qwen3-Coder på @huggingface! Tack för förtroendet, @Alibaba_Qwen @JustinLin610 @huybery 💜

Yuchen Jin4 timmar sedan
Vi serverar nu Qwen3-Coder-480B-A35B & Qwen3-235B-A22B-2507 på Hyperbolic!
Qwen3-Coder-480B uppnår resultat jämförbara med Claude Sonnet 4 på kodningstester, verkligen fantastiskt!
@JustinLin610 och @huybery är 420-gänget i Kina, fortsätt att leverera modeller fram till klockan 6 på morgonen kinesisk tid!
LFG, AI med öppen källkod! 💪

811
Vilken vild helg om AI och IMO. När jag ser tillbaka på de senaste 3 dagarna bevittnade jag:
> fredagseftermiddagen: läckt information om att DeepMind vunnit guld
> lördag 01:00: OpenAI körde det officiella tillkännagivandet i förväg och stal rampljuset
> Trodde till en början att Google bara var långsamt på grund av marknadsföringsgodkännande
> Hörde sedan från Google-folket att IMO och de själva behövde extra tid för verifiering
> Det visar sig att OpenAI inte ens involverade IMO officiellt
> måndag: DeepMind bekräftade sitt guld med renare och mer estetiska svar, fullt verifierade av IMO
Det var kul att vara först med att dela med sig av nyheten på X i fredags. Vilken vild helg!
Skämt åsido, det finns en hel del hype kring matematisk AI på sistone, men vad vi behöver mer av är noggrannhet och standardisering. Som Terence Tao påpekade, även om resultaten ser likadana ut, kan skillnader i testformat göra en värld av skillnad. Vi är fortfarande långt ifrån att ha tydliga, konsekventa standarder och budskap inom AI-forskning.
Om vi vill ha meningsfulla framsteg är det dags för samhället att kliva fram. Låt oss bygga riktmärken som vi alla kan lita på.

Jasper19 juli 06:25
För bara 20 minuter sedan var resultatet av 2025 IMO ute.
Kina rankades som nummer 1 och @GoogleDeepMind vann en guldmedalj 🥇
Framtida matematiktävlingar kommer att vara Kinas lag mot USA: Kinesiskt lag vs AI

4,3K
DeepMind fick en guldmedalj på IMO på fredagseftermiddagen. Men de fick vänta på att marknadsföringen skulle godkänna tweeten – till måndag.
@OpenAI delade med sig av sin första vid 01-tiden på lördagen och stal rampljuset.
I det här spelet > snabbhet byråkrati. Missa ögonblicket, förlora berättelsen.
215,04K
Har precis slutat jobbet och provat Grok-4 på ett grundutbildning topologi problem. Det tog 9 minuter att tänka och sedan gav jag självsäkert ett rent, plausibelt, men helt felaktigt svar 😅
Tro inte att den här kvalificerar sig som "skickligt kontradiktorisk". AI-modeller krossar riktmärken – men ligger fortfarande långt fram för verklig matematisk AGI.



Elon Musk10 juli 16:47
Grok 4 är vid den punkt där den i princip aldrig får fel på matte/fysik-provfrågor, såvida de inte är skickligt kontradiktoriska.
Den kan identifiera fel eller tvetydigheter i frågor och sedan åtgärda felet i frågan eller svara på varje variant av en tvetydig fråga.
663,05K
Grok fick full poäng på AIME 🤯 Vi behöver definitivt ett bättre matematiskt riktmärke för AI nu


xAI10 juli 12:01
Vi presenterar Grok 4, världens mest kraftfulla AI-modell. Titta på livesändningen nu:
3,05K
Topp
Rankning
Favoriter
Trendande på kedjan
Trendande på X
Senaste toppfinansieringarna
Mest anmärkningsvärda