Tag: ai

All the articles with the tag "ai".

• DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

  30 Nov, 2025

  DeepSeekMath-V2 scored 118/120 on Putnam 2024—surpassing the human record of 90—and achieved IMO gold level. The key innovation: a self-verification architecture where models learn to identify and fix their own proof errors.

• GPT-5.1 Codex-Max: Altman’s Card After Gemini 3.0

  20 Nov, 2025

  OpenAI’s GPT-5.1 Codex-Max landed right after Gemini 3.0, topping SWE-bench while cutting costs and reframing what an AI coding assistant can be for working developers.

• Sora App: We Might Be Missing the Point

  8 Nov, 2025

  Sora isn’t just about text‑to‑video. OpenAI turned creation into a social loop—Remix, prompt privacy, and Cameo make sharing the default and co‑creation addictive.

• Can Google’s “Suncatcher” Put AI in Orbit and Ease the Power Crunch?

  6 Nov, 2025

  Google Research sketched a space‑based AI infrastructure—Project “Suncatcher”—that clusters compute in orbit, powered by sunlight, and beams only results to Earth. What’s real, what’s hard, and what could ship first.