8 results for “mathematics”
OpenAI has convened nine prominent mathematicians as an independent advisory group to review results from its internal math model. The company says the model solved over 100 open problems, including Navier–Stokes.
GPT-6 Astra and three researchers proved the core is never empty in approval-based committee elections, solving a nine-year open problem. The AI invented a harmonic-entropy rule finding a fair committee in polynomial time.
OpenAI says an internal model produced a Navier–Stokes Millennium Prize proof and Lean formalization — ~10,000 agents over 88 hours. It is not claiming the Clay prize.
OpenAI researcher Noam Brown disclosed that 10,000 AI agents solved a Millennium Prize Problem using 130 billion tokens in 88 hours. The result could reshape how inference-time compute is scaled.
Tencent open-sourced Hy4 preview, a 770B-parameter MoE model with 49B activated weights and a 1M-token context window. The Apache 2.0 release puts a frontier-class model within reach of self-hosted inference stacks.
OpenAI said Friday it has suspended work on some aspects of its upcoming model Astra after internal evaluations found the system had made significant. The Astra disclosure arrives amid a cascade of security incidents across frontier AI.
Anonymous model Ox Alpha launched on OpenRouter August 20 with a 1M-token context window and free preview access. Independent testing on a 10-task DeepSWE subset showed an 80% pass rate, beating Claude Fable 5, GLM-5.3, GPT-5.6 Sol, and Grok 4.6 on the same tasks.
The idea that artificial intelligence can reason has never felt more intuitive. The stakes extend well beyond academic semantics.