La persona detrás de /teal-sea

Thomas
Lince.

Thomas Lince
Un gusto conocerte.

Llevo los productos de la primera idea al lanzamiento, me hago cargo de los resultados y construyo sistemas que te quitan trabajo de encima.

Explora los proyectosConversemos sobre una idea
/teal-seaUn estudio de olas
Cuarenta y ocho cintas turquesas que forman un mar de olas
Cuarenta y ocho olas.

Desde el taller

Proyectos seleccionados.
Hechos para usarse. Creados para explorarse.

Un producto independienteMúsica, teoría y software

Modal Runs

Piensa menos.
Toca más.

Una app de guitarra que escucha lo que tocas, muestra dónde estás y te ofrece un mundo musical por explorar. Lo construí entero: desde la teoría y el motor de sonido hasta el producto que los envuelve.

Prueba Modal Runs
Explorador de escalas de Modal Runs que muestra todas las notas e intervalos de C jónico a lo largo de quince trastes
Detección de notas en tiempo realAudio generativoPráctica guiada
Toca un modo aquí mismoLas mismas notas, siete centros musicales
Un mismo grupo de notas. Siete formas de escucharlas.Estudio interactivo
modoD dóriconotasC D E F G A Bsonandoel modo

Toca una nota para escucharla, o usa Tab y Enter. Reproducir sonido recorre la escala.

De la teoría musical a un producto con el que puedes tocar.

Conversemos sobre una idea de producto
Investigación independiente Investigación y demostraciones públicas

Zeta Lab

Un laboratorio de investigación con IA.
Con un teorema
como resultado.

Construí un entorno de investigación donde agentes de IA exploran las matemáticas y núcleos de pruebas verifican los resultados. El trabajo incluye una ampliación del resultado de Anthropic sobre zeta, verificada formalmente.

Explora el laboratorioCódigo e investigación
Un paisaje de la función zeta
La altura muestra la magnitud logarítmica muestreada, recortada para su visualización. La curva naranja sigue la columna muestreada más cercana a σ = ½. Explora la función aquí; el resultado demostrado se presenta por separado.
Certificado de cuatro puntos demostrado en Lean
67.28470%
Como cota inferior asintótica, al menos esta proporción de ceros de zeta son simples y están en la línea crítica.Lean × NanoDaReconstruido de forma independiente

Basado en el trabajo de Furman y Alpöge en Anthropic: 67.25007% a 67.28470%, una ampliación de 0.03463 puntos porcentuales. El avance anterior de 41.6% a 67.25% es suyo.

¿Qué significa esto, en palabras sencillas?

Zeta Lab es donde construyo herramientas para que agentes de IA exploren las matemáticas. Los agentes proponen ideas; el software de verificación de pruebas comprueba los resultados formales. La cifra de arriba es una ampliación verificada de una investigación anterior, con el crédito al trabajo original indicado a su lado. No demuestra la hipótesis de Riemann.

  1. 01 / Explorar

    Los agentes trabajan en paralelo.

    Proponen ideas matemáticas y ponen a prueba los candidatos.

  2. 02 / Formalizar

    Una afirmación se convierte en una demostración.

    El enunciado formal y su demostración se escriben en Lean.

  3. 03 / Verificar

    Los núcleos de pruebas lo verifican.

    Lean y NanoDa reconstruyen el resultado registrado de forma independiente.

Explora la línea críticaUn estudio numérico interactivo
ζ(½ + it) / Z de HardyCalculado aquí
t10.0 a 70.0ceros visibles0encontrados0

Cada punto es un cambio de signo de la función Z de Hardy, calculado en tu navegador. Este estudio numérico es independiente de la demostración formal. El resultado registrado es una cota asintótica verificada, no una demostración de la hipótesis de Riemann; la verificación por un núcleo de pruebas es distinta de la revisión por pares.

Herramientas de investigación con IA. Agentes que exploran ideas. Resultados que puedes verificar.

Conversemos sobre la investigación

IA en producción

La IA contesta la llamada.
El software conecta lo que sigue.

Desde 2025, agentes de voz que construí contestan el teléfono de una agencia de limusinas en dos mercados de Estados Unidos. El agente cotiza con la lógica de tarifas vigente, hace la retención en la tarjeta y entrega la reserva a una persona para su revisión. Clientes reales, dinero real, incluidas las tres de la mañana.

En producción, no una demostración. Dirigí esa operación desde 2019 antes de escribir el software que la gestiona.

Lee el caso de estudio
01

La IA se encarga de la conversaciónLlamadas y preguntas de clientes

02

El software prepara el siguiente pasoCotizaciones, reservas y estado del pago

03

Las personas toman la decisión finalRevisión, excepciones y prestación del servicio

SISTEMA / 01
La IA atiende la llamada. Tu equipo se encarga de lo que sigue.6 etapas conectadas
El software prepara · 01–04 Las personas deciden · 05–06
Etapa seleccionada
cotización

El precio viene de la lógica de tarifas del negocio. La conversación no inventa el precio.

