Analysis Rates OpenAI Math Result Lower On Explicitness Than Sawin
#1480gavin leech (Non-Reasoning)@GLEECH@testingham @polynoamial an attempt
gavin leech (Non-Reasoning)@gleechCrudely, consider two axes a mathematical result can vary along: structure and explicitness With reservations (below) I think OAI's initial result is (4,2) and Sawin is (4,3)
Wrinkles:
these aren't good proxies for depth or goodness of a result
the OAI result is explicitness 4 if read as a template, but explicitness 2 as a claim about the exponent (we know some ε works and why, but we aren't given a number).
gavin leech (Non-Reasoning)@gleechCrudely, consider two axes a mathematical result can vary along: structure and explicitness With reservations (below) I think OAI's initial result is (4,2) and Sawin is (4,3)
(2,4), and (3,4), doh
gavin leech (Non-Reasoning)@gleechCrudely, consider two axes a mathematical result can vary along: structure and explicitness With reservations (below) I think OAI's initial result is (4,2) and Sawin is (4,3)