Brown ha inoltre spiegato che circa due mesi fa, l’IMO ha invitato Opena a prendere parte a una versione formale della competizione basata su Lynn, che è un linguaggio di programmazione progettato per scrivere prove matematiche. La società ha negato perché “si sono concentrati su argomenti generali nel linguaggio naturale senza i vincoli di grasso”. Ha detto che “non sono mai stati contattati sull’alternativa alla matematica del linguaggio naturale”.
Tuttavia un coordinatore IMO Dichiarato X Utente Mikhail Samin, che ha effettivamente annunciato prima della cerimonia di chiusura, si è opposto all’affermazione di Brown. Il coordinatore ha definito le attività “maleducate e inappropriate” di Openi, ha affermato che Open non è una delle società di intelligenza artificiale che ha collaborato con l’IMO nell’esaminare i loro modelli. “
Matematica dura dal 1959
L’Olimpiade matematico internazionale ha rappresentato uno dei test più impegnativi della logica matematica dal 5 °. In più di 4 paesi, ciascuno dei sei partecipanti invia i partecipanti, i concorrenti affrontano sei problemi basati su prove in due sessioni di 1,5 ore. I problemi di solito richiedono approfondimenti matematici più profondi e creatività rispetto al potere del calcolo grezzo. Puoi Visualizza i problemi corretti Pubblicato su Olympiad online nel 2025.
Per esempio, Il problema è uno Gli studenti chiedono di immaginare una griglia triangolare (come una pegboard triangolare) e determinare come coprire tutti i punti usando le n linee rette N. La svolta si chiama “Sunny” alcune linee: queste linee sono linee che non sono guidate orizzontalmente, verticalmente o diagonalmente in angoli a 45º. La sfida è dimostrare che non importa quanto sia grande il tuo triangolo, puoi semplicemente creare motivi con linee arcobaleno 0, 1 o 3 – mai 2, mai 4, nessun altro numero.
Il tempo di risultato di Openai ha sorpreso un mercato delle previsioni, che Sono stati assegnati Qualsiasi sistema di intelligenza artificiale ha circa il 18 % di probabilità di vincere l’oro IMO entro il 2025.
Dopo l’annuncio dell’Openi e la nostra pubblicazione iniziale di questo articolo, Google DipMind ha pubblicato i propri risultati IMO e il suo modello di Think Deep Think ha richiesto prestazioni di medaglia d’oro risolvendo cinque dei sei problemi. A differenza dell’Openi, Google ha lavorato direttamente con gli organizzatori IMO e i suoi risultati sono stati ufficialmente classificati e certificati dai coordinatori IMO. Google ha pianificato di aderire al divieto il 28 luglio, ma ha rimosso il suo annuncio dopo la pubblicazione iniziale di Openi.
“Abbiamo confermato all’agenzia IMO che in realtà abbiamo risolto cinque perfettamente risolti con la società IMO”, IMO, uno scienziato senior di Dipmind, ha detto alla società IMO che nessuno ha attraversato questo processo, non lo sappiamo, potrebbero perdere un punto e raggiungere l’argento. “
Questo post è stato aggiornato il 22 luglio con una nuova dichiarazione di Nom Brown e le informazioni relative ai risultati dell’annuncio IMO di Google Dipmind.
