Destination

2025-08-12

OpenAI's AI system wins a gold medal-level score at the International Olympiad in Informatics 2025


An AI system from OpenAI has earned a gold medal-level score at the International Olympiad in Informatics (IOI) 2025, one of the world's most prestigious programming competitions for high school students.


The article OpenAI's AI system wins a gold medal-level score at the International Olympiad in Informatics 2025 appeared first on THE D [...]

Rating

Innovation

Pricing

Technology

Usability

We have discovered similar tools to what you are looking for. Check out our suggestions for similar AI tools.

venturebeat

2025-12-11

Nous Research just released Nomos 1, an open-source AI that ranks second on the notoriously brutal Putnam math exam

Nous Research, the San Francisco-based artificial intelligence startup, released on Tuesday an open-source mathematical reasoning system called Nomos 1 that achieved near-elite human performance on th [...]

Match Score: 155.60

venturebeat

2025-12-01

DeepSeek just dropped two insanely powerful AI models that rival GPT-5 and they're totally free

Chinese artificial intelligence startup DeepSeek released two powerful new AI models on Sunday that the company claims match or exceed the capabilities of OpenAI's GPT-5 and Google's Gemini- [...]

Match Score: 141.16

Destination

2025-07-19

OpenAI's experimental model achieved gold at the International Math Olympiad

OpenAI has achieved "gold medal-level performance" at the International Math Olympiad, notching another important milestone for AI's fast-paced growth. Alexander Wei, a research scienti [...]

Match Score: 120.46

Destination

2025-07-21

Google DeepMind's Gemini wins Mathematical Olympiad gold using only natural language

Google DeepMind has claimed its first gold medal at the International Mathematical Olympiad (IMO) with an "advanced version" of its Gemini model running in Deep Think mode.<br /> The a [...]

Match Score: 107.58

venturebeat

2025-11-23

Lean4: How the theorem prover works and why it's the new competitive edge in AI

Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In high- [...]

Match Score: 106.95

Destination

2025-07-22

AI Math Olympiad wins revive the debate over symbols, reasoning, and the nature of intelligence

Recent gold medal wins by Google Deepmind and OpenAI's AI systems at the International Mathematical Olympiad are fueling an old debate about the nature of intelligence and the role of symbols, pi [...]

Match Score: 96.95

Destination

2025-08-01

Google rolls out its most powerful Gemini model yet

Google AI Ultra subscribers now have access to Deep Think, Google’s most advanced reasoning model yet for Gemini 2.5. The new model was first unveiled at Google I/O, and after feedback from "ea [...]

Match Score: 86.61

Destination

2025-02-18

Nintendo is killing its Gold Points loyalty program

In 2018, Nintendo introduced Gold Points, which were earned when you purchased Switch games, either physical cartridges or digitally from the Nintendo eShop. While you needed many purchases to redeem [...]

Match Score: 68.88

venturebeat

2025-12-04

Anthropic vs. OpenAI red teaming methods reveal different security priorities for enterprise AI

Model providers want to prove the security and robustness of their models, releasing system cards and conducting red-team exercises with each new release. But it can be difficult for enterprises to pa [...]

Match Score: 68.56