{"source":"Quelle IA, le classement des modèles de langage","page":"https://quelleia.com/benchmarks/proofbench/","edition":"2026-W40","date":"2026-09-28","echelle":"score_publie est le score de la source, dans son unité. score_0_1 est ce score ramené entre 0 et 1 pour le calcul. niveau_suggere est le score IA que cette seule mesure indique : 100 pour le meilleur modèle au lancement du site, 50 pour GPT-4o de novembre 2024. difficulte est le score IA d'un modèle qui obtient la moitié (score_0_1 = 0,5), pente la raideur de la courbe.","licence":"Réutilisation libre en citant « Quelle IA, quelleia.com » et la date de l'édition. Les mesures renvoient à leurs sources d'origine.","benchmark":{"id":"proofbench","nom":"ProofBench","tache":"maths","etat":"sature","echelle":"unite","modeles":70,"poids_general":1.25,"difficulte":87.9,"pente":0.2574,"en_une_phrase":"Démontrer des théorèmes de niveau licence avancée et master dans le langage formel Lean 4, avec une preuve vérifiée par la machine.","notation":"Part de théorèmes dont la preuve est acceptée par Lean, sur 100 problèmes privés, avec 40 tours d'échange au plus.","limites":"Trois modèles atteignent 100 % : le test est saturé. Le fichier mêle des scores d'avant et d'après la correction d'août 2026, non comparables entre eux.","mainteneur":"Vals AI","url":"https://www.vals.ai/benchmarks/proof_bench","verifie":true},"tache":{"id":"maths","nom":"Mathématiques","poids_general":10,"benchmarks_actifs":8},"modeles_mesures":70,"mesures":70,"classement":[{"rang":1,"modele":"claude-opus-5-5","nom":"Claude Opus 5.5","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-opus-5-5/","score_publie":1,"score_0_1":1,"niveau_suggere":105.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":1,"modele":"claude-sonnet-5-5","nom":"Claude Sonnet 5.5","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-sonnet-5-5/","score_publie":1,"score_0_1":1,"niveau_suggere":105.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":1,"modele":"claude-fable-5-1","nom":"Claude Fable 5.1","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-fable-5-1/","score_publie":1,"score_0_1":1,"niveau_suggere":105.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":4,"modele":"gpt-6-astra","nom":"GPT-6 Astra","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-6-astra/","score_publie":0.99,"score_0_1":0.99,"niveau_suggere":105.8,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":4,"modele":"claude-opus-5","nom":"Claude Opus 5","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-opus-5/","score_publie":0.99,"score_0_1":0.99,"niveau_suggere":105.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":6,"modele":"claude-fable-5","nom":"Claude Fable 5","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-fable-5/","score_publie":0.95,"score_0_1":0.95,"niveau_suggere":99.3,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":7,"modele":"kimi-k3","nom":"Kimi K3","editeur":"Moonshot","page":"https://quelleia.com/modeles/kimi-k3/","score_publie":0.87,"score_0_1":0.87,"niveau_suggere":95.3,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":8,"modele":"gpt-5-6-sol","nom":"GPT-5.6 Sol","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-6-sol/","score_publie":0.8300000000000001,"score_0_1":0.83,"niveau_suggere":94.1,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":9,"modele":"claude-sonnet-5","nom":"Claude Sonnet 5","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-sonnet-5/","score_publie":0.77,"score_0_1":0.77,"niveau_suggere":92.6,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":10,"modele":"tencent-hy4-preview","nom":"Tencent Hy4 preview","editeur":"Tencent","page":"https://quelleia.com/modeles/tencent-hy4-preview/","score_publie":0.75,"score_0_1":0.75,"niveau_suggere":92.2,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":11,"modele":"gpt-5-6-terra","nom":"GPT-5.6 Terra","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-6-terra/","score_publie":0.74,"score_0_1":0.74,"niveau_suggere":92,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":12,"modele":"claude-opus-4-8","nom":"Claude Opus 4.8","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-opus-4-8/","score_publie":0.6900000000000001,"score_0_1":0.69,"niveau_suggere":91,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":13,"modele":"gpt-5-6-luna","nom":"GPT-5.6 Luna","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-6-luna/","score_publie":0.6,"score_0_1":0.6,"niveau_suggere":89.5,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":14,"modele":"gemini-3-7-flash","nom":"Gemini 3.7 Flash","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-7-flash/","score_publie":0.58,"score_0_1":0.58,"niveau_suggere":89.2,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":14,"modele":"qwen-3-8-max","nom":"Qwen 3.8 Max","editeur":"Alibaba","page":"https://quelleia.com/modeles/qwen-3-8-max/","score_publie":0.58,"score_0_1":0.58,"niveau_suggere":89.2,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":16,"modele":"gpt-5-4","nom":"GPT-5.4","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-4/","score_publie":0.56,"score_0_1":0.56,"niveau_suggere":88.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":16,"modele":"deepseek-v4-flash-0731","nom":"DeepSeek V4 Flash 0731","editeur":"DeepSeek","page":"https://quelleia.com/modeles/deepseek-v4-flash-0731/","score_publie":0.56,"score_0_1":0.56,"niveau_suggere":88.8,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":18,"modele":"claude-opus-4-7","nom":"Claude Opus 4.7","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-opus-4-7/","score_publie":0.54,"score_0_1":0.54,"niveau_suggere":88.5,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":18,"modele":"deepseek-v4-1-flash","nom":"DeepSeek V4.1 Flash","editeur":"DeepSeek","page":"https://quelleia.com/modeles/deepseek-v4-1-flash/","score_publie":0.54,"score_0_1":0.54,"niveau_suggere":88.5,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":20,"modele":"grok-4-6","nom":"Grok 4.6","editeur":"xAI","page":"https://quelleia.com/modeles/grok-4-6/","score_publie":0.51,"score_0_1":0.51,"niveau_suggere":88.1,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":21,"modele":"gpt-5-5","nom":"GPT-5.5","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-5/","score_publie":0.5,"score_0_1":0.5,"niveau_suggere":87.9,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":21,"modele":"claude-opus-4-6","nom":"Claude Opus 4.6","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-opus-4-6/","score_publie":0.5,"score_0_1":0.5,"niveau_suggere":87.9,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":21,"modele":"deepseek-v4-pro-0813","nom":"DeepSeek V4 Pro 0813","editeur":"DeepSeek","page":"https://quelleia.com/modeles/deepseek-v4-pro-0813/","score_publie":0.5,"score_0_1":0.5,"niveau_suggere":87.9,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":24,"modele":"glm-5-3","nom":"GLM-5.3","editeur":"Z.ai (Zhipu AI)","page":"https://quelleia.com/modeles/glm-5-3/","score_publie":0.49,"score_0_1":0.49,"niveau_suggere":87.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":25,"modele":"gemini-3-8-flash","nom":"Gemini 3.8 Flash","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-8-flash/","score_publie":0.48,"score_0_1":0.48,"niveau_suggere":87.6,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":26,"modele":"claude-sonnet-4-6","nom":"Claude Sonnet 4.6","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-sonnet-4-6/","score_publie":0.45,"score_0_1":0.45,"niveau_suggere":87.1,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":27,"modele":"muse-spark-1-2","nom":"Muse Spark 1.2","editeur":"Meta AI","page":"https://quelleia.com/modeles/muse-spark-1-2/","score_publie":0.43,"score_0_1":0.43,"niveau_suggere":86.8,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":28,"modele":"muse-spark-1-1","nom":"Muse Spark 1.1","editeur":"Meta AI","page":"https://quelleia.com/modeles/muse-spark-1-1/","score_publie":0.39,"score_0_1":0.39,"niveau_suggere":86.2,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":29,"modele":"gemini-3-6-flash","nom":"Gemini 3.6 Flash","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-6-flash/","score_publie":0.36,"score_0_1":0.36,"niveau_suggere":85.7,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":29,"modele":"claude-opus-4-5","nom":"Claude Opus 4.5","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-opus-4-5/","score_publie":0.36,"score_0_1":0.36,"niveau_suggere":85.7,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":31,"modele":"glm-5-2","nom":"GLM-5.2","editeur":"Z.ai (Zhipu AI)","page":"https://quelleia.com/modeles/glm-5-2/","score_publie":0.35,"score_0_1":0.35,"niveau_suggere":85.5,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":32,"modele":"grok-4-7","nom":"Grok 4.7","editeur":"xAI","page":"https://quelleia.com/modeles/grok-4-7/","score_publie":0.34,"score_0_1":0.34,"niveau_suggere":85.3,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":33,"modele":"grok-4-5","nom":"Grok 4.5","editeur":"xAI","page":"https://quelleia.com/modeles/grok-4-5/","score_publie":0.31,"score_0_1":0.31,"niveau_suggere":84.8,"reflexion":"elevee","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":33,"modele":"gemini-3-5-flash","nom":"Gemini 3.5 Flash","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-5-flash/","score_publie":0.31,"score_0_1":0.31,"niveau_suggere":84.8,"reflexion":"elevee","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":35,"modele":"gemini-3-1-pro","nom":"Gemini 3.1 Pro","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-1-pro/","score_publie":0.26,"score_0_1":0.26,"niveau_suggere":83.8,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":35,"modele":"qwen3-7-max","nom":"Qwen3.7-Max","editeur":"Alibaba","page":"https://quelleia.com/modeles/qwen3-7-max/","score_publie":0.26,"score_0_1":0.26,"niveau_suggere":83.8,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":37,"modele":"glm-5-1","nom":"GLM-5.1","editeur":"Z.ai (Zhipu AI)","page":"https://quelleia.com/modeles/glm-5-1/","score_publie":0.22222,"score_0_1":0.2222,"niveau_suggere":83,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":38,"modele":"mimo-v2-5-pro","nom":"MiMo-V2.5-Pro","editeur":"Xiaomi","page":"https://quelleia.com/modeles/mimo-v2-5-pro/","score_publie":0.22,"score_0_1":0.22,"niveau_suggere":83,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":39,"modele":"glm-5-3-flash","nom":"GLM-5.3-Flash","editeur":"Z.ai (Zhipu AI)","page":"https://quelleia.com/modeles/glm-5-3-flash/","score_publie":0.21,"score_0_1":0.21,"niveau_suggere":82.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":39,"modele":"gpt-5-4-mini","nom":"GPT-5.4 Mini","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-4-mini/","score_publie":0.21,"score_0_1":0.21,"niveau_suggere":82.8,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":41,"modele":"gemini-3-pro","nom":"Gemini 3 Pro","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-pro/","score_publie":0.2,"score_0_1":0.2,"niveau_suggere":82.5,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":42,"modele":"claude-sonnet-4-5","nom":"Claude Sonnet 4.5","editeur":"Anthropic","page":"https://quelleia.com/modeles/claude-sonnet-4-5/","score_publie":0.19,"score_0_1":0.19,"niveau_suggere":82.3,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":43,"modele":"gpt-5","nom":"GPT-5","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5/","score_publie":0.18,"score_0_1":0.18,"niveau_suggere":82,"reflexion":"elevee","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":43,"modele":"minimax-m3","nom":"MiniMax-M3","editeur":"MiniMax","page":"https://quelleia.com/modeles/minimax-m3/","score_publie":0.18,"score_0_1":0.18,"niveau_suggere":82,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":45,"modele":"muse-spark","nom":"Muse Spark","editeur":"Meta AI","page":"https://quelleia.com/modeles/muse-spark/","score_publie":0.17,"score_0_1":0.17,"niveau_suggere":81.8,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":46,"modele":"kimi-k2-6","nom":"Kimi K2.6","editeur":"Moonshot","page":"https://quelleia.com/modeles/kimi-k2-6/","score_publie":0.16,"score_0_1":0.16,"niveau_suggere":81.5,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":46,"modele":"qwen-3-8-27b","nom":"Qwen 3.8 27B","editeur":"Alibaba","page":"https://quelleia.com/modeles/qwen-3-8-27b/","score_publie":0.16,"score_0_1":0.16,"niveau_suggere":81.5,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":46,"modele":"deepseek-v4-pro","nom":"DeepSeek-V4-Pro","editeur":"DeepSeek","page":"https://quelleia.com/modeles/deepseek-v4-pro/","score_publie":0.16,"score_0_1":0.16,"niveau_suggere":81.5,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":46,"modele":"mimo-v2-5","nom":"MiMo-V2.5","editeur":"Xiaomi","page":"https://quelleia.com/modeles/mimo-v2-5/","score_publie":0.16,"score_0_1":0.16,"niveau_suggere":81.5,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":50,"modele":"gpt-5-2","nom":"GPT-5.2","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-2/","score_publie":0.15,"score_0_1":0.15,"niveau_suggere":81.2,"reflexion":"maximale","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":50,"modele":"gemini-3-flash","nom":"Gemini 3 Flash","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-flash/","score_publie":0.15,"score_0_1":0.15,"niveau_suggere":81.2,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":52,"modele":"grok-4-20","nom":"Grok 4.20","editeur":"xAI","page":"https://quelleia.com/modeles/grok-4-20/","score_publie":0.14,"score_0_1":0.14,"niveau_suggere":80.9,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":53,"modele":"gemini-3-5-flash-lite","nom":"Gemini 3.5 Flash-Lite","editeur":"Google DeepMind","page":"https://quelleia.com/modeles/gemini-3-5-flash-lite/","score_publie":0.13,"score_0_1":0.13,"niveau_suggere":80.5,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":54,"modele":"gpt-5-nano","nom":"GPT-5 nano","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-nano/","score_publie":0.12,"score_0_1":0.12,"niveau_suggere":80.2,"reflexion":"elevee","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":55,"modele":"grok-4-3-beta","nom":"Grok 4.3 Beta","editeur":"xAI","page":"https://quelleia.com/modeles/grok-4-3-beta/","score_publie":0.11,"score_0_1":0.11,"niveau_suggere":79.8,"reflexion":"elevee","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":56,"modele":"gpt-5-1-codex-max","nom":"GPT-5.1-Codex-Max","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-1-codex-max/","score_publie":0.09,"score_0_1":0.09,"niveau_suggere":78.9,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":56,"modele":"gpt-5-mini","nom":"GPT-5 mini","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-mini/","score_publie":0.09,"score_0_1":0.09,"niveau_suggere":78.9,"reflexion":"elevee","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":56,"modele":"mistral-medium-3-5","nom":"Mistral Medium 3.5","editeur":"Mistral AI","page":"https://quelleia.com/modeles/mistral-medium-3-5/","score_publie":0.09,"score_0_1":0.09,"niveau_suggere":78.9,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":59,"modele":"deepseek-v3-2","nom":"DeepSeek-V3.2","editeur":"DeepSeek","page":"https://quelleia.com/modeles/deepseek-v3-2/","score_publie":0.08,"score_0_1":0.08,"niveau_suggere":78.4,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":60,"modele":"inkling-small","nom":"Inkling-Small","editeur":"Thinking Machines","page":"https://quelleia.com/modeles/inkling-small/","score_publie":0.06,"score_0_1":0.06,"niveau_suggere":77.2,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":60,"modele":"glm-4-7","nom":"GLM-4.7","editeur":"Z.ai (Zhipu AI)","page":"https://quelleia.com/modeles/glm-4-7/","score_publie":0.06,"score_0_1":0.06,"niveau_suggere":77.2,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":62,"modele":"gpt-5-4-nano","nom":"GPT-5.4 Nano","editeur":"OpenAI","page":"https://quelleia.com/modeles/gpt-5-4-nano/","score_publie":0.05,"score_0_1":0.05,"niveau_suggere":76.5,"reflexion":"elevee","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":63,"modele":"minimax-m2-5","nom":"MiniMax-M2.5","editeur":"MiniMax","page":"https://quelleia.com/modeles/minimax-m2-5/","score_publie":0.04,"score_0_1":0.04,"niveau_suggere":75.6,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":63,"modele":"grok-4-1-fast","nom":"Grok 4.1 Fast","editeur":"xAI","page":"https://quelleia.com/modeles/grok-4-1-fast/","score_publie":0.04,"score_0_1":0.04,"niveau_suggere":75.6,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":65,"modele":"minimax-m2-7","nom":"MiniMax-M2.7","editeur":"MiniMax","page":"https://quelleia.com/modeles/minimax-m2-7/","score_publie":0.03,"score_0_1":0.03,"niveau_suggere":74.4,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":65,"modele":"mercury-2-5","nom":"Mercury 2.5","editeur":"Inception Labs","page":"https://quelleia.com/modeles/mercury-2-5/","score_publie":0.03,"score_0_1":0.03,"niveau_suggere":74.4,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":67,"modele":"nemotron-3-ultra","nom":"Nemotron 3 Ultra","editeur":"NVIDIA","page":"https://quelleia.com/modeles/nemotron-3-ultra/","score_publie":0.02,"score_0_1":0.02,"niveau_suggere":72.8,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":68,"modele":"inkling","nom":"Inkling","editeur":"Thinking Machines","page":"https://quelleia.com/modeles/inkling/","score_publie":0,"score_0_1":0,"niveau_suggere":70.1,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":68,"modele":"laguna-m-1","nom":"Laguna M.1","editeur":"Poolside","page":"https://quelleia.com/modeles/laguna-m-1/","score_publie":0,"score_0_1":0,"niveau_suggere":70.1,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"},{"rang":68,"modele":"laguna-xs-2","nom":"Laguna XS.2","editeur":"Poolside","page":"https://quelleia.com/modeles/laguna-xs-2/","score_publie":0,"score_0_1":0,"niveau_suggere":70.1,"reflexion":"inconnue","harnais":null,"configurations_mesurees":1,"date":null,"source":"https://www.vals.ai/benchmarks/proof_bench"}]}