The AI for Math workshop papers are out, the studies were of really high quality 🦾 Come to our #AI4Math workshop tomorrow. It is gonna be epic: openreview.net/group?id=ICML.…

It's happening today! 📍Location: West Ballroom C, Vancouver Convention Center ⌚️Time: 8:30 am - 6:00 pm 🎥 Livestream: icml.cc/virtual/2025/w… #ICML2025 #icml25 #icml #aiformath #ai4math #workshop

R2: timely study, extremely bold and ambitious, mentioning NO weaknesses at all, only one question of future directions, then 2: reject….WTH!!! #NeurIPS2025

During #NeurIPS rebuttal, we have evaluated🌴Tropical Transformer on the Long Range Arena (LRA), achieving highly competitive results, placing 2nd🥈 overall in average accuracy. Check out our paper: arxiv.org/abs/2505.17190 Our code: github.com/Baran-phys/Tro…

In 3 (or more) dimensions, all fundamental particles are either fermions and bosons. But why? This is a direct consequence of the properties of the configuration space for identical particles 🧵 1/14

Another new result from the #NeurIPS rebuttal/discussion phase, our Tropical Transformer achieves much better length OOD performance across all algorithmic tasks, while being 3x-9x faster at inference and using 20% fewer parameters than the Universal Transformer (UT) models.

Some advice on how to hold meetings, which I found especially useful for research Let the younger person speak first, then proceed in order of seniority This leads to good brainstorming If the boss speaks first, everyone will just follow their idea [YouTube shorts link below]

Hopefully this study encourages more the LLM community to notice that the main issue is the reasoning core, namely the Softmax. We showed that how/why Softmax attention fading affects the OOD gen. and how Tropical Attention can save the day arxiv.org/abs/2505.17190

I'm breaking my silence. For years, I was quiet about how Eric Weinstein, Sabine Hossenfelder, Prof. Brian Keating & Curt Jaimungal suppressed my scientific critique. They preach free inquiry but practice censorship. This is the story of their hypocrisy. 🧵 timothynguyen.org/2025/08/21/phy…

Good place to incorporate Tropical Attention

the G in AGI actually stands for Grothendieck

In the context of Reverese Mathematics, is it possible to define topology over the set of theorems? Joel David Hamkins

Current research vibes: - Let’s use LLM to do baby science/math , after it doesn’t work, headline: LLM is bad at the baby math task —> guaranteed virality 😒 - you dev. novel (non-LLM) method to solve this issue, report succes on deep math problem —> naa, not enough drama🤦🏻

We got accepted at #NeurIPS2025 . This is my first one. I am very happy that I could merge my knowledge of Mathematics with AI to create sth new. ☺️ The paper: arxiv.org/abs/2505.17190 The code: github.com/Baran-phys/Tro…

A Quanta article on the sexiest branch of Mathematics

Are LLMs ready for the research-level mathematics? Our paper dives deep to answer this question.I am glad to be a part of IMProofBench team.

When I was a kid, watching her documentaries made a huge impact on me. She was an inspiration to me, dedicated her life to environmental protection and changed the way we understand animals and nature.

We live in a universe that has no meaning, value, or worth, and we inherit this absence of meaning from it. Our birth is meaningless, from the perspective of the universe, and our death equally meaningless. That is why I think we have to embrace and enjoy it.

Wow, Nobel for Quantum Tunnelling