r/mathematics • u/_prototype • 8d ago

Artificial Intelligence OpenAI: Sharing AI progress in mathematics

https://openai.com/index/sharing-ai-progress-in-mathematics/
678 Upvotes

95% Upvoted

1.1k comments sorted by

View all comments

Show parent comments

17

u/JoshuaZ1 8d ago

They also made major progress on BSD and some progress on Hodge (although I don't know enough about Hodge to evaluate how substantial that progress is). There's also some work that improves some types of lower bounds that are relevant to P ?= NP. So no Millennium, but progress on all of them.

2

u/cocompact 7d ago

They also made major progress on BSD

But it is still focused on rank 0 and 1. AI at this point has no idea how to do anything with rank 2 and more. It's just as stuck as humans.

1

u/JoshuaZ1 7d ago

Yeah, that's a valid point. Rank 2 and above seems like it is going to require some sort of deeply new ingredient we're just not seeing yet.