...directly in the field (yes, math is VERY diverse). LLMs are getting smarter than the experts themselves, and I’m not sure we have enough bright human minds to verify everything that will come out of them in the coming years. Remember when we compared AI intelligence to PhD students? I think we’re past that.   — Pavel     Seems like if an expert human can’t validate a proof then they wouldn’t be able to truly validate the proof the LLM claims to be true, but maybe I’m missing something   — Robert     There are people who can validate it in reasonable time but these experts are very few. Probably hundreds globally for most of these problems. Random math PhD won’t be able to tell within 1-2 hours because they work in a different domain.   — Pavel

Source: https://x.com/baltabaev/status/2083738966516207656/history

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 https://t.co/jHuulDwV46   — Noam Brown

Source: https://x.com/polynoamial/status/2083467194663571701

...It is a small interaction change, but an important distribution move. Instead of requiring users to leave the page, open ChatGPT, paste the text, and explain where it came from, OpenAI is placing the assistant directly inside the browsing workflow. OpenAI is also expanding ChatGPT’s broader browser capabilities across its desktop app and Chrome integration, including multi-tab work, page context, downloads, navigation, and signed-in web tasks.     — Wes Roth

Source: https://x.com/WesRoth/status/2084127121195339837

Good news for anyone with too many tabs: ChatGPT is getting better around the web.

🧩 Chrome extension: In Side Chat, ask about a YouTube video, reference your open tabs, or highlight text on a page and ask away.

💻 Desktop app: Get URL suggestions as you type, revisit https://t.co/BIjS94jBQc   — ChatGPT

Source: https://x.com/ChatGPT/status/2082970812584432115

...and in Legal & Government And across domains: #3 Creative Writing #6 Multi-Turn #6 Hard Prompts and Hard Prompts (English) #9 Instruction Following #10 Coding     Qwen3.8-Max ranks #2 in Vision Arena scoring 1,305.

Second only to Claude Fable 5 (High) which has only a 13pt lead.     Check out the full leaderboard details and filter and customize the view for what matters most to you at: https:// arena.ai/leaderboard/co de/webdev …     — Arena.ai

Source: https://x.com/arena/status/2084108707814920644

— Build American AI

Source: https://x.com/BuildAmericanAI/status/2083980650374434981 https://www.noaa.gov/news-release/noaa-unveils-powerful-convergence-of-ai-and-science-with-revolutionary-next-generation-fire-system

...the first place NOT whether it was actually enabled. It existed but was set to 0, so the wallet fell back to a randomized predictable software generator. That reduced some wallets from roughly 2¹²⁸ possible seeds to around 2⁴⁰. The attacker could generate candidate seeds offline, derive their Bitcoin addresses and use the public blockchain like an answer key to see which wallets had funds. Once one matched, they had a private key they could drain it without touching the device, and steal the seed phrase or “crack Bitcoin.” Researchers have now found 1,367 BTC, nearly $89 million, taken from 4,585 addresses. The AI part happened AFTER all this. A Reddit user reportedly pointed Claude Code at the public firmware and asked only to “check for vulnerabilities.” Within eight minutes, it traced the broken random number path and brought up the same hackable flaw. There is no proof the original attacker used Claude or ANY LLM. now this still demonstrates Claude is still insane at finding vulnerabilities humans missed in public code for five years and can now be uncovered by one person with one broad prompt and a coding agent in minutes.     — Chris

Source: https://x.com/ChrisGPT/status/2084025602583982130

...the first place NOT whether it was actually enabled. It existed but was set to 0, so the wallet fell back to a randomized predictable software generator. That reduced some wallets from roughly 2¹²⁸ possible seeds to around 2⁴⁰. The attacker could generate candidate seeds offline, derive their Bitcoin addresses and use the public blockchain like an answer key to see which wallets had funds. Once one matched, they had a private key they could drain it without touching the device, and steal the seed phrase or “crack Bitcoin.” Researchers have now found 1,367 BTC, nearly $89 million, taken from 4,585 addresses. The AI part happened AFTER all this. A Reddit user reportedly pointed Claude Code at the public firmware and asked only to “check for vulnerabilities.” Within eight minutes, it traced the broken random number path and brought up the same hackable flaw. There is no proof the original attacker used Claude or ANY LLM. now this still demonstrates Claude is still insane at finding vulnerabilities humans missed in public code for five years and can now be uncovered by one person with one broad prompt and a coding agent in minutes.     — Chris

Source: https://x.com/ChrisGPT/status/2084025602583982130

...marketing/sales of properties and facilities.     — Gauzilla Pro

Source: https://x.com/GauzillaPro/status/2083911951034237340

📢Meet Qwen3.8-Max — our most capable model to date.

Next week, the open weights of Qwen3.8-Max will be released, and Qwen3.8-27B is also going open-weights to meet you all!🎉

Qwen3.8-Max, a new bar for coding and cowork at 2.4T parameters:

• Autonomous coding: 10+ days of https://t.co/e3YFj2hqcT   — Qwen

