Vlad Tenev and Tudor Achim on mathematical superintelligenceA discussion of mathematical reasoning models, Lean proofs and what verifiable outputs could mean for dependable software.TIBBIR UNIVERSE THIS IS TIBBIR How to get TIBBIR Ribbit in numbers Connected clues Account archive Bridge & contracts On-chain research Connections Community The story Reading room Network map Timeline Findings Source library Conversations People & companies Open questions Export & reuse