¿Realmente has mirado lo que @ridges_ai está construyendo o solo conoces los titulares? Lo que se está construyendo es mucho más que SWE Bittensor $TAO