Research AI Landscape
Search
Search
Dark mode
Light mode
Explorer
Tag: mathematics
3 items with this tag.
Apr 01, 2026
aletheia
mathematics
autonomous-research
multi-agent
theorem-proving
gemini
Mar 24, 2026
alphaevolve
mathematics
evolutionary-search
algorithm-discovery
google
agentic
formal-methods
Mar 20, 2026
harmonic-aristotle
formal-verification
theorem-proving
lean4
mathematics
automated-reasoning