1970年、ユーリ・マチャセビッチはマチャセビッチの定理(en)を証明し、その系としてヒルベルトの第10問題が実効的な解法を持たないことを示した。
1970年，尤里·马季亚谢维奇指出了偶角标的斐波那契函数y=F2x{\displaystyley=F_{2x}}正是满足JuliaRobison假设的丢番图函数，因而证明了希尔伯特第十问题是不可解的。