This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A007523 M2966 #31 Mar 26 2025 11:30:47
%S A007523 3,13,51413,951413,2951413,53562951413,979853562951413
%N A007523 Primes in A092845 (decimal expansion of Pi written backwards).
%C A007523 Next term is probably A092845(711), a 712-digit probable prime (Baillie-Pomerance-Selfridge-Wagstaff test, cf. PARI/GP documentation) beginning 2116599102453... and ending ...62648323979853562951413.
%C A007523 a(8) = A092845(711) is now a proven prime. - _Sean A. Irvine_, Jan 07 2018
%D A007523 M. Gardner, Whys and Wherefores, Univ. Chicago Press, 1989, p. 84.
%D A007523 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H A007523 <a href="/index/Ph#Pi314">Index entries for sequences related to the number Pi</a>
%H A007523 Shyam Sunder Gupta, <a href="https://doi.org/10.1007/978-981-97-2465-9_19">Mystery of pi</a>, Exploring the Beauty of Fascinating Numbers, Springer (2025) Ch. 19, 473-497.
%H A007523 Sean A. Irvine, <a href="/A007523/a007523.txt">Primo certificate for primality of a(8)</a>
%F A007523 Equals A000040 intersect A092845.
%e A007523 51413 is in the list because it is prime and its decimal reversal, 31415, is the first 5 digits of Pi.
%t A007523 Module[{nn=1000,rd},d=RealDigits[Pi,10,nn][[1]];Select[Table[FromDigits[Reverse[Take[d,n]]],{n,nn}],PrimeQ]] (* _Harvey P. Dale_, Jul 11 2023 *)
%Y A007523 Cf. A005042, A092845, A011545.
%K A007523 base,nonn
%O A007523 1,1
%A A007523 _N. J. A. Sloane_ and _Robert G. Wilson v_
%E A007523 Edited by _M. F. Hasler_ and _N. J. A. Sloane_, Mar 30 2008
%E A007523 Edited by _T. D. Noe_, Oct 30 2008