El registro en esta etapa
Solicitud
Pregunta entrante
Reserva
Aún no preparada
Siguiente responsable
Agente de IA
Solicitud
Detalles del viaje
Datos pendientes
Aún falta una respuesta
Siguiente paso
Cálculo de tarifas
Fuente del precio
Reglas de tarifas del negocio
Disponibilidad
Debe verificarse
Siguiente paso
Autorización de la tarjeta
Acción de pago
Autorizar fondos
Cobro
Una acción aparte
Siguiente responsable
Persona revisora
Decisión
Decide una persona
Excepciones
Disponible para revisión
Siguiente responsable
Equipo de operaciones
Responsable
Equipo humano
Contexto
Conversación + reserva
Proyectos
Coordinar la prestación del servicio
Rechazar antes de improvisar.Cuando el sistema no puede verificar una respuesta, la pregunta pasa a una persona.
Cuando termina la certezaEl sistema tiene un punto de parada.Seis condiciones. Seis respuestas deliberadas.
  1. G1
    La disponibilidad no está confirmadaMantén la reserva sin confirmar. Pide a una persona que verifique la capacidad.
    Sin inventar disponibilidad
  2. G2
    Falta un resultado de pagoConsulta el estado del proveedor de pagos. Una conversación no puede marcarlo como pagado.
    El proveedor define el estado
  3. G3
    Falta configuración del negocioHaz visible lo que falta. Detén la consulta en lugar de sustituirlo por un valor predeterminado.
    Lo desconocido sigue siendo desconocido
  4. G4
    Se vuelve a intentar la misma acciónIdentifica la solicitud original antes de repetir una acción externa.
    Evitar duplicados
  5. G5
    Un servicio externo tarda demasiadoDeja de esperar cuando venza el plazo. Devuelve el error para decidir el siguiente paso.
    Tiempo límite explícito
  6. G6
    El modelo afirma que algo es ciertoVerifica el registro del negocio antes de que esa afirmación permita ejecutar una acción.
    Verificar antes de actuar
01 / Semántica · lo que es cierto
Un registro compartido.

La misma reserva, consultada por personas y agentes.

ClienteReservaVehículoPago
02 / Cinética · quién puede actuar
Una sola verificación de permisos.
PersonaAgente de IALas mismas reglas de acceso

Ninguno tiene una copia privada de la realidad ni un atajo para saltarse los permisos.

03 / Libros de reglas · políticas del negocio
Cambia la regla en un solo lugar.

Las políticas de cada cliente viven fuera del prompt y del flujo de trabajo.

AnticiposHorario de atenciónExcepciones del negocio

Ilustración de la arquitectura. Una retención en la tarjeta no es un cobro. Las personas siguen a cargo de la revisión y la prestación del servicio.

Explora cualquier etapa

01 / La operación

La IA recibe la llamada.
El sistema prepara la reserva.

Quien llama habla con un agente de IA. El software consulta tarifas, prepara una cotización y registra la reserva y la retención en la tarjeta para que el equipo las revise.

Cada paso tiene una función, un registro y un responsable claro para lo que sigue.

Desplázate para explorar el sistema

02 / Los límites

Una respuesta incorrecta dicha con seguridad
sale cara.

El agente necesita poder detenerse. No puede inventar disponibilidad ni tratar una promesa verbal como un pago realizado.

Seis límites mantienen las decisiones del negocio vinculadas a lo que el sistema puede verificar.

03 / La base

Una misma información.
Para personas y agentes.

La reserva, los permisos y las reglas del negocio viven fuera de la conversación. Las personas y los agentes trabajan con el mismo registro.

Las políticas del negocio cambian en un solo lugar. No hay que reescribirlas en cada prompt.

De los proyectosPor qué tu startup de IA muere al llegar al sexto cliente

Pon a trabajar un agente de IA en tu negocio.

Planear mi asistente de IA

Cuando cierro la laptop

Bueno. Malo. Meh. Magia.

Bruno, un Sheltie tricolor, sentado sobre el pasto iluminado por el sol
BrunoBrutus Maximus Aurelius

En algún momento clasifiqué 168 proyectos de GarageBand y Logic en cuatro carpetas: Bueno, Malo, Meh y Magia. Resulta que el 65% de los archivos con tonalidad están en la menor o do mayor. Sí. Me siento descubierto.

Llevo más de 25 años tocando guitarra. Improviso blues y rock espacial, juego con música electrónica, estudio porque lo disfruto y, en general, sigo lo que me dé dopamina en el momento.

Bruno es mi Sheltie tricolor de un año. Su nombre imperial completo es Brutus Maximus Aurelius. Está acostumbrado a las caminatas largas. Lo amo.

Pregúntame lo que quieras

Lo que sigue empieza con una conversación

Hagamos
que algo pase.

Un nuevo producto. Un proyecto compartido. Una idea ambiciosa.
O simplemente una conversación que deberíamos tener.

¿Qué tienes en mente?

Construir juntosTrabajar juntosApoyar el trabajoSolo saludar

Busco buenas personas y proyectos ambiciosos. Cuéntame qué tienes en mente.

LinkedInGitHub

Otros proyectos

Herramientas pequeñas, demostraciones y textos que he escrito.

Into the FlowUn vórtice se abre. Un video de treinta segundos con música. La función Z de Hardy en mathlibUna propuesta de definición formal en Lean 4 grounded-checkCompara lo que afirma un agente de voz con los resultados de sus herramientas Por qué tu startup de IA muere al llegar al sexto clienteEl ensayo detrás de la arquitectura de tres capas convai-webhook-guardAutentica los webhooks que llegan después de una llamada omission-checkEncuentra lo que un agente debía hacer y nunca hizo