Jag är helt övertygad om att de smartaste AI-modellerna som finns nu, GPT-5 Pro och Grok4 Heavy, redan är tillräckligt smarta, och säkert tillräckligt kunniga om matematik och AI, för att tänka ut och utveckla viktiga teoretiska och praktiska upptäckter, med rätt sorts smarta uppmaningar.