The benchmarks that would make AI research autonomous are already being solved. What happens after that? — type0 | type0