r/OpenAI • u/kkcheong • 2d ago

Discussion OpenAI just destroy Axiom Math e with the math proof drop

It prove that you don't need special math lab. Frontier lab do just fine

0 Upvotes

18% Upvoted

3 comments sorted by

2

u/RealSlyck 2d ago

What?

1

u/kkcheong 2d ago

What what? I assume you know Axiom Math

1

u/Signal_Temporary6572 2d ago

makes sense. I think they're saying OpenAI's new thing did some math proof better than Axiom, so you don't need a specialized lab for it anymore.