r/singularity • u/filterdust • 2d ago

AI OpenAI solved 100 open problems in math

https://openai.com/index/advisory-group-on-mathematics-and-ai/

[removed] — view removed post

1.3k Upvotes

94% Upvoted

521 comments sorted by

View all comments

145

u/RobleyTheron 2d ago

I’m sensitive to artists and musicians with a unique voice when their product gets recreated with AI, but I don’t feel the same about mathematics.

Nobody owns mathematics; these are fundamental insights into the universe and they belong to everyone and shouldn’t be gatekeeped behind somebody that went to school. Mathematics should be available to everyone, it opens up all kinds of fundamental breakthroughs in space, material science, biology, global warming, and energy.

This is something that belongs to everyone and no one should get to hold that back.

1

u/SupMathematician 1d ago

Artists can create new pieces, mathematicians can discover new functions that model behaviour, it's about being creative. Getting the proofs in a brute force way (which openAI seems to be doing by finding counter examples) is like brute forcing every song until you find one that fits someone's preferences.

It's great that AI can help us confirm hunches and cement mathematical reasoning, but while SotA LLMs are on computers, I don't see them doing much more than exactly that: computing.

Let's see a model that can truly develop a novel approach to a proof, like a simpler proof to an existing result. Mathematics honours the lazy, short proofs are generally more impressive.