armin.

une personne.

[Noam Brown @polynoamial]

An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.

We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i

[Sebastien Bubeck @SebastienBubeck]

yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: https://t.co/8SjXONeh38

[armin. @Houseofballonz]

@Amir_Cryptotr https://t.co/8fVMd0tGvC

[Hamed169 @hameda169]

من بنده آن دمم که ساقی گوید
یک جام دگر بگیر و من:

[armin. @Houseofballonz]

دیپ‌سیک مفاهیم آنارکو-کاپیتالیستی رو بهتر از جی‌پی‌تی توضیح می‌ده. خراب کردی عای سم‌ آلتمنیون.

[armin. @Houseofballonz]

@Nerdousi خراب کردی آقای جی‌پی‌تیون.

[Jensen Huang @JensenHuang]

For my first post, I’m sharing a letter @NVIDIA signed on why open models matter.

AI will transform every industry, power every company, and be built by every country.

Open models strengthen safety and cybersecurity, accelerate innovation and diffusion, and enable sovereignty.

The world needs both frontier closed models and frontier open models.

https://t.co/AUKzoQ5Ikb

[armin. @Houseofballonz]

@GraceTi93807 @danboooli اون کتاب Computer Age Statistical Inference واقعا پیرکننده‌ست:))

[Matty Hempstead @mattyhempstead]

WOWII Conjecture 91 is false. This graph theory problem was open for ~22 years.

I cracked it by asking ChatGPT 5.6 Pro to find a counterexample to an open conjecture of its choosing and then I went to have a nap.

I do NOT care for graph theory nor had I heard of this NERD conjecture until ChatGPT told me it found a solution.

ChatGPT conversation where this was found:
https://t.co/4AnMhde026

[Shouqiao Wang @Qiaoqiao2001]

I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.

I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.

Here’s exactly how I approached it, including my prompts 🧵

[حامد هادیان @hamedhadian_]

پل فرو ریخته و کودکی که هنوز خیال می‌کند دنیا جای بازی است.

پل گریوه یکی از پل‌های مهم محور بندرعباس–بندر خمیر–لار است. که حملات اخیر آمریکا بمباران شده است.

[Toni Kroos @ToniKroos]

Football won

[فلات ایران @IranianPlateau]

قلبی که برای ایران می‌تپید، خاموش شد.

اسماعیل یغمایی، باستان‌شناس برجسته
۱۳۲۰-۱۴۰۵

[Hossein Ghatib حسین قتیب @HosseinGhatib]

@MHDR_1 وقتی در فاکس‌نیوز، افزایش تستوسترون را با تهدید زنان آسیایی پیوند می‌زنند، دیگر با “شوخی” طرف نیستیم؛ با عادی‌سازی خشونت جنسی و نژادپرستی مواجهیم. اگر همین جمله درباره زنان غربی گفته می‌شد، طوفان رسانه‌ای به پا می‌شد. ظاهراً کرامت انسان هم در این رسانه‌ها تابع جغرافیاست.

[mbg @gloless]

I wake up, kiss her profile picture, then start my day

[کیوان @hichmadaan]

My new job is pretty cool 🤓

[Yugoslavian Visuals @YugoslavVisuals]

Sarajevo, 1990s.

[armin. @Houseofballonz]

حرومزاده رو.

[Clash Report @clashreport]

JD Vance on Iran:

How is it in the United States's interest to have 94 million desperate people flooding into Europe, flooding into the United States, to have, you know, sort of the terrorist infrastructure that can get established when you fan terrorists all over the world?

We've run this experiment before.

Source: Joe Rogan Experience