Je suis en train d'ajouter d'autres exercices de prépa, si vous avez des exos d'oraux que vous voulez me donner n'hésitez pas à me DM ou à les poster en commentaires. Certains seront corrigés
Je suis en train d'ajouter d'autres exercices de prépa, si vous avez des exos d'oraux que vous voulez me donner n'hésitez pas à me DM ou à les poster en commentaires. Certains seront corrigés
1 − 1/9 + 1/25 − … ≈ 0,916
Est-ce une fraction ? Personne n'en savait rien depuis Catalan, en 1865.
OpenAI a tranché : non. Son modèle a écrit la preuve, Lean l'a vérifiée. Zhi-Wei Sun avait tenté le coup en septembre, mais sa preuve n'étais pas allée au bout
https://t.co/IpKIKTrxTQ
Si ça peut aider :
L'IA n'a pas résolu l'hypothèse de Riemann
2026 a été une année historique : plus des 2/3 des zéros prouvés sur la droite critique, et aucun zéro au-delà de 7/8.
https://t.co/wWEziI1QwU
"openai just proved that Riemann zeta is zero-free in the half-plane ℜ(s) > 7/8"
"incredible this changes everything"
"do you know what ℜ(s) is?"
"no, do you?"
"no."
OpenAI vient de publier 722 articles de maths écrits par son IA.
π, coloriage du plan, Riemann : 6 résultats expliqués au niveau lycée, ce que la vérification par ordinateur garantit vraiment, et pourquoi 28 médaillés Fields s'inquiètent 👇
https://t.co/V7vqxJrSzq
Nouveau sur Progresser-en-maths : nos 21 fiches aide-mémoire ont été mises à jour et ont toutes leur version PDF 📄
Une page A4 par fiche, à imprimer ou à garder sur son téléphone : aires, trigo, complexes, dérivées, DL, équivalents…
Du collège à la prépa : https://t.co/CdAYgXEBKp
184 pages d'exercices cotés 1 à 5 : le poly que bossent les futurs MPSI, MP2I, PCSI et PTSI de Louis-le-Grand tout l'été.
Il est maintenant en ligne, exercice par exercice, avec une IA qui lit vos preuves ligne à ligne. Gratuit, classement par prépa 👇
https://t.co/IZ6AfCEPfd
Tu rentres en prépa scientifique ? Tu veux avoir autant de chances de réussir ta prépa et tes concours que les élèves de LLG / H4 / Ginette ?
Voici pour toi le poly de transition lycée->prépa de Louis-le-Grand (aka "poly LLG"), mais interactif : tu rédiges tes preuves, une IA les corrige à la volée. Et tu peux même te comparer aux élèves de ta prépa / des autres prépas.
Gratuit pour tous les futurs MPSI / PCSI / MP2I / PTSI.
👇
https://t.co/Eq7SQgVc6a
Apprendre l'IA quand on est au lycée : par où commencer, et quelles maths sont vraiment nécessaires.
Un ami a construit IOAI Training, une plateforme francophone gratuite : 348 exercices, de NumPy aux transformers. J'ai repris son parcours niveau par niveau, avec les maths qu'il faut à chaque étape.
https://t.co/yb5AJf4Gph
Oui et d'ailleurs pour le préparer vous devriez acheter mon livre sur le grand oral désormais 3e dans la catégorie "Manuels de grand oral pour le lycée"
https://t.co/Upl0OEVktC
Nouvelle catégorie de page : Mathématiques pour le ML, une page plus structurée arrive quand j'aurai sorti tout ce que je veux sortir sur le sujet
https://t.co/iFEHtemjJC
Nouvelle catégorie de page : Mathématiques pour le ML, une page plus structurée arrive quand j'aurai sorti tout ce que je veux sortir sur le sujet
https://t.co/iFEHtemjJC