{"entity": "Tsoukalas", "url": "https://wpnews.pro/entity/Tsoukalas", "count": 1, "articles": [{"slug": "how-deepmind-alphaproof-nexus-cracks-56-year-old-math-agentic-llm-loops-and-lean", "title": "How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification", "url": "https://wpnews.pro/news/how-deepmind-alphaproof-nexus-cracks-56-year-old-math-agentic-llm-loops-and-lean", "published_at": "2026-05-27 11:57:34+00:00"}]}