Actually, progress looks like it's been very steady. You're right regarding inductive-style proofs, but the ones for _all_ natural numbers greater than a certai

Actually, progress looks like it's been very steady. You're right regarding inductive-style proofs, but the ones for _all_ natural numbers greater than a certain value came surprisingly late. There appear to have been many more oscillators with periods of x + yn (for constant x and y, any natural number n). In 1996 there was a paper showing that it was possible to use a particular family of patterns called "Herschel loops" to create oscillators of any period >= 61. From there, the only missing oscillators were 17, 19, 22, 23, 27, 31, 33, 34, 37, 38, 39, and 41, 49, 51, 53, 57, and 59. There were gradual discoveries of new oscillators over the next several years, then in 2013 there was another pattern discovered which lowered that upper bound to >= 43. At this point, there were only five oscillators missing: 23, 34, 38, 19, and 41. There appear to have been a few years where progress stalled; 23 was found in 2019, and then the last four were found over the course of these past couple years.