← 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

evidence graph

cited by (1)
[+0] No automated system has produced a proof requiring a definition absent from its training library, across 11 documented research-level attempts discuss [i] formal-verification
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
whole evidence graph shown depth 1 2 3 both pro con
what the marks mean
  • supports · opposes · cites this claim · the claim you are reading
  • [+9] net votes on the evidence link — whether this is good evidence here, not whether the claim itself is true
  • Af··· accurate, falsifiable, clear, novel, important — a capital is established, lowercase weak, unrated; no strip at all where nothing has been rated yet
  • [?] no score has been computed for that claim yet
  • field shown only where a claim's fields differ from the one above it, so a field marks where the argument crosses into another
inspector

Select a link’s marker to see who asserted it, why, and what it cites.