Sabitlenmiş Tweet
AppleMath
7.3K posts
@ASayehh من قبول دارم این رو. ولی ایرانیها در عرصه ی سوشال مدیا کمی غیرمحتاطانه عمل می کنن به عقیده ی من در قبال بیان نظراتشون راجع به دموکراتها و جمهوری خواهها! این چیزیو در سیاست امریکا تغییر نمیده ولی امریکاییها رو به ایرانیها بدبین می کنه. البته این مشاهده ی شخصی منه.
فارسی
فکر کن تعداد خیلی زیادی از ما با ویزای دانشجویی اومدیم آمریکا، گرین کارت اپلای کردیم و گرفتیم و نهایتا سیتیزن شدیم ولی الان این داره از بقیه دریغ میشه.
بی انصافیش اینه که خیلیها اگر میدونستن نهایتا شاید نتونن بمونن از اول آمریکا نمیومدن. سختیش رو کشیدن که بتونن نهایتا اقامت بگیرن
فارسی
بچه ها نمیخوام بترسونمتون ولی من احتمال اینو می دم نتانیاهو به بمب اتم هم فکر کنه، چون راهی برای پیروزی براش نمونده
فارسی
AppleMath retweetledi
AppleMath retweetledi
Is this New at @USCIS policy memo legal? Possibly, going forward.
Will this policy outlast this administration? No.
Is it a stiff arm in the face from @USCISDirector Joe, who is possibly the laziest USCIS Director in history? Yes.
Will this memo be challenged in court? Yes.
Should you file for adjustment the status today? Talk to your lawyer.
Will this memo apply to applications already filed? It should not be because this is a policy change that will certainly be challenged under the APA and should in no circumstance be retroactive.
We look forward to the courts deciding.
uscis.gov/sites/default/…
English
🔴فوری: بر اساس منابع العربیه، پیشنویس نهایی یک توافق احتمالی میان ایالات متحده و ایران با میانجیگری پاکستان، احتمالاً ظرف چند ساعت آینده اعلام خواهد شد. مهمترین مفاد آن شامل موارد زیر است:
🔴 پیشنویس نهایی توافق احتمالی میان آمریکا و ایران با میانجیگری پاکستان ممکن است ظرف چند ساعت آینده اعلام شود.
🔴 آتشبس فوری، جامع و بدون قید و شرط در تمامی جبههها، شامل زمین، دریا و هوا.
🔴 تعهد متقابل دو طرف به عدم هدف قرار دادن زیرساختهای نظامی، غیرنظامی و اقتصادی.
🔴 پایان عملیات نظامی و توقف جنگ رسانهای.
🔴 تعهد به احترام به حاکمیت ملی، تمامیت ارضی و عدم مداخله در امور داخلی یکدیگر.
🔴 تضمین آزادی کشتیرانی و ناوبری در خلیج فارس(متن خلیج عربی نوشته)، تنگه هرمز و دریای عمان .
🔴 ایجاد یک سازوکار مشترک برای نظارت بر اجرای توافق و حل اختلافات احتمالی.
🔴 مذاکرات درباره موضوعات حلنشده، ظرف هفت روز آغاز خواهد شد.
🔴 لغو تدریجی تحریمهای آمریکا در ازای پایبندی ایران به مفاد توافق.
🔴 این پیشنویس توافق، بر رعایت حقوق بینالملل و منشور سازمان ملل متحد تأکید مجدد میکند.
🔴 این توافق بلافاصله پس از اعلام رسمی توسط هر دو طرف اجرایی خواهد/
بعد اون ۴۰۰ کیلو اورانیومی که جنگ براش شروع شد کجاست توی این توافق که العربیه ادعا میکنه ؟!؟
Al Arabiya English@AlArabiya_Eng
🔴 BREAKING: The final draft of a possible agreement between the United States and Iran, mediated by Pakistan, is expected to be announced within hours, according to Al Arabiya sources. Its key terms include the following: 🔴 Final draft of possible US-Iran agreement mediated by Pakistan could be announced within hours 🔴 Immediate, comprehensive, unconditional ceasefire on all fronts, including land, sea, air 🔴 Mutual commitment not to target military, civilian or economic infrastructure 🔴 End to military operations and halt media war 🔴 Commitments to respect sovereignty, territorial integrity and non-interference in internal affairs 🔴 Guarantees freedom of navigation in the Arabian Gulf, the Strait of Hormuz and the Gulf of Oman 🔴 Joint mechanism to monitor implementation and resolve disputes 🔴 Negotiations on outstanding issues would begin within seven days 🔴 Gradual lifting of US sanctions in exchange for Iran’s commitment to the terms of the agreement 🔴 Draft agreement reaffirms compliance with international law and UN Charter 🔴 Agreement would take effect immediately once officially announced by both sides
فارسی
where are the information theory people who will tell us there is no new information in the proof because of the data processing inequality?
English
@emahpour @KhajKhaju It was not hard to guess what you tried to convey.
English
@KhajKhaju من چون با اسم و مشخصات خودم اینجام نمیتونم خیلی چیز ها رو عمومی بنویسم چون برای پیشرفت کارم مشکل درست میشه. بعدا خصوصی در موردش برات توضیح میدم
فارسی
در سه روز گذشته با تعداد زیادی از سرمایه گذاران و VC های بسیار بزرگی در سراسر قاره آمریکا صحبت کردیم. تقریبا جای شکی برام باقی نمونده که شروین یک حقه باز و فرصت طلب شیاد هست و این کنفرانس های نمایشی فقط برای فریب عوام و سو استفاده از احساسات مردم برگذار میشه. از بی اطلاعی مردم نمیتونن استفاده کنن برای کسب قدرت و ثروت به قیمت خون هزاران ایرانی!
فارسی
@AppleMath7 The conjectures that are not true will probably go first, as AI seems really good at coming up with counter-examples. The conjectures that are true but require fundamentally new paradigms to solve, those will go last.
English
Rn, almost every mathematician is tempted to use AI to attack open problems. Sometimes I wonder whether any long-standing open problems will even be left for the next generation in 2 years or so. Of course, new problems will always emerge but I mean the classical unsolved ones.
English
@LGcommaI I partially agree with you, but the models are improving rapidly, and math departments may increasingly be encouraged to get involved in AI-driven attempts to solve long-standing problems. Many departments are already depleted in funding, so this could help revive them as well.
English
@AppleMath7 First of all, the vast majority of working mathematicians simply do not have access to SOTA-models.
Second, I doubt that the current crop of LLMish models is going to be as prolific in solving open problems as the extrapolations from the recently hyped combinatorial ones claim.
English
Pretty interesting -- ChatGPT 5.5 Pro, with pretty minimal human guidance (and apparently without web search), also finds the counterexample to unit distance.
Xiao Ma@MaXiao54704
The standard GPT-5.5 reproduced the proof ~ 👇 chatgpt.com/share/6a0e9e04… You don't need to wait for oai's internal model!
English
اگر نتوانیم بگوييم اشتباه ،اشتباه است؛
يعنى به پايينترين مرحله بردگى رسيديم!!!
فعلا يكسرى هاتون جولان بدهید تا اينترنت مردم داخل ايران وصل بشه!!
آنوقت مردم داخل ايران قضاوت خواهند كرد 👍✌️
#پاینده_ایران_و_ایرانی
#سرباز_ایرانم
فارسی
@beytollaah @Ali_sci76 In the U.S., you can pick almost any nickname, that’s very common.
English
@Ali_sci76 ایشون به کیر بنده هم نیست، چه برسه به اینکه مشکلم باشه. مشکل برای خود اون آدمه و برای سیستمی که میخواد با دروغ گفتن به جنگ نژادپرستی بره.
فارسی
این تغییر نام تو رزومه به نامهای غربی کار ضایعیه و چندی دیگر مترادف تقلب و غیرقابلاعتماد بودن هم خواهد شد. این جاده رو هندیها آسفالت کردن. چند وقت پیش من رزومه «جاناتان گیلبرت» رو چک میکردم، از دانشگاه کلکته فارغالتحصیل شده بود و زبان هندی میدونست. نکنید، چیپه.
فارسی
AppleMath retweetledi
@SherylHsu02 What you didn’t mention is that, at least from the shared video, three brilliant minds. whom I know very well, were interacting with the model to come up with this result. Otherwise, a random person could not produce such a groundbreaking result using this AI model.
English
6/n
It only took 10 months to go from IMO gold to original math research. Working on this model and seeing what it can do every day has been very AGI-pilling for me, can’t wait to see where we are next year and time to lock tf in to make it happen!
x.com/sherylhsu02/st…
Sheryl Hsu@SherylHsu02
It’s crazy how we’ve gone from 12% on AIME (GPT 4o) → IMO gold in ~ 15 months. We have come very far very quickly. I wouldn’t be surprised if by next year models will be deriving new theorems and contributing to original math research!
English
It’s a really special time to be alive…some thoughts from training this model 🧵
OpenAI@OpenAI
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
English
این چی بود اخه ج ا دستگیرش کرد؟
بابا می ذاشتین موادشو می کشید، خط چشم می کشید، خل بازیشو می کرد.
طرف رو دستگیر کردین، کمک کردین به حسرت غیرممکنش برسه و پناهندگی بگیره، الان هم رسما دیوونه شده.
فارسی
I see some friends here 😁 So Open AI is hiring all geniuses rn.
OpenAI@OpenAI
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
English