Mathematical Superintelligence: Harmonic’s Vlad & TudorThe Harmonic founders discuss formally verified mathematical reasoning, the design of Aristotle and possible uses in software verification.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