🚀 Aleph prover is net in BEAST MODE gegaan 4 wiskundeproblemen die al meer dan 20 jaar onopgelost zijn. Formele bewijzen in Lean 4. Minder dan 48 uur. Minder dan $5k totaal. ✅ Conjectuur van binomiale staartgrenzen (Telgarsky, 2009) ✅ Benadering van kwantumpoortlattice (Greene & Damelin, 2015)* ✅ Erdős 124 ✅ Erdős 481 ✅ #1 op de PutnamBench ranglijst Het tijdperk van AI-wiskunde is hier. Speciale dank aan @BorisHanin en @ylecun voor het helpen realiseren van dit 🙏 En enorme waardering voor het @LeanFRO team — niets hiervan is mogelijk zonder de ongelooflijke basis die jullie hebben gelegd. Aleph zal binnenkort beschikbaar zijn voor het publiek, blijf op de hoogte! *onder voorbehoud van resultaten van Sardari (2015), formalisatie in afwachting