🏆¿Sabías que existe un premio de 10 millones de dólares por desarrollar un sistema* basado en IA que resuelva problemas de matemáticas? Conoce el AIMO Prize https://aimoprize.com/ Y lo mejor, ya tenemos dos fuertes candidatos: NuminaMath (ganador del 1st Progress Prize, una especie de "segundo premio" para el primero en acercarse al desempleo humano) AlphaProof (de la mano de Google DeepMind, alcanzando literalmente una medalla de plata en dichas olimpiadas, claro, habría que ver si cumplirían el requisito de disponibilidad pública...) *Ni siquiera tiene que ser un único modelo, es para cualquier software disponible de forma pública que sea capaz de ganar una medalla de oro en la Olimpiada Internacional de Matemáticas, independientemente de si se trata de un módulo único o la combinación de varios sistemas (aunque claro, un software que logre esto es claramente una IA)