[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"topic-en-leanstral-15-proves-open-source-math-models-are-now-useful":3},{"cluster":4,"timeline":16},{"id":5,"slug":6,"title":7,"pinned":8,"status":9,"summary":10,"category":11,"language":12,"created_at":13,"merged_into":14,"article_count":15,"first_seen_at":13,"last_updated_at":13},"8e926421-9d7c-402f-a0c2-6f8d3cff1bc6","leanstral-15-proves-open-source-math-models-are-now-useful","Leanstral 1.5 proves open-source math models are now useful",false,"active","Leanstral 1.5 shows open-source models can now deliver real value in formal math and code verification.","research","en","2026-07-07T18:32:19.601532+00:00",null,1,[17],{"id":18,"slug":19,"title":7,"summary":10,"category":11,"image_url":20,"cover_image":20,"published_at":21,"is_canonical_seed":22},"ed4393a9-437c-4266-b94c-b51ed66acc7b","leanstral-1-5-open-source-math-models-useful-en","https:\u002F\u002Fxxdpdyhzhpamafnrdkyq.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Fcovers\u002Finline-1783449164706-zcgm.png","2026-07-07T18:32:18.705+00:00",true]