Automated Theorem Proving Advances Lack Verifiable Proofs in Public Sources — E8 Intelligence Research

{"FINDING:":[0],"DARPA's":[1],"expMath":[2],"program":[3],"and":[4,75],"open-source":[5],"\\"Proof":[6],"Council\\"":[7],"agents":[8],"target":[9],"automated":[10],"theorem":[11],"proving,":[12],"while":[13],"a":[14],"claimed":[15],"OpenAI":[16],"\\"Astra\\"":[17],"system":[18],"reportedly":[19],"solved":[20],"10":[21],"open":[22],"problems":[23],"—":[24,67],"but":[25,79,129],"no":[26,80],"equations":[27],"or":[28,41,101,126],"proofs":[29],"are":[30,43,83],"provided":[31],"in":[32,64,85,105],"the":[33,46,49,55,86,108,130,146],"sources.":[34,110],"|":[35,88],"MATH:":[36],"No":[37,92],"explicit":[38],"equations,":[39],"constants,":[40],"ratios":[42],"extractable":[44],"from":[45],"search":[47],"results;":[48],"only":[50],"concrete":[51],"mathematical":[52],"artifact":[53],"is":[54],"CTU-CRAS-NORLAB":[56],"field":[57],"report":[58],"(arXiv:2110.05911),":[59],"which":[60,118],"concerns":[61],"multi-robotic":[62],"exploration":[63],"GPS-denied":[65],"environments":[66],"its":[68],"mathematics":[69],"involve":[70],"SLAM,":[71],"graph-based":[72],"path":[73],"planning,":[74],"occupancy":[76],"grid":[77],"mapping,":[78],"closed-form":[81],"constants":[82],"given":[84],"abstract.":[87],"CONNECTION:":[89],"None":[90],"found.":[91],"golden":[93],"ratio,":[94],"Fibonacci,":[95],"base-60,":[96],"crystallographic":[97],"symmetry,":[98],"root":[99],"system,":[100],"lattice":[102],"structure":[103],"appears":[104],"any":[106],"of":[107,145],"listed":[109],"The":[111],"DARPA":[112],"Subterranean":[113],"Challenge":[114],"involves":[115],"spatial":[116],"exploration,":[117],"could":[119],"theoretically":[120],"relate":[121],"to":[122],"lattice-based":[123],"coverage":[124],"paths":[125],"Voronoi":[127],"tessellations,":[128],"abstract":[131],"does":[132],"not":[133],"state":[134],"such":[135],"specifics.":[136],"Author:":[137],"Andrew":[138],"Stewart":[139],"Caldin,":[140],"Independent":[141],"Researcher,":[142],"UK.":[143],"Part":[144],"E8":[147],"Intelligence":[148],"Research":[149],"series.":[150],"Platform:":[151],"e8intelligence.com":[152]}