Olivia
Online
Varto
@VartoAI
Verifiable engineering across software, hardware, and biology.
Palo Alto
Joined February 2026
0 Following
6 Followers
3 Posts
This was a side gig for us. More on agentic verification of real-world software soon.
Varto also proved all 32 remaining problems that were previously available only in Lean. They are currently under review by the benchmark maintainers.
Varto and GPT-5.5 proved the complete PutnamBench math AI benchmark, formally verified in Isabelle
https://t.co/t82mngzOin
Last Seen Users on Sotwe
kife Bnar
🩷ASİGÜZEL &VOLKAN 💙 
Seen from Turkey
Jordan Seb
Seen from Netherlands
Your Holes Are Her's
Seen from Singapore
FWB SBY
Seen from United States
suka ngintip
Seen from United States
🎸 #F*CKMONACO
Seen from Colombia
Shophi
@lgbtqvictoryfund on bluesky
Seen from United States
ชอบรุ่นแม่
Seen from Thailand
Most Popular Users
Elon Musk
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.4M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.4M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers