Articles sur ChatGPT Pro

OpenAI a rendu open source des centaines de démonstrations mathématiques générées par des modèles de langage de grande taille ainsi que leur code de formalisation Lean, marquant une étape substantielle pour les LLM dans le domaine du raisonnement scientifique rigoureux et de la vérification automatisée. Cependant, les avertissements collectifs de lauréats de la Médaille Fields indiquent que la production industrialisée et à grande échelle de résultats mathématiques pourrait avoir un impact profond sur l'écosystème académique traditionnel et le terreau de la recherche.