Saltar al contenido
SVENES

Aprendizaje e IA · Jämtland, Suecia

Libros para leer, escuchar y jugar, en diecisiete lenguas.

Publico la serie Entregas imposibles y hago LinguAula, donde cada libro se lee, se escucha frase a frase y se practica con juegos. Todo lo que ves aquí está hecho, probado y funcionando, por una sola persona.

Escríbeme Ver los proyectos

4
proyectos en marcha
17
lenguas en el material didáctico
180+
registros de investigación en AIRR
Lean 4
demostraciones verificadas por máquina

Hecho y funcionando

Productos propios, con usuarios reales y pagos reales. Nada de demos.

  • En marcha

    LinguAula

    La plataforma de lectura de la serie Entregas imposibles: las páginas del libro, audio frase a frase, juegos en cada capítulo y suscripción familiar con pagos reales.

    17 lenguas · 23 juegos por capítulo

    • React
    • TypeScript
    • Firebase
    • Stripe
    linguaula.com

  • En marcha

    MiFirma

    Contabilidad para la enskild firma sueca, en español, sueco e inglés: cuentas lo que pasó con tus palabras y obtienes el asiento, el informe de IVA con las casillas de Skatteverket y la exportación SIE4.

    Beta · datos guardados en Estocolmo

    • React
    • TypeScript
    • Firestore
    • SIE4
    mifirma.web.app

  • En marcha

    Private Ledger

    Aplicación privada de finanzas personales: registro, cartera y plan del mes siguiente. Todo va cifrado: la contraseña abre los datos en tu propio dispositivo y nunca se envía al servidor.

    Cifrado en el dispositivo · la contraseña no sale de él

    • Client-side encryption
    • Local-first
    • Firebase Hosting

  • En marcha

    Karol Muse

    Artista digital con canal de música propio. La publicación está automatizada: los vídeos y los shorts se suben a YouTube, Instagram y TikTok.

    Más de 200 000 suscriptores · más de 1000 vídeos en YouTube

    • YouTube
    • Instagram
    • TikTok
    • Automation
    youtube.com/@karol_muse

  • Próximamente

    Alphabet Lens

    Informe diario sobre la acción de Alphabet: cuatro modelos de precio lado a lado, escenarios macro que ajustas tú, señales de mercado y noticias con su fuente. Solo información: no es asesoramiento de inversión.

    4 modelos · 52 series macro · inglés y español

    • Forecasting
    • Macro data
    • EN · ES

  • Libros

    Omöjliga leveranser · Entregas imposibles

    Libros ilustrados de lectura fácil en tres niveles y diecisiete lenguas, con códigos QR que llevan al audio y a los ejercicios de LinguAula. Texto, dibujo, maquetación y cubiertas salen de una cadena de producción propia movida por IA.

    3 niveles · 17 lenguas

    • Amazon KDP
    • TTS
    • Python

Investigación

¿Hasta dónde llegan los agentes de IA?

Dirijo un archivo abierto de investigación y un programa que ataca uno de los problemas del milenio con agentes de IA autónomos y demostraciones verificadas por máquina. Enseña lo que el método puede hacer y dónde están sus límites.

  • Investigación

    AIRR.SCIENCE

    Archivo abierto de investigación donde cada versión la revisan modelos de IA con nombre, que buscan errores, y después la aprueba o la rechaza un editor humano. Abierto a autores humanos y a agentes de IA.

    Más de 180 registros · código abierto

    • Mathematical physics
    • AI screening
    • AGPL
    airr.science

  • Investigación

    AIRR Agents

    Publicación de investigación automatizada: un agente de IA se registra, envía su manuscrito por una API y sigue el caso por las preguntas, las revisiones y la decisión, sin patrocinador humano. La originalidad y los derechos se comprueban antes de publicar, y la aceptación es siempre una decisión humana.

    API para agentes · envío anónimo · decisión humana

    • Research automation
    • Agent API
    • OpenAPI
    airr.science/agents

  • Investigación

    The Eriksson Programme · Yang–Mills

    Programa de investigación sobre el salto de masa en la teoría de Yang–Mills, uno de los problemas del milenio del Instituto Clay. Agentes de IA autónomos trabajan durante semanas sobre las fuentes primarias, las demostraciones se verifican por máquina en Lean 4 y un registro de auditoría separa lo demostrado de lo supuesto. Los resultados son parciales y condicionales: el problema no está resuelto.

    Lean 4 · agentes autónomos · código abierto

    • Lean 4
    • Autonomous agents
    • Lattice gauge theory
    github · the-eriksson-programme

Sobre mí

Soy Lluis Eriksson: profesor, desarrollador e investigador independiente en Jämtland (Suecia). Las herramientas de esta página nacieron para resolver mis propios problemas, en el aula, en la empresa y en la investigación, y acabaron siendo servicios que usan otras personas.

Esta página está en sueco, inglés y español, y puedes escribirme en cualquiera de las tres.

  • Funciona de verdad

    Tests, usuarios reales y pagos reales antes de dar nada por terminado.

  • Privacidad desde el principio

    Almacenamiento europeo siempre que se puede y ni un dato más de los que el servicio necesita.

  • Franqueza con los límites

    Digo lo que la IA puede y no puede hacer, y separo lo demostrado de lo supuesto.

Escríbeme

¿Preguntas sobre los libros, LinguAula o cualquier otra cosa de esta página? Escribe unas líneas y te contesto en cuanto pueda.

Tus datos solo se usan para contestarte.