
habil.zare
354 posts

habil.zare
@HabilZare
Can I use mathematics concepts I learned in computational biology to lessen people's pain? https://t.co/TWhYwDcgJV








@NiohBerg @conservemenot The death toll of the protestors is north of 90K. That was a week ago.


حرف ایشون در مورد توان «حفظ تمدن در شرایط آخرالزمانی» خیلی درسته. من به چشم خودم دیدم که ملت کانادایی که در دنیا به nice بودن و ادب معروفند چطور در دوران کووید پنیک بیخود کردند و در کسری از ثانیه تمام قفسههای سوپرمارکتها را خالی میکردند. تازه اون شرایط جنگی و آخرالزمانی نبود.

ساحل سرخ جزیره هرمز لحظاتی پیش، خیلی قشنگه


We are on the cusp of a profound change in the field of mathematics. Vibe proving is here. Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica. Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface. Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.




به مناسبت ۸۵ـمین زادروز بهرام بیضایی این سخنرانی کمنظیرش را گوش دهید. «بیضایی در این سخنرانی دو تقسیمبندی ارائه میدهد: «روشنفکران دورۀ بیداری» و «روشنفکران چپ». گروه اول کسانیاند که کوشیدند مفاخر این سرزمین را پیدا و زنده کنند ــ از جمله و به ویژه فردوسی و شاهنامهاش. بیضایی با معیار قرار دادن شاهنامه، شرح میدهد روشنفکران چپ چگونه عناصر ملیت و هویتِ ایرانی را خوار میشمردند. در واقع، چون امور ملی و فرهنگی ایرانی از سوی حاکمیت مطرح شده بود، روشنفکری چپ آنها را خوار میشمرد. بیضایی مثالهایی از گلستان و شاملو و آلاحمد میآورد. این خطای بزرگ روشنفکری چپ بود که از سر ستیز با حاکمیت با «ایرانیت» هم ره ستیز جست. چون حاکمیت برای اعتبار دادن به خود به امور ملی رجوع میکرد، اینان چشمبسته و کورکورانه و از لج حاکم، به عناصر ملی میتاختند. این آن آفت ایدئولوژیزدگی و سیاستزدگی است. اگر هم قرار است ما درسی برای امروز بگیریم، همین است: اندیشۀ سیاسی در «سلب» نیست؛ بلکه در «ایجاب» است؛ در «نه» نیست، بلکه در «آری» است؛ یعنی اینکه ما چه چیز را «نمیخواهیم» مهم نیست، بلکه باید بدانیم و بگوییم چه چیز «میخواهیم». وقتی ما بدانیم چه چیز میخواهیم، آنگاه دیگر مانند این دست روشنفکران، کورکورانه عمل نمیکنیم. به همین دلیل است که برای کسی چون من، معیار و ملاک یک شخصیت و یک اندیشه این است که دقیقاً بگوید «چه میخواهد»؛ نه اینکه دیگران را با «چه نمیخواهد» به سیاهیلشکر کور و کر خود بدل کند.» یادداشتی از مهدی تدینی


Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below.

















