habil.zare

Can I use mathematics concepts I learned in computational biology to lessen people's pain?

[habil.zare @HabilZare]

Yesterday, I was hoping AI can improve to become a programmer assistant. Today, I realized AI can already write code better than an average human.

Yesterday's smart top programers will become designers of products made by AI tomorrow or the day after.

[Alex Prompter @alex_prompter]

Claude Code creator, Boris Cherny:

"Every six months, delete your claude.md, delete your skills, delete your hooks, see what the model does, and it might surprise you."

Anthropic deleted 80% of Claude Code's system prompt for Opus 5. It doesn't need the instructions past models did.

36 minutes of pure insight from the creator of the fastest-growing AI coding tool in the world.

Watch it, then read the guide below.

[habil.zare @HabilZare]

The Jacobian conjecture was open for 87 years. It was disproven using AI a few days ago. This is the most important mathematical problem solved using AI so far.

[Shahram @shzmortazavi]

۱ از ۵
اگر این ادعا تأیید شود، یکی از مشهورترین مسائل حل‌نشدهٔ ریاضیات، پس از ۸۷ سال، سقوط کرده است؛ آن هم با کمک هوش مصنوعی.
حدس ژاکوبین را اوتو-هاینریش کلر در سال ۱۹۳۹ مطرح کرد. اما این حدس چه می‌گفت و چرا ریاضی‌دانان نزدیک به یک قرن درگیر آن بودند؟

[habil.zare @HabilZare]

@Mehrad1973 @MxRuning @yebekhe ایران اینترنشنال تو لیست نیست؟ آیت الله بی بی سی و صدای آمریکا که به درد نمی خوره.

https://t.co/AAJwsWtOHg

[habil.zare @HabilZare]

@MehdiHacks سپاس. این https://t.co/VQEan9faEq چقدر به روز هست؟ زبان فارسی که اصلا نداره و در فرکانس 15630 هم ایران اینترنشنال رو نشون نمیده. آیا در این فرکانس پخش میشه اصلا؟ تو سایتش نوشته ولی اطلاعات سایت قدیمی هست نمی دونم هنوز پخش بشه.

https://t.co/AAJwsWtOHg

[habil.zare @HabilZare]

@MMhmdy86478 @ShahryarShefigh نخودچی کشمش.
با صدای چی؟

[habil.zare @HabilZare]

@kooshiar کوشیار، من می تونم در این زمینه کمک کنم. پیامم در DM به دستت رسید؟

[habil.zare @HabilZare]

@SunFlower_Curly @Ansari_Bahman دفتر دانایی و داد
https://t.co/ZJw5sok7Ry

[habil.zare @HabilZare]

@DirtPhilosopher https://t.co/jSdePK1Oh0

[habil.zare @HabilZare]

@PrisonerN11 شاهنامه

[Yaar - يار ‌‌قدیمی 🇮🇷🇮🇱 @YaarGhadimi]

سپتامبر ۱۹۱۹ حدود ۷۵٪ از پلیس‌های بوستون آمریکا اعتصاب کردند، در کمتر از چند ساعت غارت مغازه‌ها شروع و به تمام شهر کشیده شد، مردم تفنگ و چماق دست گرفتند و عابران توسط جیب‌برها لخت میشدند، ظرف چند ساعت چندین کشته و صدها زخمی بجا موند و کل شهر در آشوب کامل فرو رفت تا اینکه گارد ملی ورود میکنه و به زور سلاح و تیراندازی دوباره نظم رو برمیگردونه.

این بلاییه که تنوع فرهنگی(دایورسیتی) سر یه ملت میاره. تازه اون زمان آمریکایی‌ها با درصد بالایی وایت بودند و بالای ۹۵درصدشون باور مشترک مسیحی دا��تند. الان که بخاطر مهاجران رنگارنگ بافت جمعیتی و عقیدتی هزارپاره شده و هیچ هویت و عشق مشترکی وجود نداره در نتیجه مردم فقط به زور نیروی پلیسی موقتا متمدن رفتار میکنند. وضعیت کانادا و اروپا در نبود پلیس دهها برابر بدتر از آمریکاست و در نبود پلیس مسلمانان اول تمام دختربچه‌های شهرها رو میدزدند و آفریقایی‌ها خونه به خونه دست به غارت میزنند.

اما تو کشوری مثل ایران اگه پلیس حذف بشه، نه تنها هیچ مغازه‌ای غارت نمیشه بلکه مردم ممکنه احساس امنیت بیشتری هم بکنند. ایرانیها بالذات متمدن‌اند و تاریخ ما این رو اثبات کرده که توحش تو DNA ما وجود نداره. غربیها تا همین ۸۰سال پیش داشتن یهودیان رو نسلکشی میکردند، ترکیه‌ایها چند میلیون ارمنی رو نسلکشی کردند، وایکینگها از مسلمانان وحشی تر بودند اما ما هرگز سابقه همچین توحشی رو نداشتیم ولی صد دریغ و هزار افسوس که دوبار بدجوری از اسب افتادیم.

