אתגר מיליון הדולר להוכחת העל-טבעי – שפות אחרות