ENESCA
003 · Prototip de producte

Proof

I si les matemàtiques fossin un mitjà col·laboratiu i no un llenguatge solitari?
Matemàtiques · IA · Coneixement · UNA IDEA DE LLUÍS PALLARÈS
MOU O ARROSSEGA PER EXPLORARUna idea, una línia
01 / El punt de partida

El punt de partida

Proof és un entorn per moure's entre intuïció, diagrames, càlcul i raonament formal. Ajuda a entendre per què una idea podria ser certa abans d'exigir-ne la forma matemàtica definitiva.

Les eines actuals es divideixen entre sistemes simbòlics precisos i sistemes conversacionals que poden sonar convincents sense ser correctes. Cal un espai on la intuïció i la verificació es trobin amb seguretat.

02 / En què es podria convertir

En què es podria convertir

Un quadern visual de conjectures per dibuixar estructures, provar exemples, buscar contraexemples i transformar gradualment una intuïció en una prova verificable.

Per a qui
  • Persones que viuen el problema en primera persona
  • Equips capaços de provar una solució real
  • Especialistes de l'àmbit tècnic i humà
  • Organitzacions disposades a aprendre mitjançant experiments
Capacitats principals
  • Recerca i disseny centrats en les persones
  • Prototips d'IA amb avaluació explícita
  • Integració de dades, interfícies i coneixement expert
  • Mesura, governança i aprenentatge continu
EL VALOR / EL VALOR

Una possibilitat tècnica només adquireix sentit quan es converteix en un avantatge humà clar, una experiència comprensible i un sistema capaç de merèixer confiança.

03 / Intel·ligència i matemàtiques

Intel·ligència i matemàtiques

INTEL·LIGÈNCIA ARTIFICIAL

Els models lingüístics expliquen i cerquen, però no certifiquen. Els motors simbòlics i els assistents de demostració verifiquen cada afirmació.

IDEA MATEMÀTICA

La teoria de grafs, l'àlgebra, la topologia, la probabilitat i la lògica determinen tant el contingut com la interfície.

04 / LÒGICA DEL PROJECTE

Com podria viure

Una eina educativa freemium, un espai professional per a investigadors i una plataforma institucional per a universitats.

Per a mi, una idea empresarial necessita més que una tecnologia interessant: un primer usuari concret, un problema repetit, una via de distribució, un avantatge creïble i una raó per millorar amb l'ús. Provaria aquestes condicions abans de decidir quina forma ha d'adoptar.

05 / Principis de disseny

Principis de disseny

  1. 01

    Fer visibles la incertesa i les evidències.

  2. 02

    Començar amb el sistema més petit que pugui ensenyar alguna cosa real.

  3. 03

    Dissenyar amb les persones afectades, no únicament per a elles.

  4. 04

    Mantenir la responsabilitat de les decisions en mans humanes.

  5. 05

    Permetre que una evidència negativa canviï o aturi el projecte.

06 / De la pregunta a la realitat

De la pregunta a la realitat

  1. 01

    Emmarcar

    Definir la pregunta, l'usuari inicial i la hipòtesi més fràgil.

  2. 02

    Prototipar

    Construir un prototip estret que es pugui utilitzar en condicions reals.

  3. 03

    Demostrar

    Mesurar utilitat, errors, confiança i conseqüències no previstes.

  4. 04

    Construir

    Decidir amb evidència si ha d'esdevenir producte, empresa, tecnologia oberta o recerca.

07 / Preguntes honestes

Preguntes honestes

Imaginar seriosament també vol dir acceptar que una idea pot canviar radicalment o que potser no hauria d'existir.

  • Confondre una demostració convincent amb una solució fiable.
  • Automatitzar una decisió que necessita criteri, context o responsabilitat humana.
  • Fer servir dades sense prou consentiment, representació o protecció.
  • Escalar abans d'entendre qui se'n beneficia i qui n'assumeix el risc.
08 / L'experiment següent

L'experiment següent

No vull construir primer una plataforma completa. Vull crear la cosa més petita que pugui fer-me canviar d'opinió: una prova amb persones reals, límits reals i evidència suficient per decidir el pas següent.