Melanie Wood
ریاضیدان آمریکایی در مورد اون مساله اردوش که جدیدا حل شده و خیلی سروصدا کرده گفته:
اون مقاله مربوط که توسط OpenAI منتشر شده
a history of closely related ideas in the literature
رو درست منعکس نکرده. گفته: اکی، خیلی قدرتمنده ولی باید
human understanding of the mathematics
هم این وسط حفظ بشه.
از جمله تهدیداتی که در اون بیانیه می گن وجود داره سیل زیاد مقالات تولید شده توسط هوش مصنوعی هست.
مقالاتی که
plausible seeming
هستند ولی در نهایت غلط از آب درمیان.
OpenAI, Google DeepMind and Anthropic
و استارت آپ هایی مثل
Harmonic, Math, Inc. and Axiom
وسط تحقیقات ریاضی چی کار می کنند؟
مساله ها رو بر چه اساسی بهش اهمیت می دن؟ سازگاری با مدل های خودشون؟
یه خبر میاد بیرون که فلان مساله حل شد. یه خبر و تبلیغات گسترده و در این بین به جزییات اثبات، پرامپت هایی که نوشته شده، زمانی که صرف شده، داده هایی که استفاده شده برای train و... اشاره ای نمی شه.
خبری از شکست ها نیست، شاید اگر خود انسان این حجم زمان و انرژی می ذاشت روی مساله اون رو حل می کرد.
ریاضیات فقط حل مساله های شیک نیست
it is also the cultivation of ideas, understanding, judgment, and human insight.
چرا بیانیه رو دادند؟
ریاضیدان ها نگران هستند، نگران اینکه در این هیاهوی رسانه ای ارزش های واقعی ریاضیات گم بشه.
می گن دنیای tech دنیایی هست که
commercial logic
داره.
دنیای ریاضی هنوز بر مبنای
gift economy
کار می کنه و کسانی که میان این رشته رو می خونند idealist هستند.
عمر ریاضیات به اندازه عمر بشر هست و هیچ فناوری نمی تونه اون رو نابود کنه. می گن ما نگرانیم جنبه اصلی ریاضیات یعنی جست و جوی جمعی برای فهم زیبایی به فنا بره.
می گن ما نگران این موضوع هستیم که یه مشت شرکت به سمت این زیبایی حمله کردند.
https://www.nytimes.com/2026/06/02/science/ai-mathematics-leiden-declaration.html