Reset
Models & Tools
OpenAI's 'Astra' Model Claims 10 Open Math Problems Solved - When AI Stops Benchmarking and Starts Discovering
OpenAI's 'Astra' Model Claims 10 Open Math Problems Solved - When AI Stops Benchmarking and Starts Discovering

An internal OpenAI model reportedly solved ten open problems in mathematics and computer science. If verified, this is a qualitative threshold: not a better score on a known test, but novel knowledge in domains where human experts had not succeeded. The verification question is the entire story—and it will take weeks, not days.

Aug 25, 2026 at 16:27 7 8

Models & Tools
Laguna 118B runs on a DGX Spark, Inkling goes multimodal, K3 secures its commercial license: benchmarks and clauses recap #23
Laguna 118B runs on a DGX Spark, Inkling goes multimodal, K3 secures its commercial license: benchmarks and clauses recap #23

Three architectures to dissect side-by-side: Poolside's MoE 118B / 8B active on a single machine; Inkling's multimodal 975B / 41B, also released as 276B / 12B; and Kimi K3's 2.8T / 104B context with 1M tokens, whose commercial agreement clause could exclude US companies.

Aug 3, 2026 at 00:53 16 13

Topics
Explore
Information