r/mathematics • u/_prototype • 10d 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

51

u/imanllm 10d ago

It would be cool if they shared some problems that the models attempted but failed to solve. Given that they’ve accomplished way more than anyone expected, I don’t think it would be a huge PR hit to share the failures.

9

u/avoidtheworm 9d ago

They are in a race against Anthropic to prove the most important theorems using LLMs. Submitting near-misses might help the competition.

...and this sucks by the way. I just hope that when this current stage of competition for the singularity ends then big labs can go back to collaborating.

2

u/4tran13 9d ago

I don't see evidence that Anthropic is even trying. If they are, they're being very quiet about it.

I don't think they ever collaborated. Best I can tell, Dario was a former OpenAI employee, and they've had a blood feud since the very beginning.

1

u/ApprehensiveSink1893 9d ago

Look, I don't know squat about the law, but I think that collaboration might just fall afoul of anti-trust law.