🚨 Tämä on iso juttu. GPT-5.2 Pro, Aristoteleen kanssa, on itsenäisesti luonut, formalisoitunut ja täysin ratkaissut aiemmin avoimen Erdős-ongelman Leanissa. Ei ihmisen todisteita. Ei vihjeitä. Ei telineitä. Tämä on tekoälyn alkuperäinen matemaattinen löytö.