Potremmo essere in procinto di un colpo di scena nella saga OpenAI vs. DeepMind IMO. Ho appena visto un post di Joseph Myers (coinvolto nelle Olimpiadi di Matematica dal 1992): il comitato IMO avrebbe chiesto ai laboratori di intelligenza artificiale di non pubblicare i risultati fino a 7 giorni dopo la cerimonia di chiusura — per rispetto nei confronti dei concorrenti umani (vedi il mio post di ieri) e probabilmente per consentire il tempo necessario per una corretta verifica delle sottomissioni e dei formati AI. Secondo Joseph, OpenAI non ha collaborato con l'IMO per testare il proprio modello, e nessuno dei 91 coordinatori ufficiali dell'IMO è stato coinvolto nella valutazione delle sue soluzioni. Nel frattempo, sembra che DeepMind stia seguendo le regole e stia aspettando pazientemente il proprio turno. Per contesto: L'IMO ha 6 problemi, ciascuno vale 7 punti. Il limite per la medaglia d'oro di quest'anno è di 35 punti. Anche una piccola deduzione potrebbe far scendere OpenAI a argento. E dalla mia lettura dei loro scritti, alcune parti potrebbero sollevare domande — e possibilmente costare punti. Terence Tao ha anche sottolineato che mentre i problemi rimangono gli stessi, i formati di test sono importanti. Uno studente che non otterrebbe un bronzo in condizioni standard potrebbe ottenere l'oro con un setup modificato — il che solleva vere domande su cosa significhi "risolvere l'IMO" per l'AI. La prossima settimana potrebbe essere piccante. Rimanete sintonizzati.

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.

Il miglior modello di ragionamento open-source sarà rilasciato giovedì prossimo, se tutto va bene. OpenAI non ha rilasciato un LLM open-source dal GPT-2 nel 2019, quindi sono entusiasta. Lo ospiteremo su Hyperbolic. Allacciate le cinture.

Il futuro dell'IA è collaborativo