Astra produced an explicit non-sofic group with a proof checkable in Lean — AI-generated and mechani

Download (MP3)




Bagikan