Tristan Stérin's Blog https://tristan.st/blog Blog posts by Tristan Stérin In search of falsehood Opus 4.6 finds proofs of false in Rocq and Lean kernels. https://tristan.st/blog/in_search_of_falsehood/ https://tristan.st/blog/in_search_of_falsehood/ Thu, 05 Mar 2026 00:00:00 GMT Personal relationship with the bouba-kiki effect Or a tale of two churches. https://tristan.st/blog/bouba-kiki/ https://tristan.st/blog/bouba-kiki/ Wed, 25 Feb 2026 00:00:00 GMT Opus 4.6 is great at formal proofs Opus 4.6 is great at formal proofs in Rocq and Lean4. https://tristan.st/blog/opus_4_6_formal_proofs/ https://tristan.st/blog/opus_4_6_formal_proofs/ Tue, 17 Feb 2026 00:00:00 GMT BB(5) paper accepted to STOC 2026 Determination of the fifth Busy Beaver value. https://tristan.st/blog/stoc2026/ https://tristan.st/blog/stoc2026/ Mon, 02 Feb 2026 00:00:00 GMT BB(5) talk at Collège de France The Philosophy of Mathematical Practice seminar. https://tristan.st/blog/college_de_france/ https://tristan.st/blog/college_de_france/ Mon, 27 Oct 2025 00:00:00 GMT Our molecular computer on bioRxiv A Thermodynamically Favoured Molecular Computer. https://tristan.st/blog/molecular_computer/ https://tristan.st/blog/molecular_computer/ Wed, 16 Jul 2025 00:00:00 GMT 6 Collatz tiles - base 3/2 follow up Reading base 3/2 in Collatz tilings. https://tristan.st/blog/six_tiles_follow_up/ https://tristan.st/blog/six_tiles_follow_up/ Sat, 07 Jun 2025 00:00:00 GMT 6 Collatz tiles Assembling Collatz sequences using Wang tiles. https://tristan.st/blog/six_tiles/ https://tristan.st/blog/six_tiles/ Mon, 03 Jul 2023 00:00:00 GMT