Ce qui change, ce que les preuves étayent et ce qui mérite un examen: modèles, agents, sciences et mathématiques, sans confondre annonces et résultats vérifiés.
Nouvellement découvert ne signifie pas nouvellement publié. Ces sources ne sont pas vérifiées indépendamment.
Résumés éditoriaux de déclarations tierces. Nous ne certifions pas les preuves et ne représentons aucune entreprise citée.
Sélection au 29 octobre 2026Trois analyses étayées. Texte anglais ; contrôle distinct par IA, sans évaluation scientifique par les pairs.
Directly relevant to building realistic test tasks without exporting private Sevensa or customer records.
Source: Microsoft Research · 2026-10-30
Separate AI source check · not peer reviewDirectly addresses the atlas's promise to explain methods without inventing access to hidden model reasoning.
Source: Anthropic · 2025-04-03
Separate AI source check · not peer reviewClarifies the distinction between model capability, orchestration and enforced permissions without replacing the existing Sevensa stack.
Source: NVIDIA Developer · 2026-10-30
Separate AI source check · not peer reviewSélection automatique · sans validation scientifique par ce site
Explorer la recherche → · État des sources
Agent systems · primary_technical_publication
AI is expanding beyond the data center as developers build a new generation of agents to act at the edge: monitoring driver attention and cabin
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Evaluation & safety · primary_technical_publication
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Agent systems · primary_technical_publication
Building an autonomous agent requires a model, a harness, and domain-specific tools. To deploy an agent more securely, developers need a runtime that enforces...
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Compute & efficiency · primary_technical_publication
Teams building AI applications need a repeatable path from a model configuration to a working inference endpoint. NVIDIA Dynamo is a distributed inference...
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Data & governance · provider_announcement
OpenAI will honor a shared robots.txt signal to help website operators communicate their AI training preferences to participating providers.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗AI models · provider_announcement
OpenAI shares excerpts from court briefs by creators, academics, accessibility advocates, and legal experts, among others, on how fair use supports AI training and innovation.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Sélection de recherches, non exhaustive
Quel espace minimum faut-il pour tourner une aiguille dans toutes les directions ? C'est l'intuition du problème de Kakeya.
Certaines énigmes deviennent très vite plus difficiles à mesure qu'elles grandissent. Une preuve produite par IA conteste cette idée.
Imaginez un tourbillon de plus en plus rapide concentré dans un volume minuscule.
Pour n supérieur à deux, aucun entier positif a, b, c ne satisfait aⁿ + bⁿ = cⁿ. Le théorème était déjà démontré ; Claude l'a formalisé.
Claude n'a pas prouvé l'hypothèse de Riemann. Anthropic annonce cependant une borne inférieure passant de 41,6 % à 67,2 %.
Un test unique laisse une place à la chance. Le répéter devrait réduire la possibilité de réussir toutes les manches. Mais les joueurs quantiques peuvent partager de l’intrication et corréler leurs stratégies.
Le déterminant combine les entrées d’une matrice carrée. Le permanent somme des produits similaires sans alterner les signes. Ce petit changement conduit à une difficulté de calcul très différente.
Un groupe décrit des opérations réversibles. Pour comprendre un groupe infini, on peut essayer d’en imiter des portions par des permutations d’un ensemble fini. La soficité demande si cela reste toujours possible avec une précision croissante.
Reliez chaque paire de personnes et colorez chaque lien. Quelle taille peut atteindre le groupe sans qu’un trio possède trois liens de la même couleur ?
Empiler des oranges est familier. Dans un espace ayant de nombreuses coordonnées indépendantes, on demande quelle fraction peut être occupée par des boules identiques sans recouvrement.
Un graphe est un réseau de points et de liens. Avec assez de liens, certains motifs deviennent inévitables. La théorie extrémale des graphes étudie cette transition.
Placez une forme sans creux sur un réseau entier. Son centre de gravité est l’unique point du réseau strictement intérieur. Jusqu’où son volume peut-il croître ?
Peut-on retrouver une structure originale à partir de sa représentation mathématique, ou deux structures différentes peuvent-elles produire des représentations indistinguables ? C’est l’intuition de cette question de rigidité.
Dans une grille régulière de grande dimension, on cherche le point le plus proche d’une position donnée. Même une approximation assez précise peut être difficile à calculer.
La redondance aide à reconnaître un message endommagé. Les mots du code doivent donc rester assez différents. Combien de messages distincts peut-on conserver à distance minimale fixée ?
Combien de paires de points peuvent être séparées d'exactement une unité ? Une IA a trouvé des arrangements inattendus.
Aucun dossier correspondant.
Vérification formelle, examen expert et évaluation par les pairs sont distincts.
Exports publics JSON et Markdown avec sources, incertitudes et dates de révision, sans compte ni JavaScript.
GET /api/v1/discoveries.jsonOpen JSON ↗GET /.well-known/ai-research.jsonAgent manifest ↗GET /llms.txtDocumentation ↗