AI
OpenAI Mathematical Proofs: o1 Model vs Hugo
OpenAI's o1 model uses reasoning tokens and reinforcement learning to solve competition-level geometry problems, yet struggles with the…
// tag archive
1 article
OpenAI's o1 model uses reasoning tokens and reinforcement learning to solve competition-level geometry problems, yet struggles with the…