Veja o matemático Michel van Garrel a falar sobre como o nosso mais recente modelo Gemini Deep Think conseguiu provar uma conjectura usando uma abordagem muito diferente da que ele estava a considerar.