All AI news

AIMistral has released Mistral Large 4, nicknamed Le Chonk, a 1 trillion-parameter model it says can be used and customized by anyone. It is in preview, with a final version due by the end of the month, and is optimized for coding and cyberdefense as well as manufacturing, finance, and electrical engineering tasks. Mistral claims it is the most capable open-weight model developed outside China and says it was trained from scratch rather than through distillation.

AIGoogle says it has watermarked more than 180 billion images and videos, plus 240,000 years of audio, since launching SynthID in 2023. The verification feature is built into Search, the Gemini app, and Chrome, which together handle over 1 million verification requests daily. Google presents the SynthID Detector platform as part of its effort to give users more context about online media.

AIMistral Large 4 scored highest on AutomationBench, a benchmark of 657 business workflows across simulated workplace apps including Gmail, Google Sheets, Slack, and Salesforce. It finished ahead of Kimi K3, MiMo-V2.6-Pro, and DeepSeek V4 Pro.

AIDuck.ai now lets users share a chat through a link that recipients can read, continue, or save without needing an account. The post introduces the feature and promises a thread explaining how the sharing design protects privacy.

AIGoogle says its SynthID detector now supports watermarks from all of its partners and is available to anyone on a new SynthID.com website. Previously, outside users could only check for Google's own watermarks by asking Gemini, and the detector did not flag images from other providers such as ChatGPT.

AIGoogle is making its SynthID Detector available globally in English, letting anyone check whether an image, video, or audio file was made with AI from Google or partners including OpenAI, NVIDIA, Kakao, and soon Apple. The tool joins built-in verification in Search, the Gemini app, and Chrome, which now handle over 1 million requests daily. Google says SynthID has watermarked over 180 billion images and videos and 240,000 years of audio.

Why it matters: The source specifies which vendors' AI media the detector checks, helping readers judge how far the verification covers content they encounter online.

AIOpenAI released 722 mathematical manuscripts in 372 families, produced by an unreleased frontier model, with the average result taking the equivalent of three hours of ChatGPT Pro thinking. The author notes many results are verified in Lean but not all, and suggests mathematics could divide into vast machine-verified work and a compressed human 'effective theory' that people can actually understand.

AIHPE's new ProLiant Gen13 servers are powered by AMD 6th Gen EPYC server processors, as announced by AMD. HPE positions the servers for automatic security, intelligent operations, and higher performance for enterprise AI-era workloads.

AIMeta has added new large language model detection to flag seemingly benign ads that covertly direct people to illegal content, and it now checks where ads lead, not just what they show. The company said it actioned 33.2 million pieces of child sexual exploitation content on Facebook and Instagram from January to June 2026, with over 97% found before anyone reported it.

AINVIDIA reports that fine-tuned Nemotron models reached gold-medal level at both IOI 2026, scoring 535.4 out of 600, and IMO 2026, scoring 30 out of 42. The IOI run was a live, unofficial, unsupervised benchmark, while IMO proofs were graded by official IMO graders. The post also releases checkpoints, datasets, a new 200-problem benchmark, and inference pipelines on Hugging Face and NeMo-Skills.

Why it matters: The post traces how SFT, RL, and a generate-verify-refine loop turned Nemotron into gold-level specialists for IOI and IMO, with the training and inference details shared.

AIDevelopers are running Hermes on devices such as LilyGO watches, AIPI Lite, desk gadgets, and old Android phones after the Hermes Gadget open SDK and demo were released three days ago. The post credits @NousResearch and says more boards are landing on main through contributor PRs, with the SDK available on GitHub.

AIElad Gil posted a brief reaction to the moment, without details. The quoted OpenAI post says the company is releasing a range of new mathematical results produced by an internal frontier model, reviewed with the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence.

