OpenScience
OpenScience is an open-source, model-agnostic AI research workbench built by Synthetic Sciences, a San Francisco startup in Y Combinator's Winter 2026 batch.
AI for Science
Explore AI for Science through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Developer Tools
Articles that also belong to these categories. Counts cover all of AI for Science.
All articles (80)AI Models (19)Google DeepMind (18)Drug Discovery (12)AI Companies (11)Mathematics (10)AI Research (8)Artificial Intelligence (7)Healthcare AI (7)Open Source AI (6)AI Tools & Products (5)Anthropic (5)AI Agents (4)Deep Learning (4)Machine Learning (4)Google (3)Meta AI (3)AI Hardware (2)ChatGPT (2)Data Science (2)Developer Tools (2)Diffusion Models (2)Generative AI (2)Large Language Models (2)OpenAI (2)People (2)Reasoning Models (2)AI Ethics (1)AI History (1)AI Incidents & Controversies (1)Algorithms (1)Computer Science (1)Computer Vision (1)Data & Datasets (1)Neural Networks (1)Speech & Audio AI (1)
Showing 1-2 of 2 articles
Prove2Me
Prove2Me is an open collaborative platform for formalizing mathematics in Lean 4, built by a group led by Tianyi Peng at Columbia University.