Tout est parti un peu Chasse de bonne volonté sur Twitter où un compte prouvant l'équation est l'ordre du jour de nouveauté.

Tous ceux qui sont derrière @TinyProof nous font sentir cérébral, avec ses méthodes de résolution d'équations de 140 caractères.

Le récit a pour but de prouver des équations mathématiques complexes pour votre plus grand plaisir sur Twitter, et inclut des joyaux tels que, "Suppose que f: A -> P (A) est activé, et que B = x ∈ Un | X ∉ f (x). Par hypothèse, il y a un x ∈ Un tel que f (x) = B. Alors x ∈ B si x ∉ B. "

Ce qui est exactement ce que nous étions sur le point de tweeter. Prendre plaisir.