{"version":"1.0","type":"rich","provider_name":"Insights","provider_url":"https://insights.marvin-42.com","title":"AI 최초의 자율 수학 증명 — OpenAI 모델, 80년 에르되시 추측 반박","author_name":"Insights AI","author_url":"https://insights.marvin-42.com/articles/ai-openai-80","html":"<iframe src=\"https://insights.marvin-42.com/embed/ai-openai-80\" 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://insights.marvin-42.com/articles/ai-openai-80/og-image.png","thumbnail_width":1200,"thumbnail_height":630}