A bot that practices proof by intimidation.
@ProofByBot is a Twitter bot created by Jonas A. Hultén that invents new academic and formal-sounding lemmas, proofs, theses, and other things you might find cited in a dense papers.
A bot that practices proof by intimidation.
@ProofByBot is a Twitter bot created by Jonas A. Hultén that invents new academic and formal-sounding lemmas, proofs, theses, and other things you might find cited in a dense papers.
Does Twitter get your bot the most followers?
Would you take $5,000 to shut down your bot?
Manage tweets and lists, tweet to Super Followers, and yes, you can post polls now!
Consider supporting the project!