llm framework for discovering major mathematical conjectures
stable agentic control cyber defense
anthropic claude fermat
openai s astra cracks 10 math problems
ten advances in mathematics
epochs frontiermath benchmark cracks a 40 year old math problem using fable 5
rpr ai governance runtime
formally verified 3d csg lean4