AI for Math Discovery: Programs Announced, No Results Shown — E8 Intelligence Research

{"FINDING:":[0],"DARPA's":[1],"expMath":[2],"program":[3,26],"and":[4,28,60,83,97],"OpenAI's":[5],"\\"ten":[6],"advances\\"":[7],"signal":[8],"a":[9],"shift":[10],"toward":[11],"AI-driven":[12],"mathematical":[13,22,46,138],"discovery,":[14],"but":[15,110],"the":[16,40,43,49,73,101,116,120,150],"provided":[17],"sources":[18],"contain":[19],"no":[20],"specific":[21],"content":[23],"—":[24,63,89,126],"only":[25,44],"announcements":[27],"commentary.":[29],"|":[30,67,123],"MATH:":[31],"No":[32],"equations,":[33],"constants,":[34],"or":[35],"ratios":[36],"are":[37,129],"extractable":[38],"from":[39,115,119],"given":[41],"abstracts;":[42],"concrete":[45],"artifact":[47],"is":[48,112],"arXiv":[50],"paper":[51],"on":[52],"multi-robotic":[53],"exploration":[54],"(CTU-CRAS-NORLAB),":[55],"which":[56,90],"concerns":[57],"path":[58],"planning":[59],"sensor":[61],"fusion":[62],"not":[64,118],"pure":[65],"mathematics.":[66],"CONNECTION:":[68],"None":[69],"directly":[70],"stated.":[71],"However,":[72],"DARPA":[74],"Subterranean":[75],"Challenge":[76],"inherently":[77],"involves":[78],"graph":[79],"traversal,":[80],"Voronoi":[81],"tessellation,":[82],"lattice-based":[84],"mapping":[85],"of":[86,103,149],"underground":[87],"environments":[88],"connect":[91],"to":[92],"crystallographic":[93],"symmetry":[94,105],"(space":[95],"groups)":[96],"root":[98],"systems":[99],"in":[100,107,134],"sense":[102],"discrete":[104],"operations":[106],"3D":[108],"space,":[109],"this":[111],"an":[113],"inference":[114],"domain,":[117],"supplied":[121],"text.":[122],"DEPTH:":[124],"2":[125],"The":[127],"findings":[128],"meta-mathematical":[130],"(about":[131],"AI's":[132],"role":[133],"math)":[135],"rather":[136],"than":[137],"discoveries.":[139],"T":[140],"Author:":[141],"Andrew":[142],"Stewart":[143],"Caldin,":[144],"Independent":[145],"Researcher,":[146],"UK.":[147],"Part":[148],"E8":[151],"Intelligence":[152],"Research":[153],"series.":[154],"Platform:":[155],"e8intelligence.com":[156]}