T twitter.com Rio de Janeiro's city government model Rio3.5 beats Qwen3.7 in recent benchmarks 142 points lucasfcosta 4 months ago 45 comments