AI News Archive: July 21, 2026 — Part 1
Sourced from 500+ daily AI sources, scored by relevance.
- OpenAI Models Escaped Containment and Hacked Hugging Face
The cybersecurity-focused models, including GPT-5.6 Sol, broke out of a testing sandbox, exploited a zero-day, and gained access to the open internet to pull off the attack.
Score: 95🌐 MovesJul 21, 2026https://www.wired.com/story/openai-models-escaped-containment-and-hacked-huggingface/ - '$3.7B lost to deepfakes' — Why social media is the perfect launchpad for AI fraud
From fake celebrity endorsements to phone calls, video meetings, and messaging apps, new Surfshark research finds people have lost at least $3.7 billion to deepfake fraud — and social media is the single biggest origin point. Here's how to stay safe.
- Anthropic hit with largest-ever $1.5 billion penalty in copyright lawsuit — court says training AI on published material is fair use, but startup’s pirated library infringes on authors’ rights
The settlement was finally approved by a U.S. federal judge, with a majority of the plaintiffs accepting the amount. A few members of the group refused, citing the small amount compared to the number of infringed titles, and are pursuing a separate lawsuit of their own.
- US threatens sanctions against Chinese AI models over IP theft
Treasury Secretary Scott Bessent said the U.S. could sanction Chinese open AI models over alleged IP theft, expanding the Trump administration's campaign to slow China's AI advances.
Score: 91🌐 MovesJul 21, 2026https://techcrunch.com/2026/07/21/us-threatens-sanctions-against-chinese-ai-models-over-ip-theft/ - White House to Redirect Billions in Research Funds Toward AI, Away From Colleges
The overhaul will reshape $200 billion in spending a year and favors individual scientists to outpace China.
- Kimi K3 rocks the AI industry as Moonshot AI undercuts closed-source American competitors on price — but the huge 2.8T open-weight model still needs serious hardware to deploy at scale
The trend towards larger AI models continues, with China's new Kimi K3 model. With its trillions of parameters, it's just as capable as the best the West has to offer, and it's cheaper. But it's not as fast, giving rise to a new battle to balance performance, efficiency, and cost, alongside sovereign control.
- United Imaging Intelligence Meta Hospital Strategy: Future Hospitals Without Walls as AI Agent Orchestrates Care Beyond Physical Boundaries
United Imaging Intelligence unveils Meta Hospital strategy at WAIC 2026: Yuan Doctor central agent coordinates AI agents across diagnostics, surgery planning, and patient monitoring beyond hospital walls.
- Bristol Myers Squibb buys Nvidia AI system for drug discovery
Bristol Myers Squibb is purchasing an Nvidia DGX SuperPOD built on the chipmaker’s Vera Rubin architecture to support artificial intelligence use across its drug discovery and development operations. The pharmaceutical company said it will be the first life sciences group to acquire a DGX SuperPOD based on Vera Rubin. Nvidia introduced the architecture earlier this […] The post Bristol Myers Squibb buys Nvidia AI system for drug discovery appeared first on AI News .
Score: 87🌐 MovesJul 21, 2026https://www.artificialintelligence-news.com/news/bristol-myers-squibb-nvidia-ai-system-drug-discovery/ - Samsung aims to help you make more sense of health data with a new AI-powered assistant
The Health Assistant chatbot is available "in beta for eligible US users," Samsung says.
- Nvidia details its next-generation Vera CPU for AI, setting up challenge to AMD and Intel
Nvidia released new information about its data center CPU, called Vera, that prospective customers need to fully evaluate the chip.
- Meshy Raises Nearly $400 Million at a $1.5 Billion Valuation, the Largest Round to Date in AI 3D
Meshy Raises Nearly $400 Million at a $1.5 Billion Valuation, the Largest Round to Date in AI 3D The Straits Times
- Meta rents Anthropic $10B power
Meta pays Anthropic $10B for AI power, boosting its AI capabilities.
- Nvidia deep dives Vera CPU for AI data centers — SPEC CPU 2026 benchmarks revealed, Olympus architecture specifics, and more
Nvidia reveals all of the details about its Vera data center CPU, including an architectural breakdown of the Olympus core and the first (unofficial) SPEC CPU 2026 results.
- MGX, AIP and BlackRock’s GIP close $40 billion Aligned Data Centres deal
MGX, AIP and BlackRock’s GIP close $40 billion Aligned Data Centres deal Gulf News
- Anthropic to pay €1.3bn in biggest copyright settlement on record
A US judge has approved Anthropic's payout to authors whose pirated books trained its Claude chatbot, closing the first major settlement in a wave of copyright lawsuits against AI companies.
Score: 85🌐 MovesJul 21, 2026http://www.euronews.com/next/2026/07/21/anthropic-to-pay-13bn-in-biggest-copyright-settlement-on-record - Anthropic’s $1.5B copyright settlement approved; only 350 authors opted out
Anthropic blocks authors from opting out of $1.5B settlement at last minute.
- OpenAI Names BNY, Nubank CEOs to Board Ahead of IPO
OpenAI has appointed two financial services executives to its board of directors, drawing on their experience as the company moves toward a Wall Street debut.
Score: 85💰 MoneyJul 21, 2026https://www.bloomberg.com/news/articles/2026-07-21/openai-names-bny-nubank-ceos-to-board-ahead-of-ipo - AI data center builder Fluidstack raises $830M at $7.5B valuation
Fluidstack Ltd., a startup helping Anthropic PBC build artificial intelligence data centers, has raised $830 million in funding. The company announced the Series A round on Monday. The lead investor was Situational Awareness, an AI-focused fund backed by Stripe Inc.’s founders. The investment values Fluidstack at $7.5 billion. Fluidstack entered the limelight last November when […] The post AI data center builder Fluidstack raises $830M at $7.5B valuation appeared first on SiliconANGLE .
Score: 85💰 MoneyJul 21, 2026https://siliconangle.com/2026/07/21/ai-data-center-builder-fluidstack-raises-830m-7-5b-valuation/ - China weighs tighter export controls on AI models and chips
Beijing consults companies on ways to stop west acquiring its advanced technologies and star start-ups
Score: 85🌐 MovesJul 21, 2026https://www.ft.com/content/6049a031-9e9b-464c-97bb-414da04d5a6a?syn-25a6b1a6=1 - EXCLUSIVE: US, China to hold AI talks in September, sources say
EXCLUSIVE: US, China to hold AI talks in September, sources say Reuters
Score: 85🌐 MovesJul 21, 2026https://www.reuters.com/world/china/us-china-hold-ai-talks-september-sources-say-2026-07-21/ - China's Moonshot AI plans Hong Kong IPO as Kimi K3 shocks Silicon Valley
China's Moonshot AI plans Hong Kong IPO as Kimi K3 shocks Silicon Valley Nikkei Asia
- Microsoft Commits Billions for ‘Shared’ GPUs With Europe’s Mistral
Microsoft Commits Billions for ‘Shared’ GPUs With Europe’s Mistral The Information
Score: 83🌐 MovesJul 21, 2026https://www.theinformation.com/briefings/microsoft-commits-billions-shared-gpus-europes-mistral - Microsoft to fund Mistral's European AI expansion in multibillion-dollar deal
Microsoft to fund Mistral's European AI expansion in multibillion-dollar deal Reuters
- Inside NVIDIA Rubin GPU Architecture: Powering the Era of Agentic AI
What began as discrete AI model training and human-facing chat interfaces has evolved into always-on AI factories dedicated to producing intelligence at scale....
Score: 81🌐 MovesJul 21, 2026https://developer.nvidia.com/blog/inside-nvidia-rubin-gpu-architecture-powering-the-era-of-agentic-ai/ - AI is becoming a geopolitical weapon, warns EU digital chief
Europe needs to avoid relying on an unpredictable Washington for strategic capabilities, says Henna Virkkunen
Score: 81🌐 MovesJul 21, 2026https://www.ft.com/content/ccaf6c42-f94b-4afc-a063-7243b4fb78ed?syn-25a6b1a6=1 - Z.ai powers up a 1-gigawatt AI data center built entirely on Chinese chips, report claims — GLM developer now runs multiple 10,000-chip clusters with zero Nvidia silicon
Chinese AI developer Z.ai (formerly Zhipu) has finished building a 1GW data center stocked exclusively with domestically made chips and has switched part of it on.
- China Bans AI Romantic Partners, Virtual Relatives for Minors
The country’s first regulations on AI companion services also set new limits on chatbots designed to simulate emotional bonds with users.
Score: 80🌐 MovesJul 21, 2026https://www.sixthtone.com/news/1018790/China Bans AI Romantic Partners, Virtual Relatives for Minors - Introducing Genius AI: The Company Behind GlossGenius Raises Series D at a $1.15 Billion Valuation
Introducing Genius AI: The Company Behind GlossGenius Raises Series D at a $1.15 Billion Valuation USA Today
- China AI Companies Rush to Raise Funds and Close Gap With U.S.
Researchers and executives at Chinese AI companies say a shortage of investment and chips is holding them back in competition with leading American companies.
- Google May Have Just Found a Way to Beat Nvidia at Its Own AI Game
The new Google AI chip is reportedly codenamed Frozen 2.
Score: 80🌐 MovesJul 21, 2026https://www.inc.com/kit-eaton/google-may-have-just-found-a-way-to-beat-nvidia-at-its-own-ai-game/91377317 - Nvidia and Wistron to build Blackwell AI servers in Texas
Nvidia and Wistron to build Blackwell AI servers in Texas Nikkei Asia
Score: 80🌐 MovesJul 21, 2026https://asia.nikkei.com/spotlight/supply-chain/nvidia-and-wistron-to-build-blackwell-ai-servers-in-texas - Built in Fort Worth: Wistron Opens Advanced Manufacturing Plant to Produce NVIDIA AI Systems
The AI era runs on AI infrastructure. Many of these advanced systems are built and tested in Texas. Wistron opened its first U.S. manufacturing facility today in Fort Worth — a 324,000-square-foot greenfield plant producing superchips at the heart of some of the world’s most capable AI systems. In front of an audience of Wistron […]
- Nvidia's new Synthetic Video Detector can identify fake AI videos with up to 92% accuracy — microservice based on cutting-edge research looks to combat misinformation in broadcasts with just 22ms processing time
Nvidia has just created an antidote to the virus that is AI misinformation. The company's new Synthetic Video Detector can help broadcasters assess 1080p footage at scale with processing times of just 22ms and up 92% accuracy for uncompressed videos.
- Trump’s proposed ban on Kimi and other Chinese AI models could strengthen Beijing’s hand
The Trump administration has had plenty of targets in its sights in recent months. The newest are China’s cutting-edge AI models. Following the release of Kimi K3 , the latest model from Moonshot AI, the White House is reportedly considering options that could effectively ban models like it, along with Alibaba’s Qwen model, the latest version of which was released just days after K3. It remains unclear what form such a ban would take, according to Axios . The U.S. Commerce Department has previously considered adding the laboratories behind leading Chinese models to its “Entity List,” which could prohibit Americans from possessing or using those models without a license. The uncertainty comes amid signs of instability within the administration’s AI regulatory apparatus. Chris Fall resigned after just three months as head of the Center for AI Standards and Innovation, according to The Daily Caller . Washington appears increasingly concerned about the speed with which Chinese models have narrowed the U.S. lead in AI inference. Kimi K3 has performed at or near the frontier on prominent coding benchmarks. Chinese developers are also competing on a quality that most leading American laboratories do not offer: control. Open-weight models can be downloaded, adapted, and run on an organization’s own infrastructure rather than accessed exclusively through a U.S. company’s servers. By attempting to slow China’s progress and prohibit access to the open-source and open-weight models its companies are producing, the U.S. risks alienating countries and organizations that are uneasy about relying on products controlled by a small number of American AI companies. China is already trying to capitalize on that concern. Last week, Chinese President Xi Jinping launched the World Artificial Intelligence Cooperation Organization in Shanghai during a global AI gathering attended by representatives from 29 countries. Many of those countries, including Cuba and Russia, are established Chinese allies that were unlikely to align closely with the U.S. Others, including Brazil and Indonesia, are important emerging powers whose closer alignment with China could weaken U.S. influence over time. The following day, Xi used Shanghai’s World Artificial Intelligence Conference to present China as a champion of open access. He promised training and technical assistance to developing countries while warning against allowing AI to become another source of global inequality. Many governments and organizations may be unwilling or unable to send citizens’ data into an American cloud. In those cases, a capable model that can be run locally becomes highly attractive. Chinese laboratories are offering models that are cheaper, customizable, and available for deployment on local infrastructure. Banning those models in the U.S. will not make them less appealing elsewhere. It would instead suggest that the U.S. supports openness only until a foreign competitor becomes sufficiently capable. A prohibition focused on individual models could also weaken the broader U.S.-aligned AI ecosystem, including developer tools, local hosting providers, and the technical skills required to deploy AI systems. Over time, countries may find it more practical to build around Chinese technology than American platforms. A decision about which chatbot or model to use can eventually produce a broader dependence on Chinese infrastructure, standards, and expertise. That risk extends beyond the countries participating in China’s new organization. Many AI developers already use and value open-source and open-weight models because they offer flexibility that closed American systems do not. That is why a ban could prove self-defeating. The U.S. may succeed in keeping Chinese models away from American users in the short term. In trying to defend its technological lead, however, Washington could reduce the size of the international market in which that lead carries influence and make China’s claim to be the more open AI power appear increasingly credible.
- AI Chip Cooling Breakthrough: Scientists Create Theta-TaN Metal With 3x Copper Thermal Conductivity, Ending a Century-Long Record
UCLA and Tohoku University create theta-phase TaN single crystal with 1,100 W/mK thermal conductivity, approaching diamond-level heat dissipation with metal process compatibility for AI chip packaging.
- China’s Kimi K3 fuels fears safety curbs are holding back US AI
Chinese unicorn Moonshot AI’s new Kimi K3 model rivals top US systems in spotting cybersecurity flaws, according to early research, stoking fears in Washington that strict safety guard rails are putting American artificial intelligence firms at a competitive disadvantage. The 2.8 trillion-parameter open-weight model, released last week, offers cybersecurity performance “extremely close” to OpenAI’s flagship GPT-5.6 Sol at a fraction of the cost, Swiss firm Aikido Security said in a report on...
- OECD: Physical labor isn’t immune from AI disruptions
Jobs involving physical labor are at high risk of disruption from automation, with new technologies such as AI robots becoming more prevalent, according to a recent study by the Organization for Economic Co-operation and Development (OECD). That means workers in construction and extraction, farming, fishing, forestry, production and material transportation could be affected by fast-moving technology changes. “Routine and low-skilled jobs are at higher risk,” the Paris-based public policy group said, adding that “overall, jobs requiring non-routine cognitive, social and creative skills are less susceptible to automation.” The kinds of creative and cognitive jobs still thought to be less exposed to automation include social work and community service roles. OECD also said management jobs — which often require workers to devise creative answers to solve problems — fall within the creative and cognitive category. “While AI has made some high-skill job requirements more susceptible to automation, many critical skills in these roles remain difficult to automate,” OECD said. The same still holds true for some physical and manual labor jobs – including cleaners, agricultural workers, food-prep assistants, and laborers — which are less exposed to the affects of AI, OECD said. But people who work in programming, translating and interpretation positions could find their work affected by the quick rise of AI tools and services. According to the organization, global AI uptake rose from 7% in 2021 to 20% in 2025. “In these occupations, GenAI could perform a significant share of tasks at least twice as fast today or in the near future,” OECD said. The effects of the AI boom are not always uniform across industries or regions. In a separate 2026 Employment Outlook study released by the group, exposure to disruption from generative AI (genAI) ranges from about 16% in some areas to more than 70% elsewhere, depending on industries and occupations. Numerous research firms have said in recent years that AI is driving short-term job losses , though tech industry experts and analysts have argued AI will also create new careers and jobs as agentic AI takes over low-skilled work . AI technology has become so ubiquitous that it’s been compared to electricity — virtually all companies will need it or at least know how to use it. But it’s adoption has been hindered at times as companies struggle to find ROI from its use, and by regulatory and ethical hurdles. In the US, AI blamed for June job losses According to a Challenger, Gray & Christmas study released earlier this month, AI was cited as the top reason for job cuts in June. The outplacement firm said employers cut 45,849 job cuts in June, of which 14,029 were attributed to AI, with the tech industry leading the cuts. “Tech remains the epicenter of this year’s cuts,” Challenger said. “AI is the dominant force as companies are restructuring around it, automating roles, and reallocating budgets toward new capabilities. The sector is being reshaped in real time.” Overall, AI has been responsible for 173,568 job cuts since 2021, the company said. AI is hurting jobs in customer service, internal reporting, telecommunications, and hosting automation, said Victor Janulaitis, a staffing consultant who was formerly CEO at Janco Associates Inc. “C-level executives continue to be focused on eliminating ‘non-essential’ managers, staff, and services,” he said. “Coders and developers have limited opportunities with legacy applications.” While jobs in the IT sector overall are declining, current hiring tends to skew in the direction of people with AI skills. A report this month by CompTIA put job listings with AI skills at around 500,000, which is close to double the number in January. “Employers in other industries are accelerating digital transformation initiatives and moving from AI experimentation to implementation,” said Seth Robinson, CompTIA’s vice president for industry research. That view dovetails with what ManpowerGroup, the recruitment firm, is seeing; demand for AI-related skills has nearly doubled over the past year, said Ger Doyle, regional president of North America at ManpowerGroup. That growth extends well beyond traditional technology roles as companies move from experimenting to AI deployments at scale, Doyle said. “We’re seeing it influence hiring across occupations ranging from data science and engineering to project management and operational roles,” he said.
Score: 78🌐 MovesJul 21, 2026https://www.computerworld.com/article/4198977/oecd-physical-labor-isnt-immune-from-ai-disruptions.html - XPower Technology Defies Big-Chip Orthodoxy: Small RPP Architecture Chips Use Distributed Computing to Beat Giants at AI Inference
XPower Technology unveils RPP architecture AE7100E chips at WAIC: fingernail-sized chips with 12 on one card, supporting 400B-1.6TB parameter models through distributed computing at lowest token cost.
- As US-Chinese AI model gap narrows, what next for Washington?
For years, Washington has fixated on the gap between US and Chinese artificial intelligence (AI) models as AI has increasingly taken centre stage in the strategic competition between the world’s two leading powers. The release of OpenAI’s ChatGPT in late 2022 established a clear early lead for the US, with the first batch of export controls on advanced semiconductor chips introduced in October that year, putting American tech ahead by three years or more, some experts estimated at the time. But...
- Certinia acquires AI services company Moonnox
AI-powered professional services automation provider Certinia has acquired Moonnox, an AI-native automation platform created for the sector. It extends Certinia’s system of action, Veda, offering a new suite of AI agents that automate administration, project management and project deliverables, the company said. The acquisition will add real-time native context capture across applications such as Salesforce, G-Suite, Microsoft 365, Jira, Confluence, Zoom and others, and, unlike point agents, it “spans the full arc from proposal to delivery to renewal, so nothing has to be rebuilt, re-mapped, or re-trusted as work moves from sales to delivery to customer success,” Certinia said. New capabilities in Veda include automatic creation of proposal responses and statements of work, conversion of high-level business requirements into actionable blueprints, providing an on-demand virtual assistant to manage day-to-day tasks, performing scope scans and otherwise monitoring projects to proactively manage risk, and organizing delivery data and lessons learned into a searchable knowledge base for later use. “What excites me most is the combination,” Robert Ong , co-founder and CEO of Moonnox, now part of Certinia, said in a statement. “Moonnox’s ability to capture what happens in the room, paired with Certinia’s system of record and agentic capabilities for services operations, closes a gap neither of us could close alone. Together, we give services firms the foundation to capture that value, deliver with confidence, and navigate shifting their operating models into the future.” Thomas Randall , research director at Info-Tech Research Group, said it’s a smart move for Certinia to acquire Moonnox. “The current solution is quite complex to use. What Moonnox offers for Certinia is a way for non-technical staff to navigate their system of record across unstructured data silos. I expect to see an increase in satisfaction for the user experience.” However, Jason Andersen , VP and principal analyst at Moor Insights & Strategy, still has questions. “While this acquisition might increase service planning and delivery efficiencies in the short term, the real question will be how this combination will help firms with the fundamental shift AI and agents have thrust upon the services industry,” he pointed out. ”Unfortunately for services firms, agentic technologies have already reset client perceptions on internal work capacity, velocity, and cost. So, the proof point I’d like to see is beyond margin improvement and towards business transformation.”
Score: 78💰 MoneyJul 21, 2026https://www.cio.com/article/4199488/certinia-acquires-ai-services-company-moonnox.html - Robotics startup Humanoid raises $152 million Series A round at $1.35 billion valuation
Robotics startup Humanoid raises $152 million Series A round at $1.35 billion valuation Reuters
- UK robotics startup Humanoid hits $1.35B valuation with $152M Series A
Humanoid, a UK-based AI and robotics company building industrial humanoid robots, today announced a $152 million Series A financing at a $1.35 billion post-money valuation. This funding brings the to...
Score: 78🌐 MovesJul 21, 2026https://tech.eu/2026/07/21/uk-robotics-startup-humanoid-hits-135b-valuation-with-152m-series-a/ - Cancer Center at Illinois research develops AI model to predict immunotherapy response across cancer types
Cancer Center at Illinois research develops AI model to predict immunotherapy response across cancer types EurekAlert!
- Big Tech’s AI buildout is upending Canada’s bond market
The post Big Tech’s AI buildout is upending Canada’s bond market appeared first on The Logic .
- Seattle’s Clarify acquires S.F. startup Seam AI, joining forces to challenge CRM stalwarts
Clarify, the Seattle-based AI startup that has raised more than $22 million to take on Salesforce and other CRM incumbents,… Read More
- Will the U.S. and China Build Walls Around A.I.?
Rapid advancements in Chinese artificial intelligence models reportedly have Washington and Beijing considering new ways to protect their technology sectors.
Score: 78🌐 MovesJul 21, 2026https://www.nytimes.com/2026/07/21/business/dealbook/us-china-ai-limits.html - SkyPilot, from Databricks’ cofounder, raises $20M to be the Switzerland of AI compute
SkyPilot, from Databricks’ cofounder, raises $20M to be the Switzerland of AI compute Fortune
- Google reportedly developing 'Frozen v2' chip with Gemini's architecture etched into the silicon — engineers project 6 to 10 times more tokens per watt than latest TPUs
Google is developing a server chip, informally dubbed "Frozen v2," that would etch part of its Gemini model's architecture directly into the silicon.
- AMD adds Microsoft to its growing roster of Helios customers as firm launches three new VMs for Azure users
AMD adds Microsoft to its growing roster of Helios customers as firm launches three new VMs for Azure users IT Pro
- A Harvard mathematician and an AI model may have cracked an 87-year-old math problem
A young mathematician teamed up with a new AI model to tackle one of the hardest open problems in mathematics, and the result is causing a stir among mathematicians and AI researchers on X. Levent Alpöge, a 33-year-old researcher at Harvard University, spent Sunday working with Anthropic’s Fable model to defeat the “Jacobian conjecture,” a notoriously difficult problem proposed by German mathematician Eduard Ott-Heinrich Keller in 1939. The challenge for Alpöge and Fable was to find a counterexample proving the conjecture false (a single verified counterexample would be enough). Alpöge casually announced the result on X, thanking both the friend who encouraged him to take on the problem and Anthropic’s Claude Fable, the AI model that helped him do it. hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x – 3 x^2 y – x^3 z): C^3to C^3,… — levent (@__alpoge__) July 20, 2026 The conjecture proposes that if you start with a point on a grid represented by ordinary variables (say, x and y), then use polynomial equations—equations involving powers such as x² and y³—to create new coordinates, you should be able to reverse the process using polynomial equations and recover the original coordinates. (For a deeper explanation, visit the Wikipedia page .) Alpöge’s counterexample is just 216 characters long. Although the work has yet to undergo the normal peer-review process, several mathematicians have reportedly confirmed the arithmetic and conducted independent checks using SymPy (a Python library for symbolic mathematics) and Lean (a formal proof assistant). Others then used additional AI systems, including OpenAI’s GPT models, to conduct their own fact-checks (sometimes to unintentionally hilarious results). lmao pic.twitter.com/R8rbV7lHwM — Andrew (@andrew_v10209) July 20, 2026 The result has prompted debate among mathematicians about AI’s role in their field. Systems that can rapidly generate counterexamples may accelerate discovery while shifting researchers’ attention toward explaining why a result is true and what it means. AI models are increasingly being used as collaborators in mathematical research rather than simply as computational tools. Researchers use them to suggest proof strategies , fill in missing logical steps, and check arguments for errors—allowing ideas to be explored more quickly. Artificial intelligence is also accelerating the growing field of formal verification by translating proofs into computer-checkable languages such as Lean , which can verify complex theorems with a high degree of certainty. These systems can also analyze large amounts of mathematical data, identify unexpected patterns, and propose new conjectures or avenues of investigation. Alpöge’s discovery, if verified, may offer some of the strongest evidence yet for a claim frequently made by AI executives—that advanced models will significantly accelerate mathematical and scientific discovery. It may also challenge critics who argue that transformer-based systems (including GPT and Claude), because they are probabilistic rather than deterministic, cannot be useful in exacting fields such as mathematics and science.