2025-07-21
Google DeepMind makes AI history with gold medal win at world’s toughest math competition
Google DeepMind's Gemini AI won a gold medal at the International Mathematical Olympiad by solving complex math problems using natural language, marking a breakthrough in AI reasoning and human-level performance. [...]
Rating
Innovation
Pricing
Technology
Usability
We have discovered similar tools to what you are looking for. Check out our suggestions for similar AI tools.
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 [...]
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- [...]
2025-08-05
Google DeepMind's Genie 3 can dynamically alter the state of its simulated worlds
At start of December, Google DeepMind released Genie 2. The Genie family of AI systems are what are known as world models. They're capable of generating images as the user — either a human or, [...]
2025-11-17
Phi-4 proves that a 'data-first' SFT methodology is the new differentiator
AI engineers often chase performance by scaling up LLM parameters and data, but the trend toward smaller, more efficient, and better-focused models has accelerated. The Phi-4 fine-tuning methodology [...]
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 [...]
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 [...]
2025-12-17
Why Google's new Interactions API is such a big deal for AI developers
For the last two years, the fundamental unit of generative AI development has been the "completion." You send a text prompt to a model, it sends text back, and the transaction ends. If you w [...]
2025-07-23
Google DeepMind's Aeneas model can restore fragmented Latin text
At its best, AI is a tool, not an end result. It allows people to do their jobs better, rather than sending them or their colleagues to the breadline. In an example of "the good kind," Googl [...]