Pour des démonstrations de Math exigeant la compréhension fine de nombreux concepts, je me demande bien comment l'on peut être sûr de pouvoir valider par soi-même une démonstration sans passer par l'approche de la revue par des pairs reconnus comme experts dans leur domaine.
Rappelons tout de même que le Frido se place au niveau de l'agrégation, qui est un concours d'enseignement, et dont les épreuves orales demandent de présenter un plan de cours sur un sujet au programme. Un niveau, donc, où on est censé savoir en principe reconnaître une démonstration correcte ou non (ce qui n'empêche évidemment pas de se tromper parfois, ça arrive même aux meilleurs) et avoir une maîtrise suffisante des concepts en jeu (qui font partie du cursus mathématique universitaire standard, pas de domaines de recherche très spécialisés) pour appliquer cette compétence de manière raisonnablement efficace sur ces preuves en particulier.
[^] # Re: Le cas particulier ChatGPT
Posté par jeanas (site web personnel, Mastodon) . En réponse à la dépêche Le Frido 2025. Évalué à 3.
Rappelons tout de même que le Frido se place au niveau de l'agrégation, qui est un concours d'enseignement, et dont les épreuves orales demandent de présenter un plan de cours sur un sujet au programme. Un niveau, donc, où on est censé savoir en principe reconnaître une démonstration correcte ou non (ce qui n'empêche évidemment pas de se tromper parfois, ça arrive même aux meilleurs) et avoir une maîtrise suffisante des concepts en jeu (qui font partie du cursus mathématique universitaire standard, pas de domaines de recherche très spécialisés) pour appliquer cette compétence de manière raisonnablement efficace sur ces preuves en particulier.