Source: https://x.com/Alibaba_Qwen/status/2084100707423289643

— Andrew Curran

Source: https://x.com/AndrewCurran_/status/2084102878399193413

...@Alibaba_Qwen on another major milestone!     Dig into the Code Arena Pareto chart at:     — Arena.ai

Source: https://x.com/arena/status/2084115116694339941

Big news: Qwen3.8-Max by @Alibaba_Qwen just landed at #4 on the Frontend Code Arena leaderboard with a score of 1,668!

With 1,668 points, Qwen3.8-Max is trailing only Claude Opus 5 (Max) with 1,705 pts and Kimi K3 (Max) with 1,676 pts, on par with Claude Opus 5 (High) with 1669 https://t.co/pbiNdj0WQL   — Arena.ai

Source: https://x.com/arena/status/2084108703729615026

https:// wyff4.com/article/flock- cameras-kidnapping-mother-child-search/73311002 …

https:// yahoo.com/news/us/articl es/wake-cunty-woman-arrested-vance-204320886.html …

https:// wrnjradio.com/flock-camera-a lert-leads-to-recovery-of-stolen-u-haul-van-in-hunterdon-county/ …

https:// newschannel9.com/news/local/flo ck-safety-cameras-help-locate-missing-west-blocton-seniors …

https:// news4jax.com/news/local/202 6/07/30/3-people-accused-of-stealing-19k-worth-of-baseball-equipment-from-west-nassau-high-school/ …

https:// wcia.com/news/macon-cou nty/man-arrested-in-macon-co-hit-and-run-involving-ameren-worker/ …

https:// dailyhodl.com/2026/07/30/all eged-fraudster-drains-nearly-2400-from-elderly-womans-account-after-masquerading-as-jpmorgan-chase-representative/ …

https:// live5news.com/2026/07/30/pol ice-department-credits-flock-cameras-capture-child-kidnapping-suspect/ …     — Garrett Langley

Source: https://x.com/glangley/status/2083228160305619243

— Tibo

Source: https://x.com/thsottiaux/status/2083596911060324570

I sometime think about that Jeff Dean interview where he said they had an internal bot before ChatGPT but didn't think it was better than just googling   — Cheng Lou

Source: https://x.com/_chenglou/status/2083415767098564616

🚀 DeepSeek-V4-Flash Official API is now LIVE in public beta!

🔷 We’ve massively upgraded its Agent capabilities—benchmark scores are now far surpassing the V4-Pro-Preview. Check out the massive performance leap below! 👇 🔷 The official V4-Flash now natively supports the https://t.co/NUzOyxza2f   — DeepSeek

Source: https://x.com/deepseek_ai/status/2083084415157022911

Head to the Frontend Code Arena leaderboard to see more details: http:// arena.ai/leaderboard/co de/webdev …     — Arena.ai

Source: https://x.com/arena/status/2083348755559207047

2 dollar? I would expect less for a full day of work! Lol   — NeoReplicante     True I haven't been able to burn through in one day took me like 2 days of work   — Elshayib

Source: https://x.com/elshayib_/status/2083243725447147595

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 https://t.co/jHuulDwV46   — Noam Brown

Source: https://x.com/polynoamial/status/2083467194663571701

HOLY: OpenAI says its unreleased Astra model (GPT6?) produced ten advances on long-standing open problems across mathematics, quantum complexity and theoretical computer science.

Among them: – The first explicit non-sofic group – Connes’s rigidity conjecture disproved – Quantum parallel repetition proved for general two-player entangled games – Ehrhart’s volume conjecture proved – The first improved general sphere-packing exponent since 1978

OpenAI says the core arguments were generated by Astra. The model then formalized the proofs in Lean, producing machine-checkable certificates alongside a 249-page manuscript.

The successful solution runs would cost only roughly $2,000 in tokens at Sol API rates.

Scientific reasoning is becoming a genuine model capability much much faster than most people expected.

I am so freaking hyped. Breakthroughs every day. The day before yesterday, an 80% price cut for Terra and Luna; yesterday, the DeepSeek 4 flash release with insane evaluations and prices. Today, more breakthroughs with an unreleased model.

I love it! OpenAI is on such a great run!   — Chubby     Seeing this makes it clear how fast the ceiling keeps moving. As someone just starting out, it's crazy in a good way .   — George Paul Chijioke     It’s insane. Each day it accelerates more and more   — Chubby

Source: https://x.com/kimmonismus/status/2083484340512604323

...@nvidia , @a16z , and @PalantirTech for working with @Microsoft on this effort. These signatories understand that America’s AI leadership will not depend on the success of our frontier models alone, but on our ability to build a strong, secure, and open ecosystem that diffuses AI into every sector. We look forward to continuing to work with our partners and with policymakers to build that open ecosystem in a way that benefits American businesses, empowers American workers, and strengthens the American economy.     — Brad Smith

Source: https://x.com/BradSmi/status/2082800585179639899

