[{"data":1,"prerenderedAt":104},["ShallowReactive",2],{"news-\u002Fnews\u002Fnew-fellow-michael-saldivar":3},{"id":4,"title":5,"authors":6,"body":9,"coverAlt":80,"coverCaption":81,"coverCredit":82,"coverImage":83,"date":84,"description":15,"draft":85,"extension":86,"hero":87,"license":88,"meta":89,"metaDescription":90,"navigation":91,"path":92,"reading":93,"seo":94,"sitemap":95,"stem":96,"summary":97,"tags":98,"updated":82,"__hash__":103},"news\u002Fnews\u002Fnew-fellow-michael-saldivar.md","Our new fellow takes on verification in science",[7],{"name":8},"Open Science Foundation",{"type":10,"value":11,"toc":74},"minimark",[12,16,44,49,52,56],[13,14,15],"p",{},"Scientific text is now cheap to produce. Proposals, hypotheses and reviews can\narrive faster than people can read them. The challenge is checking their\nclaims. Our new fellow, Michael Saldivar, argues that an AI system should show\nits reasoning step by step, with each step tied to a source, computation or\nstated premise. If it cannot support a claim, it should decline to answer.",[13,17,18,19,26,27,32,33,38,39,43],{},"An AI researcher from Fresno with a mathematics degree from MIT, Saldivar built\n",[20,21,25],"a",{"href":22,"rel":23},"https:\u002F\u002Ftheoriaverified.com\u002F",[24],"nofollow","Theoria",", an open-source system that makes\nlanguage models prove answers step by step or abstain. His\n",[20,28,31],{"href":29,"rel":30},"https:\u002F\u002Farxiv.org\u002Fabs\u002F2607.01223",[24],"paper"," describes the method. A follow-up\nstudy on open-weight models was accepted to the\n",[20,34,37],{"href":35,"rel":36},"https:\u002F\u002Fmathai-2026.github.io\u002F",[24],"NeurIPS 2026 MATH-AI"," workshop. Before this,\nhe worked as a data analyst and analytics engineer at ",[40,41,42],"em",{},"Insurify",".",[45,46,48],"h2",{"id":47},"from-proposals-to-open-questions-across-fields","From proposals to open questions across fields",[13,50,51],{},"During his fellowship, Michael will build an open-source screening workflow for\nresearch proposals. It will identify each proposal's central\nquestion, try to answer it with a step-checked proof, and search the literature\nfrom broad to narrow, counting and linking every query. Additionally, Michael\nwill apply the same tools to whole fields: identifying the open questions those\nfields state about themselves, then placing proposals in relation to those\nquestions. Across both parts of the work, the test stays the same: every claim\nshould be traceable to evidence or a stated premise, and the system should\nleave unsupported claims unanswered.",[45,53,55],{"id":54},"try-theoria","Try Theoria",[13,57,58,59,63,64,69,70,43],{},"The interactive demo is at ",[20,60,62],{"href":22,"rel":61},[24],"theoriaverified.com",".\nThe code is open at\n",[20,65,68],{"href":66,"rel":67},"https:\u002F\u002Fgithub.com\u002Fzaladbar\u002Ftheoria",[24],"github.com\u002Fzaladbar\u002Ftheoria",", and the\npaper is at ",[20,71,73],{"href":29,"rel":72},[24],"arxiv.org\u002Fabs\u002F2607.01223",{"title":75,"searchDepth":76,"depth":76,"links":77},"",2,[78,79],{"id":47,"depth":76,"text":48},{"id":54,"depth":76,"text":55},"Michael Saldivar, in a white cap and a black T-shirt, stands in front of Yosemite Valley, with El Capitan on the left, Half Dome in the distance and Bridalveil Fall on the right.","Michael Saldivar at Tunnel View, Yosemite National Park.",null,"\u002Fimages\u002Fnews\u002Fnew-fellow-michael-saldivar\u002Fmichael-saldivar-yosemite.jpg","2026-10-01",false,"md","dispatch","CC BY 4.0",{},"Michael Saldivar, who built the open-source verifier Theoria, joins the Open Science Foundation as a fellow to build a screening workflow for research proposals.",true,"\u002Fnews\u002Fnew-fellow-michael-saldivar","2 min",{"title":5,"description":15},{"loc":92},"news\u002Fnew-fellow-michael-saldivar","Scientific text is now cheap to produce, and the challenge is checking its claims. Our new fellow, Michael Saldivar, argues that an AI system should show its reasoning step by step, or decline to answer.",[99,100,101,102],"Fellowship","AI","Metascience","Open Source","nHDfd7X3JE_UJQfS7xJXI53R8P4FvUtCsDTFk0L61_4",1790872413270]