Pevně věřím, že se nacházíme v přelomovém okamžiku v historii matematiky. V nadcházejících letech se používání LLM pro matematický výzkum stane hlavním proudem, stejně jako Lean formalizace, která je díky LLM snazší. (1/4)