# Online Encyclopedia of Integer Sequences

> Entity coverage from Web Pulse
> Last updated: 2026-05-27T13:09:16.216484+00:00
> 1 articles mentioning **Online Encyclopedia of Integer Sequences**

- [How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification](https://wpnews.pro/news/how-deepmind-alphaproof-nexus-cracks-56-year-old-math-agentic-llm-loops-and-lean) — 2026-05-27