Terence Tao

Terence Tao kallar gervigreindarsannanir í straumfræði „stórkostlegan árangur“

Stærðfræðingurinn Tristan Buckmaster við NYU og rannsakandinn Levent Alpöge hjá Anthropic birtu á sunnudag sannanir, unnar með aðstoð gervigreindar og staðfestar í Lean, sem sýna að nokkrar straumfræðijöfnur geta þróað með sér sprengingar á afmörkuðum tíma, það er punkta þar…