{"type": "article", "title": "Berkeley researcher used GPT-5.6 to derive a Lean-verified optimization bound", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/berkeley-researcher-used-gpt-5-6-to-derive-a-lean-verified-optimization-bound", "original_source": "https://runtimewire.com/article/phillip-kerger-gpt-5-6-lean-optimization-bound", "published": "2026-07-18T19:33:31+00:00", "accessed": "2026-07-18", "id": "berkeley-researcher-used-gpt-5-6-to-derive-a-lean-verified-optimization-bound"}