Una de les proeses més grans ha estat feta per tres persones estudioses, una en particular que destaca per la seva longevitat, que en lloc d'estar gaudint d'una jubilació, va impulsar el tancament d'un problema que va marcar la seva carrera. En els anys 30 es va plantejar una pregunta sobre la manera de traduir trenar matemàtiques en números. Aquest es va convertir en un repte absolut que portava gairebé un segle, atraient a diversos experts i que per moltes generacions no van resoldre. El problema va ser sotmès a la IA i tampoc va poder trobar la resposta.
A què es refereix aquesta trena matemàtica? S'imagina com diversos fils que es creuen de moltes maneres. Werner Burau va indicar un mètode per transformar-lo en matrius, taules de números com si fossin un full de càlcul. El problema era sobre si la transició conservava la informació tal qual o si dues trenes diferents podien acabar representades per una sola matriu. En mantenir una representació única, el mètode és fidel i, si el perd, deixa de ser-ho. La investigació va ser publicada a Scientific American.
La intuïció humana va resoldre el problema de les trenes matemàtiques
Dècades enrere s'assegurava que podia funcionar amb una, dues i fins a tres fibres; podia fallar a partir de cinc o més. El cas sense resposta era en quatre fibres, el que es va popularitzar amb la matemàtica Joan Birman en els anys 70, la mateixa persona que va resoldre anys després aquesta incògnita. El detall que va acabar resolent-ho tot va ser una cosa tan manual com un teixit, el mateix que va aprendre amb la seva àvia quan era nena. Els encreuaments dels fils amaguen un món matemàtic que va ocupar gran part de la seva vida.
Juntament amb les seves col·legues Tara Brendle i Vasudha Bharathram, aquesta última va proposar invertir la pregunta. No podia existir perquè la representació sí que conservava la informació; hi va haver un canvi d'enfocament per tornar a les idees anteriors i tenir una demostració vàlida. Es va deixar de buscar la fallada i es va acceptar que mai va estar allà. El nou treball va poder demostrar que la representació és fidel per a les quatre fibres. Això demostra que no importa quina intel·ligència artificial s'empri per a un fi; la resposta pot ser tan simple com que faci falta només una idea humana a la peça restant.