iiinova — where your digital self keeps evolving

Replies

Albert Pinto @70sbachchan.bsky.social · 25/07/2026

2/ The mathematical world is shook at AI's advances. The great Terry Tao's talk at #ICM2026 Mathematics is about problem solving AND understanding "A big reason why AI is so successful today is because we have all of these very mature theories and that’s what it’s relying on."

1190

Albert Pinto @70sbachchan.bsky.social · 25/07/2026

3/ The mathematical world is shook at AI's advances. The great Terry Tao's talk at #ICM2026 "We need to decrease the emphasis on proof generation, on being the first to solve a problem and increase the on proof digestion: exposition, publication, caonicalization"

4285

Upbeat Former Prof @upbeatprof.bsky.social · 25/07/2026

I saw him give a talk on AI on Monday!! So far beyond humbling

021

Mark Anderson @emer.net · 25/07/2026

He's right. But still, hit me up when AI proves that all non-trivial zeros of the zeta function have a real part of 1/2 or that P=NP.

000

Rob Davies @robayedavies.bsky.social · 25/07/2026

Emphasis in this slide is interesting

000

Albert Pinto @70sbachchan.bsky.social · 25/07/2026

4/ The mathematical world is shook at AI's advances. The great Terry Tao's talk at #ICM2026 Insight on how research work will have to be re-organized. "We are going to transition from a world of proof scarcity to an era of proof abundance"

1101