Thomas Bloom @thomasfbloom

Royal Society University Research Fellow at the University of Manchester. Mathematician and owner of https://t.co/SWVqqnq9hn. He/him/his. thomasbloom.org Manchester, UK Joined December 2020

Tweets

790
Followers

4K
Following

81
Likes

563

Thomas Bloom @thomasfbloom

14 hours ago

@AlejandroZarUrd If we were discussing this with other alien species, then yes such a modifier should be added. Or if having speculative discussions about what kind of mathematics other species could do. But these are conversations amongst humans, with humans in mind.

1 0 1 61 0

View Details

Thomas Bloom @thomasfbloom

18 hours ago

Mathematics -is- a human endeavour. There is something which maybe you're calling mathematics that has nothing to do with humans, some 'platonic otherworld' of abstract ideas. But what I call mathematics is the human attempt to explore and understand this world.

Przemek Chojecki | PC @prz_chojecki

21 hours ago

There are two main points in the Leiden declaration, one good, one bad imho: > Good: science is underfunded, mathematics included. We need more researchers, not less, and with the advent of AGI we will need even more. If AGI is a magical wand, someone still needs to wield it.

10 3 41 21K 20

12 23 178 16K 42

View Details

Thomas Bloom @thomasfbloom

16 hours ago

@AlejandroZarUrd But it is good to have a word that specifically refers to the activity as done and understood by humans, and it seems easiest to use the word 'mathematics' to refer to this.

1 0 2 87 0

View Details

Thomas Bloom @thomasfbloom

16 hours ago

@AlejandroZarUrd As a human, I am not ashamed to have a bias in favour of humans, and would like humans to create things to benefit humans. AIs, or alien species, are surely capable of doing things relating to mathematics, including things that are beyond us.

1 0 4 215 0

View Details

Thomas Bloom @thomasfbloom

17 hours ago

@JohnThilen I think there are lots of possibilities. E.g. they will start working with definitions that are simply too complicated for us to hold in our in our working memories, which are much smaller than theirs.

0 0 1 39 0

View Details

Thomas Bloom @thomasfbloom

17 hours ago

@JohnThilen Why? The way machines understand things can be completely different from how humans understand things. I am not saying this is necessarily going to happen (current LLMs do a surprisingly good job of explaining maths to humans!) but it is a possibility.

1 0 1 38 0

View Details

Thomas Bloom @thomasfbloom

18 hours ago

@prz_chojecki it's good to have a measured counterpoint, and to be a voice of restraint and caution, so that we don't throw away what was good about the current system.

0 0 1 109 0

View Details

Thomas Bloom @thomasfbloom

18 hours ago

@prz_chojecki I agree the answer is not 'keep the status quo' but it is also not 'throw away all existing institutions and structures and invent something ad hoc'. Like most things, the best path is somewhere in the middle. And when so much of the coverage is a breathless focus on the new,

2 0 4 326 0

View Details

Thomas Bloom @thomasfbloom

18 hours ago

@formaliser_dude Yes, that is also my belief, based on the current models of AI. But there are other forms of AI, perhaps more capable of innovation, that may come to fruition soon, and we should be prepared for anything.

0 0 3 37 0

View Details

Thomas Bloom @thomasfbloom

18 hours ago

@Konrad_LV It is true that it is trying to protect the job of being a mathematician, and to make sure that the role of the human is still valued, and therefore people should be rewarded for doing it (as long as conventional jobs are a thing generally, anyway).

0 0 0 77 0

View Details

Thomas Bloom @thomasfbloom

18 hours ago

@Konrad_LV I don't read it that way. Everyone can be a mathematician, and is able to read these proofs and think about them if they want. Just like there is no special switch that makes you a programmer. If you program, you are a programmer. If you do maths, you are a mathematician.

2 0 1 223 1

View Details

Thomas Bloom @thomasfbloom

18 hours ago

I am not saying this is inevitable, or even likely or possible. Just that we should try our best, as early as possible, to make sure that AI and humans are aligned on what 'good mathematics' means, both abstractly and in its impact on society.

2 0 11 577 0

View Details

Thomas Bloom @thomasfbloom

18 hours ago

But maybe there were other proofs of RH possible. Proofs that better fit our own human intuition and perspective. But maybe the AI prefers another way, and once it is done, the desire to find a human proof for ourselves will fade.