AI for Science11 Aug 2026Claude-assisted Riemann-related result improves a critical-line bound to 67.2%primary confirmed · relevance 9.0/10
AI for Science01 Aug 2026Astra reports 10 Lean-formalized mathematics resultsprimary confirmed · relevance 9.0/10
Intelligence12 Aug 2026Grok 4.6 launches with a material jump in frontier and agentic performanceindependently confirmed · relevance 8.5/10