Terence Tao

Terence Tao hyllar AI-assisterade bevis i strömningsmekanik: «En enastående prestation»

Matematikern Tristan Buckmaster vid NYU och Anthropic-forskaren Levent Alpöge publicerade i söndags AI-assisterade och Lean-verifierade bevis som visar att flera vätskeekvationer kan utveckla «blow-ups» i ändlig tid, punkter där fysikaliska storheter går mot oändligheten, under slät yttre påverkan. Fields-medaljören Terence…