Nu har jag inte sett filmen om Ramanujan, man jag kan tänka mig att det är så enkelt att han mer eller mindre testat med ett antal värden, tills han får något som fungerar bra. Då är det svårt att bevisa att det fungerar.. Ta tex hans formel för att räkna ut pi: den har ett antal konstanter i sig, som bara finns där, utan förklaring till var de kommer ifrån. Men formeln fungerar uppenbarligen, och då uppstår frågan om konstanternas värde är rätt eller inte.
Det är annars inte alls ovanligt att det dyker upp teorier inom matematiken som tar lång tid att bevisa. Kanske det mest kända exemplet är det som kallas
Fermats stora sats. Det tog över 350 år från det att den uttrycktes tills den bevisades, och då är det ändå så att om du har pluggat grundskolans matematik så kan du förstå vad satsen går ut på.