Nalini Joshi

@monsoon0.bsky.social

Mathematician, wife, mother, addicted to math

But “solving hard problems” has only ever been a proximate goal because it happened to align fairly well with “bring clarity and understanding” for HUMAN mathematicians. AI has broken this correlation: goals set for human minds aren't relevant to them. •13/16

Gro-Tsen@gro-tsen.bsky.social · 2w ago

But OF COURSE we should move the goalposts, because the goals were set for human mathematicians, as a kind of proxy for what we actually care about, which isn't solving conjectures (even if we tricked ourselves into thinking so). •28/38

THE PURPOSE OF MATHEMATICS IS NOT TO PROVE THINGS OR TO SOLVE PROBLEMS: it is to gain a better understanding of the mathematical universe and how it works (either per se → pure math, or to use this understanding elsewhere → applied math). •3/38

A heartfelt thanks to the organisers, volunteers and staff for an incredible #ICM2026 in beautiful Philadelphia. Such a pleasure to connect with students, mathematicians, colleagues and other Societies from across the world - it's an absolute privilege to be part of a fantastic community!

BildBildBildBild

Today is the last day of #ICM2026 . It is the fourth ICM I have attended in person (a fifth one I attended was online). Like the others, my mind was blown away by some of the talks I heard. ICMs have that effect on me, which is why I keep coming back.

“Ambition of the highest order and play can live in the same person. Which leaves the question I really care about: not why these four still play, but why so many people stop.” The four here refer to the 2026 Fields medallists: Yu Deng, John Pardon, Jacob Tsimerman, and Hong Wang #ICM2026

Amie Albrecht@nomadpenguin.bsky.social · last wk.

Hot off the heels of my last blog post, I read the coverage of last week's Fields Medallists. As usual, I wasn't looking for what they had done, but how they had done it. Read here: https://amiealbrecht.com/2026/07/28/play-is-not-the-opposite-of-ambition/

Jacob Tsimerman takes a part of his Fields medal lecture to talk about AI and the future of mathematics #ICM2026 He expresses grief for the way we do mathematics now, but believes mathematicians have an important role to play.

Jacob Tsimerman stands on the left side of the stage dressed in a light blue (shimmering) waistcoat and trousers, and a white shirt. He has. Both hands in his pockets. The slide behind him is the last slide of his talk although it is different to what he is saying about AI at this point.

For the first time in my life I have a lable that says “VIP”. Can you guess how many times I’ve been asked to move on, because a certain area is reserved for VIPs? I guess I just don’t fit the pattern 🤷🏽‍♀️

A rectangular name tag with my name at the top, followed by a line, my affiliation and title, above a WR code, the green logo of ICM2026, with a dark blue and at the bottom with the letters “VIP” in the middle.

At the panel on “AI for Mathematics”, the top rated question from the audience is “Do you expect fewer young people to pursue mathematics in the coming years? What advice would you give to students considering whether to pursue PhDs in math?” (from Joshua Wang) #ICM2026

I don't want to work for an AI company, but I'm extremely interested in what's going on, because we're seeing a battle for the future of mathematics. Another data point: Kevin Buzzard says any PhD student who is not paying $200 per month for an AI subscription is crazy. (Are they all so rich? 😕)

Human mathematicians are being outcounterexampled

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…

xenaproject.wordpress.com