AI právě překročila práh v matematice. @tachim generální ředitel @HarmonicMath o tom, jak AI mění matematické ověřování: "Před rokem bylo formalizovat důkazy pomocí AI prakticky nemožné. Teď je to přijímáno velmi rychle." "Dřív, když jsi vyřešil problém s Erdősem, potřeboval jsi profesora, který to potvrdí, riskoval jeho pověst a strávil tím značný čas." "Teď může kdokoli zkusit řešení, formalizovat ho a všichni si mohou být jisti, že je správné."