{"type": "article", "title": "OpenAI publishes Lean proofs and math solutions from frontier model research", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/openai-publishes-lean-proofs-and-math-solutions-from-frontier-model-research", "original_source": "https://www.snipvote.com/story/cmuxs9qas0002cmpvssgmolhi", "published": "2026-10-07T07:47:15.610954+00:00", "accessed": "2026-10-07", "id": "openai-publishes-lean-proofs-and-math-solutions-from-frontier-model-research"}