Vandaag doneren we $300k aan @leanprover als de eerste sponsor! We geloven dat de toekomst van wiskundige redenering ligt in formele verificatie. Ons model, Aristotle, gebruikt Lean om fouten te elimineren en resultaten te verifiëren. We zijn enthousiast om de tools en mensen te ondersteunen die veilige, nauwkeurige Wiskundige Superintelligentie mogelijk maken.