CoreAutoAI co-founder Rohan Anil proposes a challenge to solve a problem using the smallest possible model by active parameters
Anil suggests Gemma or Qwen models could solve it
โโ0โโ
Anil suggests Gemma or Qwen models could solve it
Many users praised challenging small models to autonomously discover math proofs as practical and cost-effective, while one called the setup poisoned due to web access.
5 comments with sentiment.