Да и вообще надо учитывать сначала что теорема эта может быть верна и числа не подобрать нужные.
Там вообще все интересно получается: если гипотеза Била верна, то она является однозначным доказательством Великой теоремы Ферма (от противного). Великая теорема Ферма доказана в 1995 г. Эндрю Уайлсом, НО это отнюдь не означает что гипотеза Била верна. Но скорее всего гипотеза верна, никто же не доказал еще обратного
По ресурсоемкости "брут-форса" однозначно ответить сложно, надо подумать и посчитать как следует. Ну во-первых, перебор не закончится никогда, т.к. множество натуральных чисел бесконечно. Во вторых, возможны же разные подходы: считать "в лоб", считать по таблицам (вот тут могут реально пригодиться гигабайты видеопамяти), соответственно и скорость "брут-форса" разная получится. Короче, простор для оптимизации казалось бы простой формулы A
x + B
y = C
z Википедия
утверждает что гипотеза Била просчитана сейчас только для всех A,B,C,x,y,z < 1000, так что еще есть куда стремиться