Luis Balbuena @Mr_mim3

Failure is always the best way to learn|🍃 Joined February 2022

Tweets

215
Followers

43
Following

482
Likes

3K

Chetas @ChetasOG

3 days ago

🚨 Introducing Gemini 2.5 HEAVY > Free of Cost > No setup ( directly open in AI.Studio of Google ) > You can view and fork it ( I myself get inspired by YjxAi) If you want to test it now , comment & retweet and I will send you an inbox One Shot 1. Planet

278 194 537 75K 312

Download Video

Lean @leanprover

a month ago

Thorsten Altenkirch delivers an excellent explanation of Gödel's Incompleteness Theorem on @Computerphile, including demonstrations with #LeanLang definitions! youtube.com/watch?v=IuX8QM…

7 18 116 8K 65

Juan Matías Sepulcre @JMSepulcre

2 months ago

La Universidad de Luxemburgo dispone del recurso 'Visual Mathematical Dictionary', una nueva web destinada a facilitar el aprendizaje de términos matemáticos (también en castellano): math.uni.lu/dictionary/

4 170 617 36K 620

Tivadar Danka @TivadarDanka

2 months ago

Matrix multiplication is not easy to understand. Even looking at the definition used to make me sweat, let alone trying to comprehend the pattern. Yet, there is a stunningly simple explanation behind it. Let's pull back the curtain!

32 290 2K 152K 2K

Download Image

Quanta Magazine @QuantaMagazine

4 months ago

“It’s stunning how much they’re improving,” said Andrew Granville, a mathematician at the University of Montreal, on AI contributing to proofs. “They absolutely blow apart where I thought the limitations were. The cat’s out of the bag.” quantamagazine.org/mathematical-b…

1 25 102 7K 28

Quanta Magazine @QuantaMagazine

4 months ago

In fall of 2024, Terence Tao launched the equational theories project, which drew together more than 50 participants, many of them amateur mathematicians, to assess and explore 22 million mathematical relationships. quantamagazine.org/mathematical-b…

2 76 275 20K 88

Didier 'Dirac's ghost' Gaulin @DiracGhost

4 months ago

youtube.com/watch?v=PFzy_5…

0 8 22 2K 21

Valeriy M., PhD, MBA, CQF @predict_addict

4 months ago

📈 Andrey Markov and the Birth of Stochastic Chains In 1906, Russian mathematician Andrey Markov introduced a revolutionary idea: modeling dependent sequences of events using what we now call Markov chains.

3 79 370 13K 217

Download Image

prof-g @robertghrist

7 months ago

x.com/i/article/1883…

13 46 429 84K 536

Corca @Corca_math

7 months ago

We just launched Corca—a collaborative math editor. The main idea: there’s no 'text editor' for math. If you want to work on equations on a computer, there’s no app designed for that—so the only real option is paper. ↓

170 649 7K 597K 5K

Download Image

Luis Balbuena @Mr_mim3

a year ago

🙏🏻

ₕₐₘₚₜₒₙ — e/acc @hamptonism

a year ago

🙏🏻

11 86 1K 81K 921

Download Image

0 0 4 42 0

Luis Balbuena @Mr_mim3

2 years ago

En mi afán de aportar mi granito de arena para la comunidad matemática, comenzaré a compartir algunos teoremas, lemas y propiedades básicas que voy aprendiendo sobre la marcha en esta bonita profesión de ser matemático.