#math

The latest AI and developer news about #math, with the original source and a short summary.

The withdrawal stems from a sign error in a stabilization-trace cancellation argument that invalidated dependent constructions in two other papers.

·2·2026.10.08 17:00

An OpenAI general-purpose reasoning model disproved a long-standing conjecture on the unit distance problem.

·2026.05.21 09:00

Zyphra has released ZAYA1-8B, a 760M active parameter MoE model.

·1·2026.05.07 19:00

GPT-5.4 Pro solved Erdős unsolved problem #1196 in 80 minutes.

·1·2026.04.17 16:00

Upstage-Qanda 13B LLM achieved SoTA on GSM8K and MATH.

·1·2025.07.03 23:00

DeepSeek-R1-Lite-Preview showed o1-preview-level performance on AIME and MATH.

·3