Historias de la IA: las Olimpiadas Matemáticas
Nos hacemos eco en esta entrada de unos sucesos particularmente desafortunados causados por la competencia de las grandes compañías productoras de IA y, probablemente, una falta de ética en sus procedimientos.
Resumamos, yendo a la web de El país, los sucesos (recogidos en un excelente reportaje por Patricia Fernández de Lis) y que tuvieron lugar en Queensland, Australia, sede de la IMO 2026:
El pasado julio, miles de medios publicaron que la inteligencia artificial había logrado por primera vez una medalla de oro en la Olimpiada Internacional de Matemáticas. Pero había un problema: la noticia no era cierta. OpenAI publicó en redes que su modelo había alcanzado “un desempeño de nivel de medalla de oro”, pero su sistema no compitió contra ningún estudiante. Seis empresas tecnológicas, entre ellas Google, OpenAI y DeepSeek, fueron invitadas a Australia como patrocinadoras. A última hora pidieron que sus modelos fueran evaluados. Los correctores pidieron a las empresas que no publicaran los resultados hasta una semana más tarde, para no quitar protagonismo a los estudiantes. OpenAI ignoró el embargo acordado y publicó sus resultados la noche de la clausura, mientras los estudiantes recibían sus premios. Google intentó entonces que sus soluciones fueran corregidas de urgencia, abordando a los correctores en los pasillos.
Las compañías que desarrollan la IA siempre han intentado conseguir efectos publicitarios de gran impacto. Si en 1997, Deep Blue derrotó al Campeón del Mundo de ajedrez, Garry Kasparov, y en 2016, AlphaGo Zero derrotó al campeón sudcoreano de Go, Lee Sedol, lo que intentaban ahora probar es que la IA podía competir con los chicos y chicas que participan en la Olimpiada Matemática Internacional.
Recordemos que La Olimpiada Internacional de Matemáticas es el campeonato mundial de matemáticas para estudiantes de secundaria, y se desarrolla anualmente en un país distinto. La primera OIM tuvo lugar en 1959 en Rumanía, con la participación de 7 países. Poco a poco ha ido creciendo hasta sobrepasar los 100 países de los 5 continentes, y el país anfitrión debe respetar el reglamento y las tradiciones olímpicas. No se trata de una competición para humillar a los perdedores, sino mantener el espíritu olímpico, compitiendo, pero respetando a los rivales. De hecho, durante los días de celebración, las distintas delegaciones comparten espacios y diversiones, generando nuevas amistades entre jóvenes de tantos países de diferentes culturas.
Los miembros de cada equipo nacional son elegidos en cada uno de sus países con Olimpiadas nacionales. Esto es lo que ocurre en España, bajo la supervisión de la Real Sociedad Matemática Española. Muchos de los seleccionados han sido previamente alumnos del Programa Estalmat que coordina la Real Academia de Ciencias Exactas, Físicas y Naturales de España. Existe una olimpiada para edades intermedias que lleva adelante la Federación Española de Sociedades de Profesores de Matemáticas, y esperamos que en años venideros haya una excelente coordinación entre estas instituciones para que no se quede ningún talento matemático sin descubrir.
La actuación de las grandes compañías de IA en este caso fue muy poco ética. No se pueden comparar las actividades de estos chicos, usando solo papel y lápiz junto a sus conocimientos matemáticos y su talento, con programas entrenados para resolver problemas. Si de verdad se quisiera progresar en el buen uso de la IA en matemáticas (tanto en los aspectos educativos como en la ayuda para la investigación), lo adecuado hubiera sido someter a las IA a la resolución de los problemas de las IMOs que están publicados y son por tanto bien conocidos. Y hacer al final un estudio serio de la mano de los matemáticos y educadores. Todo lo contrario de lo que han hecho, asaltando de manera abusiva este concurso. En el caso del ajedrez y el go, eran pruebas concertadas, con beneficios para ambas partes, y con el objetivo de conocer los límites.
Así que, si la IA quiere comprobar sus capacidades, sigan el consejo del medallista Fields, Terence Tao, y organicen sus propias olimpiadas. Y de paso, pongan su dinero en los sistemas educativos de los países (especialmente los más pobres), porque si, de ahí saldrán los futuros líderes de la IA en el siglo XXI. Que nadie olvide que la IA, sobre todo, matemáticas.
_____________
Manuel de León (CSIC, Fundador del ICMAT, Real Academia de Ciencias, Real Academia Canaria de Ciencias, Real Academia Galega de Ciencias, Presidente del ICM2006 Madrid y miembro del Comité Ejecutivo de IMU (2007-2024) y del Comité Ejecutivo del ISC (2014-2018). Web: https://www.manueldeleon.es/
So — have been messing about with this thing for maybe six months now and it’s basically bookmarked at this point, so figured I’d say something since a lad on another thread asked me the other day. Am based in the UK, mainly stick to footie and the horses, small stakes, just so you know where I’m coming from.
What got me on it was genuinely a bit daft — I could never work out what an ew payout actually was when the place terms changed. I’d just eyeball it and moan when the payout landed. These days I punch the numbers in before I place anything, even the boring singles.
Their single bet calculator tool is the bit I open most — type in stake and odds and you get returns with no faffing, fractions or decimals. There’s also the fiddly ones — doubles and trebles maths, lucky 15s, yankees, and that’s where most people I know got it wrong. Have a go yourself, it’s over at super heinz bets and there’s no login wall, which I appreciated.
What really shifted things for me was the geekier tools. The implied probability converter and it makes obvious what margin’s baked in, and there’s the kelly criterion calculator — I stick to fractional kelly as the full version is terrifying. Dutching calculator gets used a fair bit if I’m spreading across selections.
It’s not perfect mind. The interface looks pretty plain — not much frills, it’s clearly function over form. On mobile it’s usable though the acca grid are a squeeze. Also there’s no proper app, it’s browser only — slight shame just flagging it.
So yeah. Costs nowt, not plastered in adverts, works. If anyone even now adds it up in their head, try it — saves me a load of arguments with the bookie.
So — been using this thing for something like four months now and it’s basically bookmarked at this point, reckon I’d write something up since a mate asked me the other day. I’m in the UK, mainly do football and horses, a fiver here and there, so take it how you like.
What got me on it was honestly embarrassing — I never could work out what an e/w return actually was with 1/5 odds a place. Basically I’d wing it and then be surprised. Now punch the numbers in first, every time, even the boring singles.
Their single bet calculator tool is the part I’m on daily — type in the price and your stake and it spits out returns instantly, either odds format. It also handles the multiples — trebles maths, lucky 15 and lucky 63, patents and yankees, which is where I’d always mess it up. If you fancy a poke about, it’s here betting super heinz and it’s free with no account nonsense.
One thing that genuinely changed how I bet were the geekier extras. The odds-to-probability calculator and it makes obvious what margin’s baked in, and there’s the kelly criterion tool — I stick to fractional kelly as the full version is far too aggressive. The dutch tool gets used a fair bit for when I’m spreading across selections.
Not all sunshine though. The design feels very functional, let’s say — zero frills, which honestly I don’t mind but some will. On my phone it’s usable though the bigger tables need a bit of scrolling. There’s no app, it’s browser only — doesn’t bother me but you asked.
Right, that’s me. Costs nowt, barely any ads, does what it says. If anyone honestly does the maths on paper, try it — saves me plenty of «wait, that’s it?» moments.
Люди подскажите Муж просто потерял себя Родственники не знают что делать Таблетки не помогают Короче, единственное что вытащило из запоя — выведение из запоя на дому качественно Приехали через 40 минут В общем, жмите чтобы сохранить — выход из запоя на дому https://kodirovanie.vyvod-iz-zapoya-na-domu-samara.ru Не ждите пока станет хуже Перешлите тем кто в такой же ситуации
Слушайте кто сталкивался Ситуация критическая Соседи стучат в стену Нужна срочная помощь на дому Короче, только это реально спасло — вывод из запоя цена на дому адекватная Через пару часов человек пришёл в себя В общем, жмите чтобы сохранить — вывод из запоя анонимно недорого вывод из запоя анонимно недорого Вывод из запоя на дому — это реальный выход Перешлите тем кто в такой же ситуации
Люди помогите советом Отец не выходит из штопора Родственники не знают что делать В больницу тащить страшно Короче, только это реально спасло — вызов нарколога на дом быстро Осмотрел и поставил капельницу В общем, вся инфа по ссылке — вызов нарколога на дом цена вызов нарколога на дом цена Нарколог на дом — это реальный выход Перешлите тем кто в такой же ситуации
Люди подскажите Брат снова сорвался Родственники не знают что делать Нужен врач прямо сейчас Короче, врач приехал и поставил систему — нарколог домой с препаратами Дал рекомендации и успокоил семью В общем, вся инфа по ссылке — выезд нарколога на дом воронеж https://czena.narkolog-na-dom-voronezh-14.ru Звоните прямо сейчас Перешлите тем кто в такой же ситуации