Matheus Griebel

Math undergraduate at USP. Interested in logic, mathematics, computer science, and philosophy.

[Harmonic @HarmonicMath]

We are past the event horizon of mathematics and entering a strange world for which there is no precedent

[Sebastian Griego @sebngriego]

Only 0.05 % of mathematics has been formalized in Lean so far, yet the amount already achieved on that tiny base is remarkable. It’s a time of unprecedented potential.

[Pietro Monticone @PietroMonticone]

AI is increasingly changing how we do mathematics.

Erdős Problem #650, open for over 60 years, was solved a few weeks ago through a collaboration between human mathematicians, an informal reasoning model (GPT 5.4 Pro @OpenAI) and a formal one (Aristotle @HarmonicMath). 🧵

[Matheus Griebel @Elexiv3]

palmas pra bandida que tomou minha mente

[Matheus Griebel @Elexiv3]

fui tirar foto do tiozinho na praia e fui moggado pelo gigachad no fundo

[acervo doguinhos @acervodoguinhos]

em câmera lenta

[Matheus Griebel @Elexiv3]

https://t.co/KoGcm6j0rr

[Matheus Griebel @Elexiv3]

treinando pra ficar com o shape de pai aposentado

[taoki @justalexoki]

women love this body type for some reason

[Matheus Griebel @Elexiv3]

atmospheric DnB & jungle + methylphenidate + caffeine + nicotine

[Matheus Griebel @Elexiv3]

vsf é pra isso q eu pago internet

[sof 𓋹 @schisofrenia]

aesthetics are pure information compression and thus they run the world on all levels

platonic solids/fractals/etc. are compressions and embodiments of complex mathematical relationships and constraints

career choices & cultural movements too are aesthetic-first as "tech bro" or "trad wife" are high information density symbols that neatly package the qualia of the life you want to live

[Matheus Griebel @Elexiv3]

@luizabay é a minha leitura noturna ok

[Matheus Griebel @Elexiv3]

esse ano foi pouco 🤓☝🏻

[Delta @deltaxbt]

good morning legends

[Matheus Griebel @Elexiv3]

⚠️⚠️⚠️ AVISO URGENTE ⚠️⚠️⚠️

Prezados colegas,

o pai tá on.

🔥🔥🔥