علم
@Musingsonmath
بشنو از این ماجرای عجیب که هوش مصنوعی نشسته یکی از گردنکلفتترین معماهای ریاضی دنیا یعنی مسئله «ناویر-استوکس» رو حل کرده و یه مقاله مفصل ۱۶۶ صفحهای هم داده بیرون

بشنو از این ماجرای عجیب که هوش مصنوعی نشسته یکی از گردنکلفتترین معماهای ریاضی دنیا یعنی مسئله «ناویر-استوکس» رو حل کرده و یه مقاله مفصل ۱۶۶ صفحهای هم داده بیرون. ریاضیدانهای درجهیکی مثل جیمز مینارد از دانشگاه آکسفورد کار رو چک کردن و میگن راهحل به احتمال خیلی زیاد درسته، اما قوز بالاقوز اینجاست که بنیبشر تا این لحظه تقریباً هیچی ازش نفهمیده! خاویر گومز از دانشگاه براون هم آب پاکی رو ریخته رو دست همه و گفته این متن اصلاً برای مخ انسان نوشته نشده و تا وقتی یه بازنویسی اساسی نشه، چیزی به درک ما اضافه نمیکنه. خلاصه ماشین نشسته مسئله رو باریکلا بهش حل کرده، اما جوری که فقط خودش میفهمه و خدای خودش!
منبع
Musings on Math@Musingsonmath
Fascinating article about Navier-Stokes solution and what mathematicians have learned … “so far humanity has learned very little from the solution. Although they believe the proof to be technically correct, the dense, 166-page manuscript drafted by AI is proving to be a difficult read. "So far it's been very difficult to really extract any human understanding from this new AI proof," said James Maynard, a mathematician at the University of Oxford. The paper is not written for humans," said Javier Gómez-Serrano, a mathematician at Brown University who uses AI in his own research. He said he believes the proof could help advance the field after "some serious re-writing," but "as of today, the paper doesn't teach us much."”
https://www.npr.org/2026/09/22/nx-s1-5968588/openai-navier-stokes-problem-mathematicians-learn-little
۳ مهر ۱۴۰۵مشاهده در X
NPR
AI solved one of math's hardest problems. Humanity learned nothing (so far)
OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.
خواندن در سایت منبع

نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.