New OpenAI general reasoning model gets gold medal at international math olympia
| galvanic sick house | 07/19/25 | | Racy Dingle Berry Rehab | 07/19/25 | | hairraiser base | 07/19/25 | | iridescent bossy black woman | 07/19/25 | | sepia splenetic marketing idea | 07/20/25 | | demanding know-it-all prole potus | 07/19/25 | | hairraiser base | 07/19/25 | | demanding know-it-all prole potus | 07/19/25 | | demanding know-it-all prole potus | 07/20/25 | | Glassy Hominid Death Wish | 07/20/25 | | demanding know-it-all prole potus | 07/20/25 | | galvanic sick house | 07/20/25 | | maroon exciting school cafeteria | 07/19/25 | | awkward address | 07/20/25 | | Indecent internet-worthy trust fund meetinghouse | 07/20/25 | | demanding know-it-all prole potus | 07/20/25 | | Spectacular fiercely-loyal heaven | 07/20/25 | | demanding know-it-all prole potus | 07/20/25 | | flesh sex offender pocket flask | 07/20/25 | | demanding know-it-all prole potus | 07/20/25 | | flesh sex offender pocket flask | 07/20/25 | | insanely creepy embarrassed to the bone turdskin | 07/20/25 | | demanding know-it-all prole potus | 07/20/25 | | insanely creepy embarrassed to the bone turdskin | 07/20/25 | | Glassy Hominid Death Wish | 07/20/25 | | insanely creepy embarrassed to the bone turdskin | 07/20/25 | | buck-toothed dun tanning salon telephone | 07/20/25 | | galvanic sick house | 07/20/25 | | Glassy Hominid Death Wish | 07/20/25 | | Lascivious Navy Famous Landscape Painting | 07/20/25 | | Glassy Hominid Death Wish | 07/20/25 | | iridescent bossy black woman | 07/20/25 | | Glassy Hominid Death Wish | 07/20/25 | | Stirring fishy mad cow disease nibblets | 07/20/25 | | Glassy Hominid Death Wish | 07/20/25 | | chartreuse masturbator haunted graveyard | 07/20/25 | | galvanic sick house | 07/20/25 | | Glassy Hominid Death Wish | 07/20/25 | | buck-toothed dun tanning salon telephone | 07/20/25 | | hairraiser base | 07/21/25 |
Poast new message in this thread
 |
Date: July 20th, 2025 3:59 AM Author: sepia splenetic marketing idea
Yes, it's truly remarkable how quickly AI has advanced in contest math! Gemini's 50% score on the USAMO (United States of America Mathematical Olympiad) is a massive leap compared to where models like GPT-4 started just a couple of years ago.
### Key Observations on the Progress:
1. **From Near-Zero to Competitive Performance**
- Early versions of GPT-4 struggled to score even 1-2 problems on the AIME (American Invitational Mathematics Exam), which is significantly easier than the USAMO.
- Now, AI is not just solving AIME-level problems reliably but also tackling Olympiad-level questions, which require deep reasoning, creativity, and proof-writing.
2. **Why This is Surprising**
- Many experts (including myself) expected this level to take at least 2-3 more years. The fact that it happened this year suggests:
- Better training techniques (e.g., improved reasoning loops, synthetic data, and self-improvement methods).
- Stronger mathematical priors (models may now "understand" abstract patterns rather than just memorizing).
- Possibly, more sophisticated search/verification methods (though Gemini's exact approach isn't public).
3. **Is Contest Math "Close to Solved"?**
- **For AIME:** Probably yes. AI is likely near-superhuman at this level already.
- **For USAMO/IMO:** Not yet, but progress is accelerating. A 50% USAMO score is already better than many human contestants, but the hardest problems (e.g., IMO Q6-style combinatorics/number theory) still require breakthroughs in symbolic reasoning and long-term planning.
- **For Proof Writing:** AI still makes stylistic errors, but formal verification (e.g., Lean) can help close the gap.
4. **What’s Next?**
- **IMO Gold (60+ score) within 1-2 years?** If progress continues at this rate, it's plausible.
- **General Mathematical Research:** The real test will be whether these models can contribute to unsolved problems (e.g., combinatorics conjectures, lightweight formal math).
### Why This Matters Beyond Olympiads:
- **Education:** AI could become the ultimate tutor for advanced math.
- **Research:** Automated reasoning might assist in mathematical discovery.
- **AGI Benchmarks:** Math is a strong proxy for structured reasoning—this progress hints at broader capabilities.
It’s an exciting time! Wouldn’t be surprised if an AI wins an IMO gold medal by 2026.
(http://www.autoadmit.com/thread.php?thread_id=5752305&forum_id=2],#49115797) |
 |
Date: July 20th, 2025 12:54 AM Author: demanding know-it-all prole potus Subject: this fucking faggot:
"we are releasing GPT-5 soon but want to set accurate expectations: this is an experimental model that incorporates new research techniques we will use in future models. we think you will love GPT-5, but we don't plan to release a model with IMO gold level of capability for many months."
https://x.com/sama/status/1946569252296929727
(http://www.autoadmit.com/thread.php?thread_id=5752305&forum_id=2],#49115705) |
|
|