Je crois fermement que nous sommes à un moment charnière dans l'histoire des mathématiques. Dans les années à venir, l'utilisation des LLM pour la recherche mathématique deviendra courante, tout comme la formalisation Lean, facilitée par les LLM. (1/4)