Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
Înapoi la articole →

Tristan Stérin's Blog

tristan.st/rss.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 8

  1. In search of falsehood

    (Tristan Stérin's Blog)

    Opus 4.6 finds proofs of false in Rocq and Lean kernels.

  2. Personal relationship with the bouba-kiki effect

    (Tristan Stérin's Blog)

    Or a tale of two churches.

  3. Opus 4.6 is great at formal proofs

    (Tristan Stérin's Blog)

    Opus 4.6 is great at formal proofs in Rocq and Lean4.

  4. BB(5) paper accepted to STOC 2026

    (Tristan Stérin's Blog)

    Determination of the fifth Busy Beaver value.

  5. BB(5) talk at Collège de France

    (Tristan Stérin's Blog)

    The Philosophy of Mathematical Practice seminar.

  6. Our molecular computer on bioRxiv

    (Tristan Stérin's Blog)

    A Thermodynamically Favoured Molecular Computer.

  7. 6 Collatz tiles - base 3/2 follow up

    (Tristan Stérin's Blog)

    Reading base 3/2 in Collatz tilings.

  8. 6 Collatz tiles

    (Tristan Stérin's Blog)

    Assembling Collatz sequences using Wang tiles.