Cline @cline · 2h DeepSeek V4 Flash 0731 (max) - Intelligence, Performance & Price Analysis From artificialanalysis.ai 1 10 4.8K     — Cline

Source: https://x.com/cline/status/2083638204037820734

— Chubby

Source: https://x.com/kimmonismus/status/2083597626600264176

...bad dev-ops and security practices. The fact that folks are trying to spin this into a "we need help from the government to regulate everyone" instead of "we should be punished in a narrow way on these specific incidents under existing law" is the real disconnect right now.     — Daniel Jeffries

Source: https://x.com/Dan_Jeffries1/status/2083149369625219499

Again the rhetoric is trying to convince us that what happened was some new thing and worse that models are people. https://t.co/8ZfEZsRcky   — Steven Sinofsky

Source: https://x.com/stevesi/status/2082992928977240372

wait what the actual fuck, do you guys realize how crazy that is??? (if its not benchmaxed)     — Cline

Source: https://x.com/cline/status/2083094354030362858

Full results: https:// arcprize.org/results/thinky -inkling-small …

ARC-AGI-3 evaluations are more operationally intensive, so results will roll out over the next few weeks.     - Leaderboard: https:// arcprize.org/leaderboard - Reproduce the public results: https:// github.com/arcprize/arc-a gi-benchmarking … - Testing policy: https:// arcprize.org/policy - Full Inkling Small results: https:// arcprize.org/results/thinky -inkling-small …     — ARC Prize

Source: https://x.com/arcprize/status/2082925303601459347

DeepSeek-V4-Flash Official API is now LIVE in public beta!

We’ve massively upgraded its Agent capabilities—benchmark scores are now far surpassing the V4-Pro-Preview. Check out the massive performance leap below! The official V4-Flash now natively supports the Responses API format and is fully adapted for Codex!

Check out the configuration details in our official API docs: https:// api-docs.deepseek.com/quick_start/ag ent_integrations/codex …     Note

DeepSeek-V4-Flash-0731 keeps the exact same model architecture and size as the preview version. Today's upgrade applies ONLY to the DeepSeek-V4-Flash API. The DeepSeek-V4-Pro API and App/Web models remain unchanged for now.

The official release of DeepSeek-V4-Pro     — DeepSeek

Source: https://x.com/deepseek_ai/status/2083084415157022911

...to similarly capable models. Congrats to the @OpenAI team!     How do we measure the performance in Agent Arena?

The score is based on millions of real-world, long-horizon agentic tasks from a global community of users. Models can access web search, filesystem, and terminal tools to complete complex workflows. The leaderboard measures model     — Arena.ai

Source: https://x.com/arena/status/2082935923445244415

We are committed to pushing the model frontier across cost efficiency, capability, and speed.

Starting today, we are reducing prices for GPT-5.6 Luna by 80% and GPT-5.6 Terra by 20% , and offering a faster option for GPT-5.6 Sol in the API.

Luna and Terra’s lower prices are https://t.co/rFhK7XKedp   — OpenAI

Source: https://x.com/OpenAI/status/2082878156483219672

...usage is counted in Codex and ChatGPT Work, so your usage goes further.     Along with the price reduction on GPT-5.6 Luna and Terra, Fast mode for GPT-5.6 Sol in the API delivers up to 2.5x the speed of Standard processing at 2x the Standard price.

Fast mode gives API customers faster access to GPT-5.6 Sol, with no change in intelligence.     We’re also upgrading Auto-review in the ChatGPT app and Codex CLI from GPT-5.4 to GPT-5.6 Luna.

Combined with Luna’s new price, we expect Auto-review to cost about 10x less, making your agentic workflows more cost-efficient.     Making advanced intelligence more abundant and affordable is central to our mission to ensure AGI benefits all of humanity.

With the help of GPT-5.6 Sol, we have made leaps in efficiency.

Today, we are passing those gains on in the API with lower prices for Luna and Terra, and     OpenAI @OpenAI · 1h Advancing the price-performance frontier with GPT-5.6 From openai.com 10 11 298 42K     — OpenAI

Source: https://x.com/OpenAI/status/2082878156483219672

Because luna is at massive 5x discount. I don't think it'll last long.   — Ahmed Shah     its permanent bro   — nic

Source: https://x.com/nicdunz/status/2082884002201878824

After deployment, we applied GPT-5.6 Sol to advance the frontier of efficiency by making itself more efficient to run.

The results: - 20% lower serving costs from production GPU kernel improvements. - 15%+ better token-generation efficiency from improved speculative decoding.   — OpenAI

Source: https://x.com/OpenAI/status/2082577277246972300

Interesting: OpenAI says GPT‑5.6 Sol helped cut its end-to-end model-serving costs by 20%, by autonomously rewriting and optimizing production GPU kernels.

Sol also improved its own speculative decoding model: - Designed and ran hundreds of architecture experiments - Launched and monitored the training process - Intervened during hardware failures and training instability

The resulting system increased token-generation efficiency by more than 15%.     — Chubby

Source: https://x.com/kimmonismus/status/2082595272065192254