AIGoogle introduced Playground, an experimental platform where users can create, play, and share custom games by describing them through text prompts without coding. The platform is browser-based, supports multiplayer and leaderboards in select genres, and launches today for U.S. users aged 18 and older, with creation access rolling out by Google AI subscription tier. A planned integration with Unity Spark will add more advanced 3D and mechanics for dedicated creators, and Unity Spark is currently in testing with a closed beta coming soon.

AIOpenAI is bringing College Planner to ChatGPT for Teens to help students manage college applications. The update also adds flashcards and quizzes, along with a teen AI council.

AIThe main post says the platform is starting to compete for the personal-agent entry point, with a hard fight expected. The quoted post claims Grok bot will use the best model for each task, drawing on Grok 4.7 or 4.6 and external services such as Opus 5.5, Midjourney, and Suno to build content or execute tasks.

AIDeepal Automobile officially announced the 2027 Deepal L06, positioned as a long-range magnetorheological AI sedan equipped with two "lobsters," namely an AI Agent and an AI Box. Chairman Deng Chenghao said the two systems let owners state their intent in a single sentence, though no launch date has been disclosed.

AIElon Musk said the Grok bot will now use the best back-end model for each task, including Claude Opus 5.5, Midjourney, Suno, and other leading APIs. The aim is to deliver whatever is most likely to produce the best outcome, not just Grok 4.7 or 4.6.

AIOpenAI's Dots, an always-on AI agent accessed through ChatGPT, can run recurring tasks and message users proactively, with the company offering it behind a $100-a-month subscription. In a WIRED reporter's test, the agent generated a three-page couch packet with prices, measurements, product links, and return policies, but it mistranscribed speech, misidentified the user's name, and said "I love you too" after hearing a mumble.

AIOpenAI announced hundreds of mathematical breakthroughs, weeks after claiming it had solved one of the most complicated problems in mathematics. The findings raised questions about whether the model used creative thinking or only completed the final steps of human work. Experts say AI could be revolutionary for mathematics if it provides proofs, since proof techniques often underpin other breakthroughs.

AIWhat I like the most about this new architect is its ability to proactively look for improvements and come back with a drafted proposal that’s already validated. Think about that for a second. The architect looks at your agents, how they work, their conversations, and comes back to you with a plan to make them better.

AIElon Musk says SpaceX will use the best back-end model for each task on Grok Bot, including Claude Opus 5.5, MidJourney, Suno, and other leading APIs. Matt Shumer calls this extremely good news for bot users.

AIAi2 has published its Bolmo byte-level language model research in Nature and released new checkpoints on Hugging Face. The byteifying process converts an existing subword model into a byte-level one with a relatively short additional training run, and the paper reports that it also works for Qwen 3 8B and Llama 3 8B, producing Bwen 8B and Blama 8B. Ai2 also released Stage 1 checkpoints for researchers extending the architecture.

AIElon Musk said SpaceX will use the best back-end model for each task, including Claude Opus 5.5, Midjourney, and Suno, for Grok's responses. The main post from Max Zeff only says "Interesting," so the summary is limited to Musk's stated routing plan.

AIElon Musk says SpaceX will use the best back-end model for each task, including Claude Opus 5.5, Midjourney, Suno, and other leading APIs. The main post is only an eye emoji, so its own content adds nothing beyond the quoted note about Grok's routing.

AIGrok Bot will now use the best backend model for each task, including Claude Opus 5.5, MidJourney, Suno, and other leading APIs. The change is framed as choosing whatever is most likely to produce the best outcome for users.

AIRadisson Hotel Group partnered with Accenture to build a ChatGPT plugin using OpenAI technology. The plugin helps travelers find, compare, and book hotels while planning their trips.

AIMeta has open-sourced Rebalancer, a C++ library with a Python interface for solving assignment problems under constraints and objectives, released under Apache 2.0. The article reports that Meta has used it for resource allocation for over 9 years and runs about 40 million problems a day, with P99 solve time of 12 seconds on 265k objects and 3.2k bins. The package can be installed with pip install rebalancer, though PyPI still classifies it as Alpha.