[habil.zare @HabilZare]

Rain water washing the reddish ochre on Hormuz Island to the see🥰

[🌳 Hadi @hadinik]

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

[Vlad Tenev @vladtenev]

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.

[habil.zare @HabilZare]

@grok @mehrdadtune @Kurosh_La @HarmonicMath منبعش:
https://t.co/mNXLjN4Jo6

[Vlad Tenev @vladtenev]

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.

[habil.zare @HabilZare]

@SabriBokht «مرگ یزدگرد» شاهکار است از آن روی که همزمان با روایتهای متفاوت و نامتعارفی روبرو هستیم: از ترس شاه بگیر تا خیانت سپاه تا ناسپاسی مردم و از طرف دیگر بی رحمی و پیمان شکنی تازیان و نیز آنچه شما گفتید. هیچ روایتی برتری داده نشده. به من کمک کرد که در روایت رسمی شک کن��. کافی نیست؟

[سايو @smn242424]

یاد این ویدیو افتادم که پلیس فلوریدا توش میفرمایند اگه دزد اومد خونتون ما ترجیح میدیم بهش شلیک ��نید. اینجوری پول مالیاتتون هم سیو میشه. تازه کلاس تیراندازی هم برگزار میکنیم 😅

پ.ن.قوانین دفاع مشروع ایالت به ایالت متفاوته و فلوریدا یکی از ریلکس ترین قانون ها رو داره

[VraserX e/acc @VraserX]

GPT-5 just casually did new mathematics.

Sebastien Bubeck gave it an open problem from convex optimization, something humans had only partially solved. GPT-5-Pro sat down, reasoned for 17 minutes, and produced a correct proof improving the known bound from 1/L all the way to 1.5/L.

This wasn’t in the paper. It wasn’t online. It wasn’t memorized. It was new math. Verified by Bubeck himself.

Humans later closed the gap at 1.75/L, but GPT-5 independently advanced the frontier.
A machine just contributed original research-level mathematics.

If you’re not completely stunned by this, you’re not paying attention.

We’ve officially entered the era where AI isn’t just learning math, it’s creating it. @sama @OpenAI @kevinweil @gdb @markchen90

[Bahman Ansari @Ansari_Bahman]

ماجرای ٢٨ مرداد را اگر بخواهم خیلی خلاصه و جمع و جور توضیح بدم:

١- از چند ماه قبل، مجلس شورای ملی، قصد استیضاح مصدق را داشت. مصدق که احتمال می‌داد مجلس او را پس از رای‌گیری در جلسهٔ استیضاح، از نخست‌وزیری برکنار کند، مجلس را منحل کرد!

٢- بر پایهٔ قانون اساسی، اختیار عزل و نصب نخست‌وزیر، در شرایط نرمال با مجلس بود و همچنین در صورت انحلال مجلس به هر دلیلی، اختیار عزل و نصب نخست‌وزیر در اختیار پادشاه قرار می‌گرفت.

٣- شاه بر پایهٔ این قانون، در حالی که مجلسی وجود نداشت، شخصا حکمی صادر کرد و مصدق را خلع کرد.

۴- مصدق از فرمان شاه تمرد کرد.

۵- ارتش وارد عمل شد و نخست‌وزیر متمرد را دستگیر کرد.

این کل ماجرا بود بدون شاخ و برگ اضافه.

[مفیستوفلس @crawlingworm69]

گاماسیاب دیگر ماهی ندارد
رودخونه‌ی گاماسیاب کنار ماست. اسمش اینجوری ساخته شده. گا ماسی آب: آبی که ماهیاش انداره‌ی گاوه. و درسته، بچه بودیم، ماهی ۳۰ کیلویی از آب میگرفتن. اینقدری آبش زیاد و وحشتناک بود که کلی افسانه براش ساخته بودن. یکی میگفت توش پری دریایی داره. یکی میگفت به
۱

[habil.zare @HabilZare]

@ajibzade @threadreaderapp unroll

[habil.zare @HabilZare]

@grok چند سرور معرفی کن که بتونم ازش در xray استفاده کنم

[habil.zare @HabilZare]

@grok I want to spoof popular, uncensored, high-CDN-load services that are still accessible in Iran.
چند تا پیشنهاد کن که در شرایط سانسور شدید و اینترنت ملی هم کار کنه.