Terence Tao

Terence Tao kaller KI-assisterte væskedynamikk-bevis «en enestående prestasjon»

Matematikeren Tristan Buckmaster ved NYU og Anthropic-forskeren Levent Alpöge publiserte søndag KI-assisterte og Lean-verifiserte bevis som viser at flere væskeligninger kan utvikle eksplosjonsartede «blow-ups» i endelig tid, punkter der fysiske størrelser går mot uendelig, under glatt ytre påvirkning. Fields-medaljevinner Terence…