Nové spuštění AI Math právě prolomilo 4 dříve nevyřešené problémy
před pěti lety, matematici Dawei Chen a Quentin Gendron se pokoušeli rozmotat obtížnou oblast algebraické geometrie zahrnující diferenciály, prvky kalkulu používané k měření vzdálenosti podél zakřivených povrchů. Při práci na jedné větě narazili na nečekanou překážku: Jejich argument závisel na podivném vzorci z teorie čísel, ale nebyli schopni jej vyřešit ani zdůvodnit. Nakonec Chen a…