Tag

#reasoning-models

2 posts

AI & Machine LearningMay 24, 202612 min
OpenAI's AI Disproved an 80-Year Erdős Conjecture (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.
AI & Machine LearningApril 9, 202612 min
Meta Muse Spark: Benchmarks and Strategy (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.

Every post in #reasoning-models (2)

OpenAI's AI Disproved an 80-Year Erdős Conjecture (2026)