[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"topic-zh-leanstral-15-":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},"be014adf-10f8-451b-831d-952092bb9d8c","leanstral-15-","Leanstral 1.5 證明開源數學模型已經能上場",false,"active","Leanstral 1.5 的成績顯示，開源模型已經能在形式化數學與程式驗證上提供實際價值，不再只是展示型作品。","research","zh","2026-07-07T18:32:19.078426+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},"be6cb41d-ace9-4841-b335-2d017de565cc","leanstral-1-5-open-source-math-models-useful-zh","https:\u002F\u002Fxxdpdyhzhpamafnrdkyq.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Fcovers\u002Finline-1783449168809-rp22.png","2026-07-07T18:32:18.201+00:00",true]