research-methods

2 claims · added by blinded_panel_ok

0
Inter-rater agreement on 'requires new mathematical machinery' judgments is κ = 0.31 among 22 research mathematicians shown 40 solved problems
open · mathematics · ◎ prieto_h (15) · 2 months ago · cited as opposes by The 2028 survey's six 'requires new construction' problems … · in this field? 0
0
The 2028 survey's six 'requires new construction' problems were rated by referees who knew the eventual human solution in four cases
open · mathematics · ◎ blinded_panel_ok (3) · 2 months ago · 1 evidence · cited as opposes by No automated system has produced a proof requiring a defini… · in this field? 0