ai4math

So #OpenAI wants to be friends again?

openai.com/index/…

It’s hard to understand what this means. Everything is so slick and a bit meaningless. Maybe they used AI to write their statement?

“Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.” 🤔

Sounds to me like: “OK, we will solve your problems in any case, if you don’t want to hear the solutions we will just keep quiet.”

So they produced 100 new theoremoids spending a couple millions of dollars and now they are asking us if we want to hear them?

And then what “we” do is to set up a Google Form in which mathematicians can say how they think the 100 new results should be disseminated ?

agmai.org

#ai #ai4math

1/2

Talking to different mathematicians working with #ChatGPT in the last months, we noticed two things that were true for all of us:

1. it’s basically impossible to run out of tokens. Every time we approached the limits we got free/automatic usage resets and could keep going.

2. We all got access to GPT-6 astra on the first day, when influencers and podcasters still reported of some staggered release and that they did not have it.

Given everything that happened last week, the picture looks very much like #OpenAI knowing exactly who is a mathematician and making sure they use their system as much as possible.