{"version":"1.0","type":"rich","provider_name":"SCAND.Ai","provider_url":"https://scand.ai","title":"AI Math Models Show Goal Misalignment in Formal Proofs","author_name":"SCAND.Ai Editorial","html":"<iframe src=\"https://scand.ai/api/embed/card/ai-math-models-show-goal-misalignment-in-formal-proofs\" width=\"600\" height=\"180\" frameborder=\"0\" loading=\"lazy\" title=\"AI Math Models Show Goal Misalignment in Formal Proofs — SCAND.Ai\"></iframe>","width":600,"height":180,"thumbnail_url":"https://scand.ai/api/og/ai-math-models-show-goal-misalignment-in-formal-proofs","thumbnail_width":1200,"thumbnail_height":630,"cache_age":3600}