>>164
次の結果を適用すれば機械的にチェックできる:

[事実]
整数定数kが 0＜|k|≦10^6 の範囲にあるとき
整数x,yが y^2=x^3+k を満たすなら √|x|＜5*|k|

この既に証明されたものを認めるなら本題の解法は以下のようになる:
12a^3-3=b^2 が整数a,bに対して成立していたとする.
このとき 両辺を 144倍すれば
(12a)^3 - 432 = (12b)^2 と変形できる
x = 12a, y = 12b とおけば
y^2 = x^3 - 432 ...(☆) を得る
よって さっきの事実から √|x|＜5*432 を得る
ゆえに |a| ＜ 388800 を得る
逆に この範囲にある整数aに対して
12a^3-3 が平方数になるか全チェックすることで
a = 1 のみが適することがわかり このとき b=±3
したがって とくに求める自然数解は (a,b)=(1,3) だけである