OpenAI's AI Disproved an 80-Year Erdős Conjecture (2026)
May 24, 2026
OpenAI says its AI disproved Erdős's 80-year-old unit distance conjecture — and calls it the first major open math problem solved autonomously by an AI.
#reasoning-models
Meta Muse Spark: Benchmarks and Strategy (2026)
April 9, 2026
Meta Muse Spark is MSL's first proprietary model, with top health and science benchmarks but coding gaps. Modes, scores, and what developers should know.