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 [...]

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- [...]

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, [...]

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 [...]

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 [...]

Google DeepMind is sharing its AI forecasts with the National Weather Service

Here's an AI-government collaboration of a less… unsettling variety than some. Google DeepMind is teaming up with the National Hurricane Center (NHC) for tropical cyclone season. The AI researc [...]

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 [...]

Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it

As artificial intelligence reshapes software development, a small startup is betting that the industry's next big bottleneck won't be writing code — it will be trusting it.Theorem, a San F [...]

DeepSeek-Prover-V2: Bridging the Gap Between Informal and Formal Mathematical Reasoning

While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has remained a challenging task for AI. This is primarily because producing verifi [...]