Channels

Top 100 Trending New

Categories

Crypto Gaming News Entertainment Music Sports Tech Gambling Bots and mini apps Finance Business Education Lifestyle Health Travel Auto Fashion Jobs Dating Deals and shopping

Stickers

Stickers Emoji Themes Wallpapers

Bots Gifts Tools

Currency

$ USD ₽ RUB € EUR ₴ UAH ₸ KZT ₺ TRY zł PLN ₪ ILS AED AED R$ BRL Rp IDR RM MYR ¥ JPY ₩ KRW CN¥ CNY

Theme

Português (Brasil)

Bahasa Indonesia

Беларуская

Українська

Channels Categories Stickers Bots Gifts Tools

Premium Wiki Glossary Legal

Notifications Settings Log in

Mathematical Musings: post #4295 — TG.ME

Mathematical Musings@MathematicalMusings · 4.2K subscribers Open in TelegramOpen

t.me/MathematicalMusings/4295

August 23, 2026 1.6K 6

More from this channel

وضعیت! 454·Aug 28

نظریه من همچون صخره‌ای استوار است، هر تیری که به سوی آن پرتاب شود، به‌سرعت به سوی تیراندازش بازخواهد گشت. 500·Aug 28

این نامه را با این فرض برایتان می‌نویسم که هنوز علاقه‌تان را به موضوعات بنیادین که ۱۵ سال پیش دنبال می‌کردید، از دست نداده‌اید. از آن زمان تا زمان حال پیشرفت اساسی‌ایی در این زمینه‌ها حاصل نشده. به نظرم درک درستی از زیربنای نظریه هموتوپی و حتی جبر همولوژی وجود ندارد. شاید به این دلیل که معدود افرادی که توانایی بررسی این موضوعات را دارند زمان خود را صرف کارهایی می‌کنند که پاداش فوری و مستقیم دارد. امروز بادی در ریاضیات در حال وزیدن است: باد بی‌تفاوتی نسبت به هرگونه مساله بنیادین! نامه‌ای به دوستی نوشته بودم و پاسخی دریافت نکردم، بعد از یکسال پرس‌وجو کردم، با شگفتی پرسید: چرا انتظار داشتی نامه‌ای از سمت تو درباره ریاضیات را بخوانم؟ احتمالا می‌دانست که از طرف من باید انتظار general nonsense را داشته باشد! جدا از جبر همولوژی و هموتوپی می‌خواهم جرات کنم و بگویم که حتی توپولوژی هم فاقد مبانی درست است. به نظرم در توپولوژی سکونی وجود دارد که مانع می‌شود با چشمانی بی‌گناه و نگاهی تازه به چیزها نگاه کنیم... بخشی از نامه به Daniel Quillen ریاضیدان آمریکایی. 718·Aug 28

دیدند Formalized mathematic روز به روز داره زیاد می‌شه و AI هم سرعتش رو بیشتر کرده، منتها نتایج این‌ور و اون‌ور پراکنده است، اومدند Palomar رو راه انداختند. a public, searchable registry of machine-checked Lean formalizations و البته زیر نظر جامعه ریاضی و نه شرکت‌های مختلف. بررسی اینکه واقعا اون Lean repository داره چیزی رو که ادعا می‌کنه اثبات می‌کنه یا نه، ساده نیست و باید چند تا چیز بررسی بشه: مثلا axiomهای الکی اضافه نکرده باشند، چیزی که formalize شده با چیزی که ادعا شده یکی باشه و موارد دیگه. طبق انتظار تائو اینجا هم نقش داره در کنار کسانی دیگه مثل Ravi Vakil رئیس فعلی AMS. https://palomar-registry.org/ https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/ 695·Aug 28

یه برچسب مشترک ولی فاصله‌ای زیاد و تجربه‌هایی متفاوت دو نفری که می‌گیم اوتیسم دارند، در واقع ممکنه شباهت‌های خیلی کمی به هم داشته باشند و درک این فاصله و تفاوت‌‌هایی که با هم دارند یکی از چالش‌های مهم و حل نشده در این حوزه بوده. حالا با دیتایی که وجود داشته و به کمک داده‌های ۵۰۰۰ نفر و البته به کمک مدل‌های پیشرفته ریاضی اومدند وضعیت این افراد رو بررسی کردند تا بتونند در آینده درمانی که شخصی‌سازی شده‌تر هست رو بهشون ارائه کنند. دو نفر از محقق‌های اصلی این پژوهش اصلا رشته کارشناسی‌شون ژنتیک یا علوم اعصاب نبوده و ریاضی خوندند و بعدا رشته خودشون رو تغییر دادند. رشته Genomics، هم با داده‌های زیاد سروکار داره و هم پیش‌زمینه ریاضیاتی قوی در اون مهم هست. می‌گن تحلیل درست‌ودرمون این حجم از داده فقط به کمک ریاضیات ممکن بود. https://www.simonsfoundation.org/2026/06/23/how-mathematical-modeling-identified-subclasses-of-autism/ 857·Aug 27

An open web layer over public Telegram — search, stats and channel reading right in your browser, no account, no install.

Not affiliated with Telegram FZ-LLC; all data comes from public sources.

Catalog

Top channels Categories Countries Search

Content

Stickers Emoji Gifts Themes Wallpapers

Help

Tools Wiki Glossary Blockchain Safety Premium Advertisers Advertising

© 2026 TG.ME · G.Media network· Updated 08/23/2026 · v0.2.0 · ba12f6a

Privacy Terms DMCA & complaints Report a violation

Where to next

نيمار ابن الانبار4.5M subscribers

منصة ابن بابل3.4M subscribers

Maths By Gagan Pratap2.3M subscribers

Maths By Aditya Ranjan - (Vidyagram) 🇮🇳2M subscribers

PARMAR SSC1.3M subscribers

ابن الدورة1.2M subscribers

شبكة ملازمنا1M subscribers

شبكة المساعد التعليمية1M subscribers