New OpenAI general reasoning model gets gold medal at international math olympia
| doobsian primrose factory reset button death wish | 07/19/25 | | Razzmatazz box office | 07/19/25 | | glassy school cafeteria | 07/19/25 | | blue roommate | 07/19/25 | | slippery heaven | 07/20/25 | | Laughsome indian lodge | 07/19/25 | | glassy school cafeteria | 07/19/25 | | Laughsome indian lodge | 07/19/25 | | Laughsome indian lodge | 07/20/25 | | buff talented legend point | 07/20/25 | | Laughsome indian lodge | 07/20/25 | | doobsian primrose factory reset button death wish | 07/20/25 | | Nubile mind-boggling foreskin nibblets | 07/19/25 | | Trip plum abode | 07/20/25 | | Turquoise Market | 07/20/25 | | Laughsome indian lodge | 07/20/25 | | Lake corner quadroon | 07/20/25 | | Laughsome indian lodge | 07/20/25 | | Boyish Whorehouse Fat Ankles | 07/20/25 | | Laughsome indian lodge | 07/20/25 | | Boyish Whorehouse Fat Ankles | 07/20/25 | | Comical Address Becky | 07/20/25 | | Laughsome indian lodge | 07/20/25 | | Comical Address Becky | 07/20/25 | | buff talented legend point | 07/20/25 | | Comical Address Becky | 07/20/25 | | Shaky Ticket Booth | 07/20/25 | | doobsian primrose factory reset button death wish | 07/20/25 | | buff talented legend point | 07/20/25 | | wonderful bull headed knife legal warrant | 07/20/25 | | buff talented legend point | 07/20/25 | | blue roommate | 07/20/25 | | buff talented legend point | 07/20/25 | | Shivering abusive meetinghouse digit ratio | 07/20/25 | | buff talented legend point | 07/20/25 | | apoplectic location | 07/20/25 | | doobsian primrose factory reset button death wish | 07/20/25 | | buff talented legend point | 07/20/25 | | Shaky Ticket Booth | 07/20/25 | | glassy school cafeteria | 07/21/25 |
Poast new message in this thread
Date: July 19th, 2025 1:10 PM Author: doobsian primrose factory reset button death wish
d. value of human intelligence falling every day. 180 times.
https://x.com/alexwei_/status/1946477742855532918?s=46
(http://www.autoadmit.com/thread.php?thread_id=5752305&forum_id=2],#49114310) |
 |
Date: July 20th, 2025 3:59 AM Author: slippery heaven
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: Laughsome indian lodge 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) |
|
|