iiinova — where your digital self keeps evolving

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 08/09/2026

Looks like we are indeed close to Navier Stokes (pending checking final details and peer review/formalisation)! See the description on Tao's blog discussing recent work of Alpöge and Buckmaster, (with assistance in various forms from AI). terrytao.wordpress.com/2026/09/07/f...

terrytao.wordpress.com

Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations

There’s some exciting very recent work by Alpöge and Buckmaster, building upon prior work by Córdoba and Martínez-Zoroa, in the general topic around the infamous global regularity problem for…

131

Reposted by @thomasfbloom.bsky.social

Epoch AI @epochai.bsky.social · 31/07/2026

We’ve launched an expansion of FrontierMath: Open Problems! The benchmark now contains 50 significant, unsolved problems from research mathematics. AI has solved three so far, and solving all of them would be an incredible mathematical feat. Thread with more.

3214

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 19/07/2026

So far GPT 5.6 Sol is the most interesting new model mathematics-wise for me - those of the new proof claims on erdosproblems.com that I've looked at in detail have all been correct, and moreover contained some interesting ideas. 1/7

erdosproblems.com

Erdős Problems

130

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 15/06/2026

A new blog post on Erdős, aliens, and evil spirits. www.erdosproblems.com/forum/thread...

erdosproblems.com

Blog - Erdős, aliens, and evil spirits | Erdős Problems

010

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 07/06/2026

I have started a collection of essays, blog posts, etc discussing AI in mathematics. I do not agree with everything written, but all are valuable to read - the more different views the better! Please reply with your own suggestions. thomasbloom.org/AIlinks.html

020

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 31/05/2026

I have written a blog post giving my personal sketch of the recent disproofs of the sum-product and unit distance conjectures. www.erdosproblems.com/forum/thread...

erdosproblems.com

Blog - Sum-product, unit distances, and number fields | Erdős Problems

020

Reposted by @thomasfbloom.bsky.social

Daniel Litt @littmath.bsky.social · 12/05/2026

New project: problemsilike.com, a website collecting open problems that I, personally, like, with comments on their context, difficulty, and interest.

Conjecture 1.1.1 of "Algebraicity and integrality of solutions to differential equations."

2449

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 17/04/2026

Some dismiss Erdős problems as trivialities - this couldn't be further from the truth! While many are amusing novelties, some of them are the most central problems in number theory and combinatorics. A blog post with, in my view, the 10 most important: erdosproblems.com/forum/thread...

erdosproblems.com

Erdős Problems Blog - Top 10 Erdős Problems

010

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 26/01/2026

A new blog post by @acerfur.bsky.social describing his experience as a pioneer of using AI tools to solve Erdős problems: www.erdosproblems.com/forum/thread...

erdosproblems.com

Erdős Problems Blog - A retrospective on problem 728 and the use of AI on Erdős problems

061

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 14/01/2026

AI is capable now of generating new interesting mathematics. But it's much easier for it to generate plausible-sounding nonsense. I am concerned that the latter, copied and promoted by users with no understanding of the mathematics, is going to drown out the former.

0103

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 11/01/2026

My prediction is that by the end of the month there'll be between 4 and 8 new Erdos problems with solutions mostly or entirely AI generated. But then we'll have seen all the easy wins available, and progress will slow until a significant jump in model capability or new human insights.

130

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 11/01/2026

One of the big challenges now in using AI for mathematics is the credit/attribution problem. AI has a tendency to use observations/techniques without giving credit as to where it 'learnt' about them (mainly because it's forgotten itself).

132

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 08/01/2026

If you want something to read for the next couple of years, I highly recommend The Wandering Inn - 16 million words and still in progress! wanderinginn.com (It even has a mathematician canine character, with cool shades, though you have to wait about 10+ million words for them to show up.)

wanderinginn.com

Overview

Table of Contents Latest Patreon Chapter loading… Latest Public Chapter loading… Where I left off loading… New here? START YOUR JOURNEY Welcome to the Innverse, a captivating web serial where stories ...

000

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 08/01/2026

A famous quote by Renyi (often falsely attributed to Erdős) is "A mathematician is a machine for turning coffee into theorems." I recently learnt that in German this is actually a great pun: the word 'satz' for 'theorems' can also be translated as 'coffee grounds'.

150

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 03/01/2026

Here is one of my favourite, little-known Erdős problems for #mathsky: Take a 1x1 square. You can fit lots of lines of length 1 inside. Say that a collection of lines is 'maximal' if you can't fit any other lines inside without overlapping. 1/?

171

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 02/01/2026

Is there a good mathematics community on here? Can anyone share some good people to follow? I'd like to talk about Erdos problems and other maths, and would rather not do it on Twitter/X for obvious reasons.

people.to

150

thomasfbloom.bsky.social @thomasfbloom.bsky.social · 17/01/2025

A new paper of mine, on an L^3 control assumption, which has a number of applications in additive combinatorics. In particular, I give a new value for the sum-product exponent, which measures how any set of real numbers must grow under addition or multiplication. arxiv.org/abs/2501.09470

arxiv.org

Control and its applications in additive combinatorics

We prove new quantitative bounds on the additive structure of sets obeying an $L^3$ 'control' assumption, which arises naturally in several questions within additive combinatorics. This has a number o...

100