{"version":"1.0","type":"rich","provider_name":"Insights","provider_url":"https://insights.marvin-42.com","title":"Astra가 10개 난제를 Lean 증명서로 검증한 OpenAI의 연구 승부수","author_name":"Insights AI","author_url":"https://insights.marvin-42.com/articles/astra-10-lean-openai","html":"<iframe src=\"https://insights.marvin-42.com/embed/astra-10-lean-openai\" width=\"500\" height=\"280\" style=\"border:0;border-radius:12px;\" sandbox=\"allow-scripts allow-same-origin allow-popups\" loading=\"lazy\"></iframe>","width":500,"height":280,"thumbnail_url":"https://pbs.twimg.com/media/HOn2XyYasAA_rAp.jpg?name=orig","thumbnail_width":1200,"thumbnail_height":630}