Topic

non-sofic groups

1:05:16Inside OpenAI’s Breakthroughs in Mathematical Reasoninga16z · 2026-09-08OpenAI mathematicians Mehtaab Sawhney and Mark Sellke explain Astra’s sphere-packing bound and non-sofic group proof.