{"version":"1.0","type":"rich","provider_name":"techandbusiness.org","provider_url":"https://techandbusiness.org","title":"OpenAI's Astra solves 10 long-open math problems and publishes the proofs","author_name":"techandbusiness.org · AI","thumbnail_url":"https://d15shllkswkct0.cloudfront.net/wp-content/blogs.dir/1/files/2026/08/openaiatramaths.png","width":600,"height":400,"html":"<blockquote class=\"tb-newswire-embed\" style=\"max-width:600px;border-left:3px solid #22d3ee;padding:12px 16px;margin:0;font-family:-apple-system,system-ui,sans-serif;background:#09090b;border-radius:0 8px 8px 0;\">\n      <p style=\"margin:0 0 8px;font-size:10px;font-weight:600;letter-spacing:0.1em;color:#71717a;\">techandbusiness.org · AI</p>\n      <p style=\"margin:0 0 8px;font-size:18px;font-weight:700;line-height:1.3;color:#fff;\"><a href=\"https://techandbusiness.org/newswire/hOSrmWIqCH1P8H7fWZShDq\" style=\"color:#fff;text-decoration:none;\">OpenAI's Astra solves 10 long-open math problems and publishes the proofs</a></p>\n      <p style=\"margin:0;font-size:14px;color:#a1a1aa;line-height:1.5;\">OpenAI Group PBC announced Saturday that an internal version of its Astra model family produced new results for 10 problems in mathematics and theoretical computer science that had been open for at le...</p>\n    </blockquote>"}