Ik geloof stellig dat we op een keerpunt staan in de geschiedenis van de wiskunde. In de komende jaren zal het gebruik van LLM's voor wiskundeonderzoek mainstream worden, en dat geldt ook voor Lean-formalisatie, die gemakkelijker zal worden gemaakt door LLM's. (1/4)