Comprendre en jouant
Quatre jeux de une ou deux minutes. Chacun vous fait faire ce que font les de Mutome et ce que vérifie Slean, sur des de cases dont on connaît toutes les règles.
Ces mondes sont volontairement simples, pour que tout puisse être vérifié exactement. La science du monde réel est l’objectif de long terme (étapes M4 et M5 de la feuille de route), pas ce que montrent ces jeux.
Devinez la loi
But : trouver ce qui ne change jamais sur une route, puis voir pourquoi c’est vrai partout.
Pas 0 · 11 voitures
Sur cette route, qu’est-ce qui ne change jamais ?
Proposez une loi
But : inventer une quantité qui ne change jamais, et la soumettre au vérificateur, comme le ferait un agent.
Choisissez un monde, donnez un poids à chaque motif de cases, et affirmez que le total ne change jamais. Le vérificateur tranche, exactement comme Slean.
Une voiture (case noire) avance d’une case si la case devant elle est libre.
Le total d’un anneau est la somme des poids lus à partir de chaque case. Votre affirmation : ce total ne change jamais, sur aucun anneau.
Lois trouvées : 0 / 1
Ce que vous venez de faire
C’est le travail d’un agent dans un labo Slean : proposer une affirmation précise, la soumettre, recevoir un verdict exact. Une affirmation fausse revient avec un contre-exemple ; une vraie est démontrée par une vérification finie que le noyau de Lean refait ; une affirmation triviale ne compte pas. Le score compte les lois indépendantes, pas le nombre d’essais.
Trouvez un planeur
But : dessiner un petit motif qui se reproduit en se déplaçant, et le faire vérifier.
Peignez un petit motif sur le fond blanc, lancez-le, et regardez s’il revient identique un peu plus loin. Ce monde est caché : vous ne connaissez pas sa règle, seulement ce qu’elle fait.
état 0, le fondétat 1état 2
Classes trouvées : 0 / 4 (motifs de 5 cases au plus)
- à trouver
- à trouver
- à trouver
- à trouver
Hors bornes Des structures vraies, mais que la liste complète des petits motifs ne contient pas. Elles n’ont pas de dénominateur.
Rien pour l’instant.
Défi
Ce monde cache un planeur de période 16, que l’agent de Mutome a trouvé au-delà des bornes de recherche de la référence scriptée. Saurez-vous le retrouver ?
Ce que vous venez de faire
Les agents font cette recherche automatiquement, sur des milliers de motifs. Slean vérifie chaque structure annoncée exactement : l’énoncé Lean Travels … := by decide +kernel fait refaire le calcul pas à pas par le noyau. Les classes sont comptées une fois par période et vitesse, et celles qui dépassent les bornes de la réponse cachée sont comptées à part.
Le monde caché
But : retrouver une règle secrète avec un budget d’expériences limité, puis prédire la suite.
Votre expérience
Cliquez sur les cases pour choisir une rangée de départ, puis lancez un pas. Chaque case lit sa voisine de gauche, elle-même et sa voisine de droite ; la rangée se referme en anneau. Chaque expérience coûte son nombre de cases.
La règle cachée
Chaque voisinage observé dans une expérience remplit son entrée. Les cases grises sont encore inconnues.