Local smoothing ⇒ Kakeya + restriction
Suavizado local, Kakeya y restricción
¿Qué espacio mínimo necesita una aguja muy fina para apuntar en todas las direcciones? Esa intuición conduce al problema de Kakeya.
Revisión independiente pendiente↗
OpenAI · Monitor de investigación
Resúmenes editoriales de afirmaciones externas. No certificamos pruebas ni representamos a las empresas mencionadas.
Informes explicados
ETH: 3-SAT ∉ 2^o(n) claimed false
Una objeción a la hipótesis del tiempo exponencial
Algunos acertijos se vuelven muchísimo más difíciles al crecer. Un argumento de IA cuestiona esta predicción.
Revisión independiente pendiente↗
∂ₜu + (u·∇)u = −∇p + νΔu + f
¿Puede un flujo suave volverse singular?
Imagina un remolino que gira cada vez más rápido en una región cada vez más pequeña.
Prueba formal anunciada↗
Quantum complexity
¿Repetir un juego cuántico dificulta superar todas las pruebas?
Una sola prueba deja margen a la suerte. Repetirla debería disminuir la probabilidad de acertar siempre. Pero los jugadores cuánticos pueden compartir entrelazamiento y correlacionar sus estrategias.
Prueba formal anunciada↗
Complexity theory
¿Qué dificultad tiene calcular el permanente?
El determinante combina elementos de una matriz cuadrada. El permanente suma productos parecidos sin alternar signos. Ese cambio aparentemente pequeño conduce a otro problema computacional.
Prueba formal anunciada↗
Group theory
¿Puede todo grupo aproximarse mediante permutaciones finitas?
Un grupo describe operaciones reversibles. Para entender un grupo infinito, podemos intentar imitar fragmentos con permutaciones de un conjunto finito. La soficidad pregunta si esas aproximaciones siempre pueden mejorar.
Prueba formal anunciada↗
Extremal combinatorics
¿Cuánto pueden ocultar los colores un triángulo monocromático?
Conecta cada pareja de personas y asigna un color a cada conexión. ¿Qué tamaño puede tener el grupo sin que tres personas compartan tres conexiones del mismo color?
Prueba formal anunciada↗
Discrete geometry
¿Con qué densidad pueden empaquetarse esferas en muchas dimensiones?
Apilar naranjas resulta familiar. En un espacio con muchas coordenadas independientes también preguntamos qué fracción pueden ocupar bolas iguales que no se solapen.
Prueba formal anunciada↗
Extremal graph theory
¿Qué densidad puede alcanzar un grafo sin un patrón prohibido?
Un grafo es una red de puntos y conexiones. Con suficientes conexiones algunos patrones son inevitables. La teoría extremal de grafos estudia esa transición.
Prueba formal anunciada↗
Convex geometry
¿Qué volumen admite un cuerpo convexo con un único punto interior del retículo?
Coloca una forma sin entrantes sobre una cuadrícula entera. Su centro de gravedad es el único punto de la cuadrícula estrictamente interior. ¿Cuánto puede crecer su volumen?
Prueba formal anunciada↗
Operator algebras
¿Recuerda un álgebra de operadores el grupo que la originó?
¿Podemos reconstruir una estructura a partir de su representación matemática, o estructuras diferentes pueden producir representaciones indistinguibles? Esa es la intuición de esta pregunta de rigidez.
Prueba formal anunciada↗
Lattice algorithms
¿Podemos aproximar el punto de retículo más cercano?
En una cuadrícula regular de muchas dimensiones buscamos el punto más cercano a una posición dada. Incluso encontrar una aproximación bastante buena puede resultar difícil.
Prueba formal anunciada↗
Coding theory
¿Cuánta información cabe en un código resistente a errores?
La redundancia permite reconocer mensajes dañados. Las palabras del código deben mantenerse suficientemente distintas. ¿Cuántos mensajes diferentes caben con una separación mínima determinada?
Prueba formal anunciada↗
u(n) = max # pairs at distance 1
Nueva construcción para el problema de distancia unitaria de Erdős
¿Cuántas parejas de puntos pueden estar separadas por exactamente una unidad? Una IA encontró disposiciones inesperadas.
Revisión matemática externa↗
Notas de investigación
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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗The future of the firm
AI models · provider_announcement
How AI might enter the org chart—beneath, beside, and between us.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