Qwen3-Coder-480B-A35B-Instruct + @hyperbolic_labs è ora disponibile in anycoder per la codifica vibe

Entusiasta di essere il primo a ospitare il miglior modello di codifica Qwen3-Coder su @huggingface! Grazie per la vostra fiducia, @Alibaba_Qwen @JustinLin610 @huybery 💜

Che fine settimana selvaggio riguardo all'IA e all'IMO. Ripensando agli ultimi 3 giorni, ho assistito a: > Venerdì pomeriggio: informazioni trapelate su DeepMind che vince l'oro > Sabato 1am: OpenAI ha anticipato l'annuncio ufficiale, rubando la scena > Inizialmente pensavo che Google fosse solo lento a causa dell'approvazione del marketing > Poi ho sentito da persone di Google che IMO e loro stessi avevano bisogno di ulteriore tempo per la verifica > Si scopre che OpenAI non ha nemmeno coinvolto ufficialmente IMO > Lunedì: DeepMind ha confermato il loro oro con risposte più pulite ed estetiche, completamente verificate dall'IMO È stato divertente essere il primo a condividere la notizia su X venerdì scorso. Che fine settimana selvaggio! Scherzi a parte, c'è molto entusiasmo attorno all'IA matematica ultimamente, ma ciò di cui abbiamo più bisogno è rigore e standardizzazione. Come ha sottolineato Terence Tao, anche se i risultati sembrano simili, le differenze nel formato di test possono fare una grande differenza. Siamo ancora lontani dall'avere standard e messaggi chiari e coerenti nella ricerca sull'IA. Se vogliamo un progresso significativo, è tempo che la comunità faccia un passo avanti. Costruiamo benchmark di cui possiamo tutti fidarci.

DeepMind ha ottenuto una medaglia d'oro all'IMO venerdì pomeriggio. Ma hanno dovuto aspettare che il marketing approvasse il tweet — fino a lunedì. @OpenAI ha condiviso il proprio per primo alle 1 del mattino di sabato e ha rubato la scena. In questo gioco, la velocità > burocrazia. Perdi il momento, perdi la narrazione.

Solo 20 minuti fa, il risultato dell'IMO 2025 è stato pubblicato. La Cina si è classificata al primo posto e @GoogleDeepMind ha vinto una medaglia d'oro 🥇 Le future competizioni matematiche saranno tra la squadra cinese e la squadra cinese degli USA contro l'IA.

Man mano che i modelli di intelligenza artificiale crescono, ottimizzare per FLOPS/$ (potenza di calcolo per dollaro) diventa cruciale. Scopri come Hyperbolic può ottimizzare i tuoi costi GPU qui sotto 🧵

Cosa ne pensi di questa idea di cartellone per Hyperbolic?

Abbiamo appena lanciato il nostro Preventivo Immediato per GPU Riservate: perfetto per i team di AI che necessitano di calcolo dedicato per periodi di tempo più lunghi. Ottieni prezzi immediati per le tue esatte esigenze infrastrutturali direttamente nella nostra app!

Appena uscito dal lavoro e ho provato Grok-4 su un problema di topologia per studenti universitari. Ha impiegato 9 minuti a pensare e poi ha dato con sicurezza una risposta pulita, plausibile, ma totalmente sbagliata 😅 Non penso che questo possa essere considerato "abilità avversariale". I modelli di intelligenza artificiale stanno schiacciando i benchmark — ma c'è ancora molta strada da fare per una vera AGI matematica.

Grok ha ottenuto il punteggio massimo all'AIME 🤯 Abbiamo sicuramente bisogno di un benchmark matematico migliore per l'IA ora.