2021 Air Street Capital The State of AI Report 2021 · page 43 of 188
The slide contrasts formal theorem proving datasets with the new MATH dataset, highlighting the difficulty of the latter even for humans.
Consulting deck · case_study · illustrate_case · balanced density
Slide locked Sign in to view
Slide schematic 4/4
callout 1/1 image 1/1 list 1/1 title 1/1
Components 4
primary infographic bullet headline
Tools 0
∅
No tools
No canon tool match is anchored to this slide.
Metrics 0
∅
No metrics
No metric insight is anchored to this slide.
Frameworks 0
∅
No frameworks
No framework match is anchored to this slide.