En mayo de 2025, un encuentro secreto en la Universidad de California en Berkeley enfrentó a 30 matemáticos prestigiosos con la inteligencia artificial o4-mini de OpenAI. El objetivo era resolver problemas matemáticos complejos en dos días. Por cada problema no resuelto, el matemático que lo formuló recibiría $7.500.
El resultado dejó perplejos a muchos: o4-mini resolvió problemas en minutos con un razonamiento estructurado. Ken Ono, matemático de la Universidad de Virginia, afirmó: 'Nunca había visto ese tipo de razonamiento en un modelo. Es aterrador'. La reunión, organizada por Epoch AI, siguió estrictas medidas de seguridad.
Los matemáticos fueron divididos en grupos de seis y compitieron para diseñar problemas que resolvieran ellos pero que hicieran colapsar a la IA. o4-mini resolvió cerca del 20% de problemas de 'nivel cuatro' en abril de 2025, mientras que los modelos tradicionales apenas superaban el 2%.
La experiencia dejó una huella en los participantes, que reflexionaron sobre el futuro de los matemáticos y su posible conversión en 'formuladores de preguntas' para guiar a las IA.
Crítica:
El artículo cumple con las expectativas del título al mostrar el enfrentamiento entre matemáticos y una IA. La calidad informativa es alta, con detalles específicos sobre el encuentro y resultados. Sin embargo, el sensacionalismo podría llevar a interpretar que los matemáticos están obsoletos, lo que no se afirma explícitamente.
Comentarios