I dag markerer en betydningsfull milepæl for AI og matematikk. Selv om Aristoteles og andre verktøy har gjort enorme fremskritt i å løse Edos-problemer de siste månedene, har det alltid vært noen irriterende forbehold. I dag er det første autonomt AI-genererte / formaliserte Erdos-problemet, ved å bruke en kombinasjon av Aristoteles og GPT 5.2 Pro. Den første av mange.