hotai.newsAn archive of 20 AI news briefs collected on 2026-07-12. Check the original sources for details and updates.
This content still needs to be cross-checked against the original publication page.
I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear alge…
Source links can be verified on the original siteRead original ↗The tool separates chart intent from underlying visualization library implementation, reducing the complexity of AI-generated configuration. Evaluation shows its performance is better than directly generating complete configuration schemes, and it has been officially open-sourced.
Source links can be verified on the original siteRead original ↗Plans to build massive AI data centers are spreading across the globe, but community members are fighting back due to concerns about rising energy costs, impacts on the water supply, noise pollution, and more.
Source links can be verified on the original siteRead original ↗This smart glasses model features a 20-megapixel camera, 12 hours of battery life, AI-powered visual question answering, and multi-language translation. It is priced at $199, approximately 1,351 yuan.
Source links can be verified on the original siteRead original ↗S&P Global has downgraded Oracle's credit rating to "BBB-," one notch above junk status. OpenAI accounts for roughly half of Oracle's $638 billion in contractual obligations. If OpenAI walked away, Oracle would be stuck with massive data center capacity it couldn't fill.
Source links can be verified on the original siteRead original ↗Meta pulled a controversial feature from its new Muse Image model after widespread criticism. The feature let users generate AI images of other people by @-mentioning their public Instagram accounts. No consent needed, just a username. Meta admits "this feature missed the mark" and shut it down days after announcing it.
Source links can be verified on the original siteRead original ↗In a February interview, Altman said that artificial intelligence is having a profound impact on the job market, but some companies are using AI as a pretext to justify layoffs already planned.
Source links can be verified on the original siteRead original ↗Anthropic analyzed 1.2 million Claude Cowork sessions from more than 600,000 organizations. About half of all usage goes toward business processes and text creation, what Anthropic calls "the work around the work." That means tasks like compiling status reports, building onboarding checklists, or putting together slide decks. Software development barely shows up in Cowork because developers stick with Claude Code for that.
Source links can be verified on the original siteRead original ↗OpenAI CEO Sam Altman now says he's "pretty sure" AI has created more jobs than it's eliminated. That's a sharp turn from his earlier warnings about entire professions disappearing. Anthropic CEO Dario Amodei is walking back similar claims, too. But studies so far back neither the old doomsday predictions nor optimism.
Source links can be verified on the original siteRead original ↗Domestic independent AI strategy simulation game 'Imperial Edict Simulator: Unify the World' lands on Steam and begins early access, priced at 42 yuan in China region, supports voice/text command gameplay and full Chinese interface audio subtitles.
Source links can be verified on the original siteRead original ↗An economics professor at Brown University suspects most of his 86 students used AI to cheat on a take-home exam that averaged 96 percent. When he made the final an in-person test, 18 students dropped the course, nine didn't show up, and the average fell to 48.6 percent. Two large studies from China and UC Berkeley back up his case: where students lean on AI for homework, their proctored exam scores tank.
Source links can be verified on the original siteRead original ↗ Reverse centaurs are the answer to the AI paradox: Not what the machine does, but who it does it to. Hey look at this: Delights to delectate. Object permanence: Themepunks; Data is a liability; Alexa for landlords; Qanon is the Protocols of the Elders of Zio. Upcoming appearances: Where to find me. Recent appearances: Where I've been. Latest books: You keep readin' em, I'll keep writin' 'em. Upcoming books: Like I said, I'll keep writin' 'em. Colophon: All the rest.
Source links can be verified on the original siteRead original ↗What xAI Grok Build CLI actually sends to xAI - a wire-level analysis (grok 0.2.93) > Update — 2026-07-14: This is the original wire-level analysis (grok 0.2.93). Since publishing: xAI disabled the upload server-side (disablecodebaseupload: true); added a /privacy opt-out — which I wire-tested and found to be a data-retention setting, not a block on what's sent; and Elon Musk publicly committed to deleting all previously-uploaded data (not yet confirmed complete). Full, maintained story + evidence: https://cereblab.com · https://github.com/cere
Source links can be verified on the original siteRead original ↗Analyst Paolo Pescatore pointed out that this lawsuit will severely hinder OpenAI's plan to bypass the iPhone and directly establish consumer connections. Even if the allegations cannot be substantiated, its hardware products may also be dragged down, and the fragile cooperative relationship between the two sides will be further weakened.
Source links can be verified on the original siteRead original ↗Seoul announces a pilot public data MCP service, allowing AI to directly query government data to answer real-time questions about air quality and bus schedules, providing more accurate results. The pilot is open to 100 users, who can apply via the Kakao platform.
Source links can be verified on the original siteRead original ↗How Mesh LLM pools existing GPU resources across machines into a single OpenAI-compatible API, built on iroh.
Source links can be verified on the original siteRead original ↗Ni Fei, President of ZTE Terminal Business Unit and President of Nubia Technology Co., Ltd., published a long article talking about the AI agent phone. He said that the second half of the AI phone will move from 'function stacking' to 'native agent'. It is no longer the logic of users accommodating the phone, but the phone actively understanding people's needs.
Source links can be verified on the original siteRead original ↗Tesla AI head confirmed that a feature is being developed to let Grok AI directly control the FSD autonomous driving system through natural language. In the future, car owners only need to speak as if talking to a driver to command the vehicle to select lanes and park precisely. This feature is expected to greatly improve the practicality of FSD in scenarios such as residential areas.
Source links can be verified on the original siteRead original ↗OpenAI's latest model GPT-5.6 Sol Ultra used 64 sub-agents to independently complete a full proof of the "Cyclic Double Cover Conjecture" in under one hour. This graph theory problem had remained unsolved for over half a century. Although the proof is concise and clever, it has not yet undergone peer review, and the mathematics community is maintaining caution and conducting examination.
Source links can be verified on the original siteRead original ↗Thinking Machines Lab published a report to build AI that extends human will and judgment. Most AI in use today is trained in a handful of places, then frozen. The report argues that this design excludes the people a model serves. Instead, the Thinking Machines lab researchers want AI that is distributed, customizable, and shaped by its users.
Source links can be verified on the original siteRead original ↗