mathlib · 1 topics

llm framework for discovering major mathematical conjectures