Local smoothing ⇒ Kakeya + restriction
Lissage local, Kakeya et restriction
Quel espace minimum faut-il pour tourner une aiguille dans toutes les directions ? C'est l'intuition du problème de Kakeya.
Examen indépendant attendu↗
OpenAI · Veille scientifique
Résumés éditoriaux de déclarations tierces. Nous ne certifions pas les preuves et ne représentons aucune entreprise citée.
Dossiers expliqués
ETH: 3-SAT ∉ 2^o(n) claimed false
Une remise en cause de l'hypothèse du temps exponentiel
Certaines énigmes deviennent très vite plus difficiles à mesure qu'elles grandissent. Une preuve produite par IA conteste cette idée.
Examen indépendant attendu↗
∂ₜu + (u·∇)u = −∇p + νΔu + f
Un écoulement lisse peut-il devenir singulier ?
Imaginez un tourbillon de plus en plus rapide concentré dans un volume minuscule.
Preuve formelle annoncée↗
Quantum complexity
Répéter un jeu quantique rend-il la réussite plus difficile ?
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.
Preuve formelle annoncée↗
Complexity theory
Quelle est la difficulté du calcul du permanent ?
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.
Preuve formelle annoncée↗
Group theory
Tout groupe admet-il une approximation par permutations finies ?
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.
Preuve formelle annoncée↗
Extremal combinatorics
Combien de temps les couleurs peuvent-elles cacher un triangle monochrome ?
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 ?
Preuve formelle annoncée↗
Discrete geometry
Quelle densité peuvent atteindre les empilements de sphères en grande dimension ?
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.
Preuve formelle annoncée↗
Extremal graph theory
Quelle densité pour un graphe sans motif interdit ?
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.
Preuve formelle annoncée↗
Convex geometry
Quel volume pour un corps convexe avec un seul point intérieur du réseau ?
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 ?
Preuve formelle annoncée↗
Operator algebras
Une algèbre d’opérateurs permet-elle de retrouver son groupe ?
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é.
Preuve formelle annoncée↗
Lattice algorithms
Peut-on approcher efficacement le point de réseau le plus proche ?
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.
Preuve formelle annoncée↗
Coding theory
Combien d’information peut contenir un code robuste ?
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 ?
Preuve formelle annoncée↗
u(n) = max # pairs at distance 1
Nouvelle construction pour le problème des distances unitaires d'Erdős
Combien de paires de points peuvent être séparées d'exactement une unité ? Une IA a trouvé des arrangements inattendus.
Examen mathématique externe↗
Notes de recherche
Making it easier for websites to express AI training preferences
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 ↗Fair use benefits everyone
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 ↗How Ropes & Gray is developing AI for transactional diligence
AI models · provider_announcement
Ropes & Gray is developing AI for transactional diligence with OpenAI. Lawyers review grouped documents, summaries, and reports before advising clients.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗An updated Model Spec for more capable and beneficial AI
AI models · provider_announcement
OpenAI’s updated Model Spec outlines five core values to guide more capable AI toward sound judgment, human agency, and faithfulness to human intent.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗How we detect frontier model misalignment
Agent systems · provider_announcement
OpenAI uses layered monitoring to detect frontier model misalignment and unauthorized agent behavior so responders can intervene before incidents escalate.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗The future of the firm
AI models · provider_announcement
How AI might enter the org chart—beneath, beside, and between us.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗OpenAI and ServiceNow expand partnership across enterprise workflows
Agent systems · provider_announcement
OpenAI and ServiceNow expand their partnership to bring OpenAI models and agents into ServiceNow and ServiceNow workflows into ChatGPT and Codex.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Legora is building the agentic operating system for legal work
Agent systems · provider_announcement
See how Legora uses OpenAI models, ChatGPT, and Codex to accelerate legal workflows, expand contract analysis, and free lawyers to focus on higher-value work.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗OpenAI expands partnership with Oracle to bring its apps to ChatGPT
Agent systems · provider_announcement
OpenAI and Oracle are expanding their partnership to bring business applications and AI agents into ChatGPT and power new Oracle offerings.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Retell uses OpenAI models to help power 100M monthly calls
Agent systems · provider_announcement
GPT-6 Astra tops Retell’s voice agent benchmark, while Codex helps it reach a $1.6M annual revenue run rate per employee.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗Greptile takes bug detection beyond code review with GPT-6 Astra
Agent systems · provider_announcement
How Greptile uses GPT-6 Astra to test user workflows, Daybreak to strengthen security, and Codex to reduce rework.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗GPT-6.1 Sol helps CodeRabbit strengthen security across complex codebases
Agent systems · provider_announcement
CodeRabbit uses GPT-6.1 Sol to investigate security risks across complex codebases. Its security agent helps developers review findings and proposed fixes.
Sélection automatique · sans validation scientifique par ce siteLire la note de recherche ↗