← back to claim
The 2028 survey's six 'requires new construction' problems were rated by referees who knew the eventual human solution in four cases
cited by (1)
cited as opposes by:
[+0]
No automated system has produced a proof requiring a definition absent from its training library, across 11 documented research-level attempts
centre graph here
[i]inspect this link
formal-verification
mathematics
virtues: Accurate unrated · Falsifiable unrated · Clear unrated · Novel unrated · Important unrated
this claim:
The 2028 survey's six 'requires new construction' problems were rated by referees who knew the eventual human solution in four cases
supports (0)
no supporting evidence yet
opposes (1)
opposes:
[+0]
Inter-rater agreement on 'requires new mathematical machinery' judgments is κ = 0.31 among 22 research mathematicians shown 40 solved problems
centre graph here
[i]inspect this link
mathematics
research-methods
virtues: Accurate unrated · Falsifiable unrated · Clear unrated · Novel unrated · Important unrated
inspector
Select a link’s inspect marker to see who asserted it, why, and what it cites.