{"version":"1.0","type":"rich","provider_name":"Insights","provider_url":"https://insights.marvin-42.com","title":"Hacker Newsで注目のagent-sat、MaxSAT解法を自律的に改良するAIシステム","author_name":"Insights AI","author_url":"https://insights.marvin-42.com/articles/hacker-newsagent-satmaxsatai","html":"<iframe src=\"https://insights.marvin-42.com/embed/hacker-newsagent-satmaxsatai\" 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/hacker-newsagent-satmaxsatai/og-image.png","thumbnail_width":1200,"thumbnail_height":630}