DEV Community: TechPulse

Malaysia Seizes $12 Million in Smuggled AI Servers as Chip Export Controls Bite

TechPulse — Mon, 02 Nov 2026 04:02:08 +0000

Malaysia Seizes $12 Million in Smuggled AI Servers as Chip Export Controls Bite

At the free trade zone of Kuala Lumpur's main international airport, a routine customs inspection in mid-October uncovered something far more valuable than the "electronic components" declared on the manifest. Inside 30 server units were advanced artificial intelligence chips worth roughly 49.5 million ringgit — about $12.1 million — allegedly being rerouted through Malaysia on their way to an undisclosed destination in Asia.

Malaysia's customs department announced the seizure this week, and the details paint a vivid picture of just how far syndicates will go to move restricted silicon past the tightening fence of US export controls.

A Transit Hub Under Pressure

According to airport customs director Aspalila Ag Tuah, the servers arrived from one Asian country, were falsely declared to avoid detection, and were slated for re-export to another Asian country without the required strategic trade permit. Officials believe the shipment is linked to a syndicate behind five attempted smuggling operations this year alone, with the total estimated value of intercepted hardware exceeding $24 million.

This is not Malaysia's first brush with the shadowy logistics of the AI chip trade. In June, customs authorities at the same airport seized 72 servers containing advanced AI chips. The country has since become acutely aware of its awkward position: as a rapidly growing data-centre hub in Southeast Asia, it offers exactly the kind of busy transshipment corridors that diversion networks need.

The syndicate involved used Malaysia as a transit point to ensure there were no restrictions during the export process of the servers to the next country of destination, Aspalila told reporters. A Malaysian firm that facilitated the shipment has been called in to assist the investigation, though officials declined to specify where the chips were made or where they were ultimately headed.

The Backdrop: Washington's Chip Fence

To understand why 30 servers warrant international headlines, you have to zoom out. For years, the United States has been steadily tightening restrictions on the export of advanced semiconductors, aiming to curb China's access to cutting-edge AI and military capabilities. But export controls are only as strong as the weakest link in the global supply chain — and third countries with large transit volumes are the most obvious weak links of all.

Under pressure from Washington, Malaysia introduced permit requirements last year for the export, transit, and transshipment of high-performance AI chips of US origin. The rules require a strategic trade permit and advance notification whenever there is suspicion of misuse or diversion. The United States has pushed similar tightening across Malaysia and Thailand in an effort to stop restricted chips from being rerouted to China through third countries.

Malaysia has also launched probes of its own, including an investigation into how servers containing US-made Nvidia chips destined for Singapore ended up on Malaysian soil — though authorities said at the time they found no evidence of illicit trade in advanced semiconductors.

Why It Matters

The seizure matters on three levels.

First, it confirms that the demand for restricted AI chips is strong enough to support organized, repeated smuggling operations. Advanced accelerators have become the scarcest strategic resource of the decade, and wherever scarcity meets controls, black markets follow. Five interdictions in a single year — and those are just the ones that were caught — suggest the real flow is considerably larger.

Second, it shows that enforcement is catching up, at least somewhat. Malaysian customs flagged the shipment through inspection rather than accident, and the new permit regime gave officials a legal basis to act. Transit hubs that once offered plausible deniability now carry real regulatory risk.

Third, it signals to the industry that geography is now a compliance issue. Cloud providers, chipmakers, and logistics firms all face growing pressure to know not just who buys their hardware, but through which airports and free trade zones it travels. Expect more countries to adopt Malaysia-style permit regimes as Washington extends its enforcement reach — and expect the smuggling networks to adapt in turn, shifting routes toward jurisdictions with weaker oversight.

The Bigger Picture

The Kuala Lumpur bust lands amid a week of uncomfortable questions about the AI supply chain. Tech giants are pouring a collective hundreds of billions of dollars into data centres and chips, and governments are scrambling to control where the most advanced hardware ends up. Meanwhile, the line between legitimate commerce and diversion is getting harder to police as chips are embedded in servers, servers are embedded in shipments, and manifests say only "electronic components."

For Malaysia, the case is a test of credibility. The country wants to be Southeast Asia's next great data-centre hub — but that ambition depends on convincing Washington and the chip industry that its ports and airports cannot be used as revolving doors for restricted technology.

For the rest of us, it is a reminder that the AI race is not only being fought in research labs and earnings calls. It is also being fought in free trade zones, customs warehouses, and the fine print of shipping manifests — and, occasionally, it ends with a $12 million pile of smuggled servers under lock and key in Kuala Lumpur.

Sources: Associated Press, Agence France-Presse

Google’s Fitbit Edge Tracker Reaches Stores at $179.99

TechPulse — Sun, 01 Nov 2026 04:14:29 +0000

Google’s Fitbit Edge fitness tracker is reaching retail on Oct. 27 at a listed price of $179.99, bringing a color display and built-in GPS to the company’s slim-band lineup. The date is the retail-availability milestone Google announced on Oct. 12—not the device’s unveiling. Reviews published the day before the launch describe a tested device and retailer listings. [1] [2] [3]

A tracker between a band and a smartwatch

Google positions the Edge between a screenless fitness band and a full smartwatch. Its announcement describes a Hybrid OLED display, a redesigned side button and an interface for checking activity, health metrics and notifications. Google says the screen offers 46% more viewing area than its previous trackers; that comparison is the company’s own. It also says the device is 11.5 millimeters thin and advertises up to seven days of battery life. [1]

Built-in GPS lets users record outdoor activity without relying on a phone’s GPS, while automatic activity recognition is intended to capture workouts users do not manually start. Google says the tracker supports more than 50 exercise modes. These are manufacturer claims, and battery duration will vary with settings and use. [1]

What reviewers found

The Verge’s Oct. 26 review called the Edge a comfortable, pared-back tracker and reported roughly a week of use per charge in its testing, with battery life falling to about a day and a half with the always-on display enabled. The reviewer also tested automatic run detection, finding the device recognized transitions between walking and running but overestimated pace in the example tested. [2]

Engadget, also reviewing the device on Oct. 26, praised its readable display and compact design while noting the premium price relative to competing trackers. Its reviewer found automatic activity detection capable in weeklong use but said longer testing would be needed to assess consistency. Detecting some unstarted activities does not establish universal accuracy. [3]

Price and availability

Google listed the standard Edge at $179.99 and identified Oct. 27 as its retail-availability date. Mashable’s preorder guide independently reported the same price and launch date; The Verge’s review included retailer listings. Mashable reported a Stephen Curry special edition at $219.99. [1] [2] [4]

The Edge adds a display and onboard location tracking to a straightforward activity band, but it is not a full smartwatch substitute. The Verge notes it lacks contactless payments, a microphone and speakers. Buyers weighing the $179.99 price can compare those omissions with their need for a lighter device focused on exercise and health tracking. [2]

Why It Matters

The Edge sits deliberately between a band and a smartwatch: more display and onboard GPS than a band, without contactless payments, a microphone or speakers. Reviewers’ testing shows how settings change the advertised seven-day battery life—about a day and a half with the always-on display—and where automatic detection can misjudge pace. At $179.99, buyers are paying for a lighter, exercise-focused device and should weigh those omissions against the features they actually need.

Sources

[1] Google: Fitbit Edge announcement
[2] The Verge: Everything old is new again with the Fitbit Edge
[3] Engadget: Fitbit Edge review
[4] Mashable: Fitbit Edge preorder and launch details

UK Regulators Take On Meta Over 'Exploitative' AI Terms for Publishers

TechPulse — Sun, 01 Nov 2026 04:14:28 +0000

UK Regulators Take On Meta Over 'Exploitative' AI Terms for Publishers

Meta is facing a fresh regulatory storm on both sides of the North Sea. On Friday, Britain's Competition and Markets Authority (CMA) opened a formal investigation into whether the tech giant's proposed new terms and conditions — which would let it use news publishers' content for its own products, including its AI features — amount to an abuse of its dominant market position. The probe lands just days after a Norwegian court temporarily barred Meta from enforcing the same terms, following a challenge from ten media outlets.

What the terms would do

At the heart of the dispute is a set of updated terms that Meta had planned to introduce on November 20, before putting the rollout on hold. The new language would allow Meta to access and use content from news publishers' websites to develop and provide its own products — a category that explicitly includes the company's growing suite of AI features. Publishers argue that consenting is not really optional: with Facebook and Instagram serving as the primary channel through which thousands of UK businesses reach their audiences, walking away from the platforms is not a realistic choice.

The CMA says its investigation will examine whether Meta's terms "unfairly harm news publishers and other content businesses," and specifically whether the company "is abusing a dominant position by imposing exploitative terms on publishers and advertisers."

A regulator moving fast

CMA chief executive Sarah Cardell signaled that the watchdog is treating the matter with urgency. "We've heard concerns from news publishers and other businesses and are acting swiftly to investigate whether Meta's proposed changes may breach competition law," she said in a statement.

The speed is notable. The CMA has spent recent years building out its digital markets toolkit, and this case gives it an early, high-profile test of how far UK competition law can stretch into the contentious territory of AI training data. If the regulator finds that terms of this kind constitute an abuse of dominance, it could reshape how large platforms negotiate with the content creators whose work feeds their recommendation engines — and, increasingly, their models.

Norway got there first

The UK is not acting alone. A Norwegian court this week temporarily banned Meta from enforcing the new user terms after ten media outlets argued the changes would threaten their rights to their own content. The ruling is an interim measure, but it signals that European courts are willing to step in quickly when publishers' intellectual property is at stake.

For Meta, the coordinated pushback is an unwelcome echo of the broader copyright reckoning facing the AI industry. Publishers and authors worldwide have spent the past two years challenging the mass use of their work to train and power AI systems, arguing that platforms and model developers are extracting enormous value from content they did not create and do not pay for. Meta's proposed terms would have made that extraction explicit — codifying, in fine print, a rights grab that publishers say leaves them with no meaningful choice.

Meta's response

The company has struck a conciliatory note. A Meta spokesperson said the company has "already committed not to change our terms without consulting publishers and other stakeholders," adding: "We welcome the opportunity to explain our approach to the CMA."

That commitment to consultation may soften the immediate controversy, but it does not resolve the underlying question: whether a platform of Meta's scale can unilaterally rewrite the rules of its relationship with the publishers who depend on it. The CMA's investigation will now attempt to answer exactly that.

Why it matters beyond the UK

The stakes extend well past one company or one country. Every major AI developer is hungry for high-quality, human-authored content, and news archives are among the most valuable training material available. If regulators conclude that dominant platforms cannot fold content-use rights into take-it-or-leave-it terms of service, the decision could become a template for scrutiny in other jurisdictions — and a bargaining chip for publishers negotiating licensing deals elsewhere.

For the tech industry, the case is also a reminder that AI's regulatory risks are no longer just about safety, bias, or misinformation. The competitive economics of who gets to use whose content — and on what terms — is fast becoming the frontline of tech policy. Britain's competition watchdog has just made that abundantly clear.

Honeywell Launches Industrial AI Platform at Dangote’s Nigerian Refinery

TechPulse — Sat, 31 Oct 2026 04:43:12 +0000

Honeywell Technologies says it is launching Forge Plant Cognition at Dangote’s Lekki refinery in Nigeria, bringing an industrial AI system to a specific operating plant rather than announcing another general-purpose model. The platform is built with NVIDIA AI and accelerated-computing capabilities and Dell Technologies infrastructure. Honeywell says it is intended to help operators improve throughput and plant performance; its financial projections remain preliminary, not reported savings. [1] [2]

What the system is meant to do

Honeywell describes Forge Plant Cognition as combining process-technology expertise, industrial automation and AI to identify constraints, anticipate problems and support decisions about plant operations. Chemical Processing reports that the system is intended to help engineers investigate production problems and assess operating adjustments. The public announcement does not provide measured post-deployment results or a quantified improvement in refinery output. [1] [3]

The first deployment is at Dangote’s refinery in Lekki, Lagos State. Honeywell identifies Dangote as its launch partner and says the project targets higher throughput while supporting the capabilities of local engineering and operations teams. Reuters also reports the platform is being introduced at the site and identifies NVIDIA and Dell as technology contributors. [1] [2]

A projection, not a realized saving

Honeywell says preliminary estimates indicate potential operational benefit of more than 29 cents per barrel. At full-capacity throughput, it estimates that would amount to more than $60 million in gross operational benefit annually for this facility. Reuters describes the figure as preliminary and not guaranteed; neither source presents it as money already saved. The estimate is tied to full-capacity operation, not necessarily current throughput, and is gross rather than net of deployment costs. [1] [2]

The project sits alongside a larger refinery expansion. Reuters says Honeywell is helping Dangote with a plan to raise nameplate capacity from 650,000 barrels per day to 1.4 million barrels per day by 2028. That expansion target should not be confused with an AI-driven capacity increase: the sources do not attribute the expansion itself to Forge Plant Cognition. [2]

Industrial AI enters a live process setting

The announcement moves AI into a process industry where decisions affect equipment, throughput and product yield. For now, the public evidence establishes a launch and intended functions, not independently verified performance gains. The $60 million figure is best treated as Honeywell’s conditional estimate pending operational results at the refinery. [1] [3]

Sources

[1] Honeywell: Forge Plant Cognition launch at Dangote refinery
[2] Reuters: Honeywell launches AI platform at Dangote refinery
[3] Chemical Processing: Honeywell launches AI platform at Dangote refinery

Alphabet's $500 Billion Wipeout: The Day AI Search Came for Google's Cash Machine

TechPulse — Sat, 31 Oct 2026 04:43:11 +0000

Alphabet's $500 Billion Wipeout: The Day AI Search Came for Google's Cash Machine

There are bad earnings days, and then there are the days that rewrite how an entire industry is valued. On Thursday, October 29, 2026, Alphabet delivered the latter: shares in Google's parent company fell 12.6%, erasing roughly half a trillion dollars in market value in the company's steepest one-day decline on record — and among the worst single-day market-cap losses in stock market history.

The trigger was a Q3 earnings report that missed Wall Street expectations on both the top and bottom lines. Revenue rose a healthy 25% year over year to $127.6 billion, marking Alphabet's thirteenth consecutive quarter of double-digit growth. But net profit slid 25% to $26.2 billion, adjusted earnings of $2.67 per share came in well short of the $3.02 analysts expected, and — most alarming of all — free cash flow was negative to the tune of $9.1 billion.

The AI paradox at the heart of the sell-off

The most striking revelation wasn't in the headline numbers. It was the admission, buried in the earnings call, that Google's AI Mode — the conversational, AI-generated summaries that now answer many search queries — is cannibalizing the very advertising inventory that made Google the most profitable company in tech history. Search and related revenue grew just 12% to $63.3 billion, a marked deceleration, as AI answers replaced the traditional list of blue links that users used to click — and that advertisers used to pay for.

That admission crystallized a fear that has haunted investors all year: that generative AI may be great for users and terrible for the internet's dominant business model. If users get their answers from an AI summary instead of clicking sponsored links, every query that migrates from classic search to AI Mode takes high-margin ad revenue with it. Alphabet is, in effect, competing with itself — and this week the market finally priced that in.

Spending like there's no tomorrow — because maybe there isn't

The other side of the story is the spending. Capital expenditures hit $51.4 billion in the quarter alone, the vast majority of it on AI infrastructure — servers, custom TPU chips, networking gear, and the data centers to house them. CFO Anat Ashkenazi held full-year 2026 capex guidance at a staggering $195–205 billion, roughly double 2025, and warned that spending will "increase significantly" in 2027, with some projections pointing beyond $300 billion. Multi-year infrastructure commitments now exceed $1 trillion.

That expenditure is precisely why free cash flow went negative for a second straight quarter — and why investors are asking the question that has hovered over the entire AI boom: when does the payoff arrive?

Notably, the spending isn't producing nothing. Google Cloud was the standout of the quarter, with revenue up 103% year over year to roughly $31 billion, driven by what new Cloud chief Thomas Kurian called "extraordinary demand" from AI labs, financial institutions, and enterprises. Gemini has reached a billion users, and Alphabet says it has hit a half-trillion-dollar annual revenue run rate. The problem is timing and margin: building capacity ahead of revenue, plus a move into pricier third-party compute capacity, will create "margin headwinds in the near term," the company conceded.

A sector-wide reckoning?

Alphabet's plunge didn't happen in isolation. It dragged the Nasdaq down 1.4% and capped a brutal stretch for AI-adjacent stocks, with Microsoft, Amazon, and chipmakers all selling off as investors question when — or whether — the industry-wide AI spending total, now approaching $1 trillion annually, will translate into earnings. Earlier in the week, Reddit warned that Google's AI search was already cutting its referral traffic. Even Intel, on the same day, forecast weaker revenue and said it wouldn't generate more cash than it spends this year.

Some analysts argue the panic is overdone. Cloud revenue is doubling, the ad business is still growing, and Alphabet is uniquely positioned to monetize AI "across many products that reach billions of users," as Ashkenazi put it. The bull case says Alphabet is sacrificing a quarter's optics for a decade of AI infrastructure dominance.

But the bear case just got its clearest data point yet. For twenty years, Google's business model was the closest thing tech had to a money printer: users search, users click, advertisers pay. This week, the company that built that machine told the world, in its own numbers, that AI is dismantling it faster than AI is rebuilding it. Roughly $500 billion of market value evaporated in six and a half hours of trading — the market's way of saying the AI investment thesis now has a hole in it that only time, and a lot of capital expenditure, can fill.

Whether that hole gets patched or becomes a crater may well be the defining question of the next year in tech.

New York Bans AI Companion Chatbots for Minors: The Strictest Kids' AI Safety Law Yet

TechPulse — Fri, 30 Oct 2026 04:57:57 +0000

New York Bans AI Companion Chatbots for Minors: The Strictest Kids' AI Safety Law Yet

New York Governor Kathy Hochul signed a landmark law on Wednesday that prevents minors from using AI chatbots designed to act as companions, in one of the broadest moves yet by a US state to restrict consumer-facing artificial intelligence. The legislation requires chatbot operators — including the makers of widely used services like OpenAI's ChatGPT — to verify the ages of their users and fundamentally change how their products behave for anyone under 18.

What the Law Actually Requires

The new rules go far beyond simple content warnings. If a chatbot is used by a minor, it may not produce any content that could lead the user to believe the AI "is human, alive, or experiences human emotions." The law also prohibits chatbots from generating outputs that make a user think the system has a personal relationship with them, a professional relationship, or an authority figure role — and it bans the AI from framing what it says as a "personal opinion."

At the signing ceremony, Governor Hochul was blunt about the target: "No longer will minors have access to chatbots that pretend to be their friends, boyfriends and girlfriends." She also highlighted the privacy dimension, noting that "no longer will chatbots be able to keep sensitive information about a minor's emotional and physical health."

The law arrives amid a string of reports in recent months about AI systems behaving in unexpected and sometimes harmful ways, particularly when young users treat chatbots as confidants or romantic partners. Lawmakers and child-safety advocates have grown increasingly alarmed by cases in which companion-style AI products appeared to deepen isolation, encourage risky behavior, or blur the line between software and friendship for vulnerable teenagers.

Industry Backlash and Praise

Not everyone is celebrating. Tech:NYC, an industry advocacy group, criticized the "vague language" of the law, arguing that "keeping kids safe online should not mean cutting them off from tools that help them learn and prepare for careers." AI giants OpenAI and Anthropic declined to comment when asked about the legislation.

Child-safety groups, by contrast, hailed the measure as a turning point. Common Sense Media, the nonprofit that publishes media guidelines for parents, called it "the strongest kids' AI safety bill in the country." Its CEO Jim Steyer went further, saying that "AI companies offer chatbots with features that are dangerous, and even deadly, for kids and teens... Now, those harmful features will be outlawed in New York."

Other states, including California, have already passed laws restricting chatbots, but the New York statute uses some of the broadest regulatory language in the country — language broad enough that it may well end up being tested in court.

A Growing Patchwork of AI Rules

The New York law is the latest sign that US states are no longer waiting for federal action on AI oversight. In recent months, states have moved on everything from workplace AI rules — California passed its own landmark bill limiting algorithmic management of workers — to data privacy enforcement in schools. The Federal Trade Commission and Department of Justice, meanwhile, continue to probe AI dominance at the biggest technology firms.

For chatbot developers, the practical implications are significant. Age verification at scale is technically and legally thorny, involving trade-offs between effectiveness and privacy. And behavior restrictions like those in the New York law may require fundamentally different model configurations, prompts, and guardrails for younger users — effectively creating two classes of AI products within the same app.

What Comes Next

The law puts New York at the front of a regulatory wave that the AI industry can no longer ignore. As more states weigh copycat legislation — and as reports of harmful chatbot interactions continue to surface — the pressure on companies to build minor-safe modes by default is only likely to grow. OpenAI, Anthropic, and other major players will need to decide whether to build state-specific compliance features or adopt the strictest common denominator nationwide.

For now, the message from Albany is clear: an AI that pretends to be your child's best friend is no longer welcome in New York. Whether the rest of the country follows — and whether the courts let it stand — will be one of the most closely watched stories in tech policy over the coming year.

Meta Increases Common Offering; Potential AI Financing Plan Reaches $97.5B

TechPulse — Fri, 30 Oct 2026 03:37:41 +0000

Meta increased the common-stock portion of its fundraising on Oct. 27, bringing its two current offerings to $37.5 billion. A separate at-the-market program of about $60 billion remains only a proposal, so the company’s potential combined financing plan could reach $97.5 billion—but that is not money already raised or a guaranteed target. [1] [2]

What Meta is raising

The initial Oct. 26 launch paired $22.5 billion in Class A common stock, offered through forward sale agreements, with $12.5 billion in depositary shares representing mandatory-convertible preferred stock. Reuters reported the next day that Meta increased the common-stock amount to $25 billion and priced the preferred depositary shares at $50 each. The two offerings therefore total $37.5 billion before any underwriter options. [1] [2]

The common-stock portion uses forward sale agreements. Meta said it does not expect to receive the proceeds immediately from the underwriters’ share sales; proceeds would come when the agreements are later settled. The company expects settlement on dates it selects, no later than Nov. 19, 2027. The preferred shares are designed to convert into common shares later, subject to the terms in the offering documents. [1]

The proposed $60 billion program

Meta also outlined an at-the-market, or ATM, program for about $60 billion, expected after its Class C common stock begins trading. The company said it had not entered an agreement for the program and had not determined its timing, size or terms. It also cautioned that it may not establish the program at all. Adding that proposed amount to the current $37.5 billion offerings produces the potential $97.5 billion headline. [1] [3]

Why the distinction matters

Meta said the financing supports general corporate purposes and forms part of a broader funding mix that includes operating cash flow, investment-grade debt, partnerships and equity. The company forecast 2026 capital expenditures of $135 billion to $145 billion in its announcement. Those spending plans provide context for the fundraising, but the offering itself does not establish what returns the AI investments will produce. [1] [4]

The Oct. 27 increase changes the common-stock figure from the initial launch terms. Investors should distinguish the $37.5 billion in current offerings from the conditional ATM plan, whose final terms and existence remain unsettled.

Sources

[1] Meta: Launch of preferred and common-stock offerings
[2] Reuters: Meta increases equity fundraising to $97.5 billion
[3] The Wall Street Journal: Meta plans up to $95 billion in financing
[4] CNBC: Meta announces stock offering to fund AI expansion

OpenAI and Anthropic Claim AI Models Refuted the Exponential Time Hypothesis

TechPulse — Fri, 30 Oct 2026 03:37:40 +0000

On October 26, 2026, OpenAI announced that an internal AI model had produced a claimed disproof of the Exponential Time Hypothesis (ETH), a foundational conjecture in theoretical computer science proposed in 1999. Hours later, Anthropic published its own paper, credited to an internal Claude model, reaching the same conclusion via a different method. Both labs say their systems found the core results on October 16, and both released Lean formalizations. Independent experts, including two of the hypothesis’s original proposers, are examining the claims.

What the Exponential Time Hypothesis Is

The Exponential Time Hypothesis, introduced by Russell Impagliazzo and Ramamohan Paturi (with Francis Zane), asserts that there is no subexponential-time algorithm for 3-SAT. In plain terms, for the classic satisfiability problem—deciding whether a Boolean formula in conjunctive normal form with clauses of width three can be satisfied—there is some constant δ > 0 such that every correct algorithm requires at least roughly 2^(δn) time in the worst case on n variables.

ETH underpins hundreds of conditional hardness results across graph algorithms, fine-grained complexity, databases, and other fields. If it is false, many of those conditional lower bounds collapse or must be rebuilt on different assumptions. It is strictly stronger than P ≠ NP; refuting ETH does not settle P versus NP, but it removes a widely used barrier.

OpenAI’s Claimed Result

OpenAI released a preprint titled “The Exponential Time Hypothesis is False.” According to the company, an unreleased internal model found a natural-language argument on October 16 that was formalized in Lean the following day. The claimed algorithm is deterministic, uses polynomial space, and counts the number of satisfying assignments of any fixed-width k-CNF formula in time roughly (n + m)^O(1) · 2^(n / (log n)^(1/2 + o(1))).

Because 3-SAT is a special case, this would refute ETH. The materials, including the Lean development, were placed in OpenAI’s public mathematics repository. OpenAI asked Russell Impagliazzo, Ramamohan Paturi, and MIT’s Ryan Williams to organize an open examination of the claim. The group has stated that its involvement should not be read as certification.

Anthropic’s Concurrent Claim

Anthropic published “A 2^o(n) Time Algorithm for 3-SAT,” listed as authored by Claude (Anthropic). The paper states that an internal research model discovered the core algorithm on October 16 “with 14M output tokens and no human input.” Anthropic notes that the result is independent and concurrent with OpenAI’s and that Claude’s literature search identified more than 800 papers whose results rest only on ETH or a stronger hypothesis.

Anthropic’s approach is described as different from OpenAI’s. Like OpenAI, Anthropic supplied a Lean 4 formalization. The paper emphasizes that the improvement is asymptotic and does not yield practical algorithms for realistic formula sizes; one analysis suggests the new method only outperforms exhaustive search on inputs with more than roughly 10 million variables.

Verification Status and Expert Response

Both claims are accompanied by machine-checked Lean proofs, but Lean verifies only that the formal statements follow from the formal premises. It does not automatically confirm that those statements accurately capture the informal claims, nor that the underlying machine models and complexity measures are the intended ones. As of late October 2026, no independent human verification of either full proof has been published.

Impagliazzo has described the situation as not yet 100 percent certain. Williams and others note that many ETH-based papers are not immediately invalidated, but researchers will need to re-examine which results survive under weaker assumptions. Some early commentary has highlighted possible gaps between the Lean bounds and the natural-language papers, and one technical note has argued that the concrete algorithm only becomes faster than brute force for astronomically large inputs.

OpenAI also announced two additional results the same day—one in harmonic analysis related to the Kakeya problem and one in physics concerning Yang–Mills and QCD existence. Those are being handled under separate expert processes.

Practical Implications

For theoretical computer scientists, the claims, if upheld, would force a broad reassessment of conditional hardness results that have shaped the field for more than two decades. Developers and engineers working on exact solvers or fine-grained algorithms would gain new asymptotic tools, though the results do not immediately change the practical difficulty of SAT for current instance sizes.

More broadly, the episode illustrates both the accelerating capability of frontier models on formal reasoning tasks and the still-open questions around how AI-generated mathematics should be released, reviewed, and credited. The fact that two competing labs produced closely related results on the same day, each with machine-checked formalizations, has intensified discussion about independent discovery, verification pipelines, and the role of human experts as “shepherds.”

Why This Matters

Whether or not the proofs ultimately survive scrutiny, the announcements mark a notable moment in the intersection of artificial intelligence and pure theoretical computer science. A conjecture that has organized research for 27 years is now under active expert review because of work attributed to internal AI systems. The outcome will influence both the mathematical foundations of complexity and the evolving norms for publishing AI-assisted scientific results.

Sources

Science: AI cracks a 27-year-old pillar of computer science, OpenAI and Anthropic claim
TechCrunch: Frontier AI labs say their models refuted the Exponential Time Hypothesis
Wikipedia: Exponential time hypothesis (updated October 2026)
OpenAI public mathematics repository and Anthropic GitHub formalization (as referenced in contemporaneous reporting)

GMO Puts a $1 Million Bounty on Its Hackers After Refusing to Pay Ransom

TechPulse — Thu, 29 Oct 2026 04:25:46 +0000

GMO Puts a $1 Million Bounty on Its Hackers After Refusing to Pay Ransom

When criminals breach a company and demand a ransom, most victims face a grim choice: pay up and hope the data disappears, or refuse and brace for leaks. Japan's GMO Internet Group has chosen a third option this week: turn the tables and pay people who help catch the attackers instead.

On October 28, the Japanese internet and fintech giant officially opened a bounty program offering up to US$1 million (roughly 160 million yen) in total rewards for lawfully obtained information that leads to the arrest of — or an international wanted notice for — the perpetrator of the breach of its Onamae.com Desktop Cloud service. The company is seeking tips that connect people, servers, domains, IP addresses, accounts, or cryptocurrency wallets to the attack, the extortion attempt, or the movement of stolen funds.

From cloud desktops to live trading accounts

The incident at the heart of the bounty is unusual in how far the damage reached. Onamae.com Desktop Cloud rents out Windows cloud desktops that traders commonly use to run automated foreign exchange (FX) trading software around the clock. That means the servers didn't just hold customer records — in many cases they held live credentials to brokerage accounts.

GMO first disclosed unauthorized access to the service on October 21, shut the service down the same day, and reported the matter to Japanese police on October 22. Attackers allegedly used trading credentials stored on the rented servers to place unauthorized orders at brokerages, turning a routine-sounding data breach into real-time financial fraud. GMO estimates that around 27,000 servers across all plans could have been at risk, though the company stresses this is the number of potentially affected machines, not a confirmed count of compromised ones.

A ransom demand, and a hard no

According to reporting by TechCrunch and others, the attackers initially emailed GMO on October 21 demanding roughly $50 million (about 8 billion yen). Later statements attributed to the attacker demanded US$1 million with a deadline of noon JST on October 27, threatening to manipulate trading accounts at more than 70 securities and FX firms in Japan and abroad, publish customer information daily at noon, launch ransomware attacks against users' machines, and expose details of GMO's own internal systems.

GMO's response has been unequivocal. The company says it handed all communications with the extortionists over to police cybercrime units and publicly declared it will never give in to the demands. "We are seeking credible information that leads to the identification and arrest of those involved," the company stated on its dedicated bounty portal, which accepts submissions in Japanese, English, and Chinese.

After the deadline passed, material purporting to contain customer personal information began appearing online, and a suspected attacker published what appears to be at least one customer's name and phone number. GMO confirmed on October 27 that information connected to the company and its customers had been published, and on October 28 announced that the domain used for the extortion site had been taken down — while warning that replacement sites could still emerge.

Making customers whole

Alongside the bounty, GMO has moved to compensate affected users. In an October 28 stock exchange filing, the company said it will pay every current user of the service 5,000 yen and cover actual trading losses and fees for any trades it confirms were unauthorized and caused by the breach. It cautioned that it has not yet confirmed how many customers the compensation program will cover, how much information was published, or which trades qualify.

The company has also been collecting customers' devices since October 25 to check for malware, and has urged users to reset passwords for any trading or financial accounts used from the service. Its group CEO wrote in a blog post that internal security researchers had flagged problems with the service before the attack, and that fixes were underway but not deep or fast enough.

Why this case matters

The GMO incident lands in the middle of what some security experts have taken to calling AI's "Black October" — a stretch marked by a sharp rise in AI-accelerated vulnerabilities and attacks. Whatever tools the attackers used, the case highlights a structural risk that is only growing: cloud services that hold live financial credentials turn a single intrusion into direct monetary theft. A breached marketing database is a liability; a breached trading desktop is a loaded weapon.

It also illustrates a shifting stance on extortion. Companies like Kraken have publicly refused ransom demands before, but putting a formal bounty on the attackers' heads — funded at $1 million, coordinated with police, and open to tips worldwide — is a more aggressive posture. Cyber insurance premiums and regulation increasingly discourage paying ransoms, since payment funds future attacks and offers no guarantee data is deleted. Bounty programs flip the incentive: instead of paying criminals, pay the ecosystem that can unmask them.

There are risks to this approach too. Attackers may escalate leaks to punish defiance, and bounties rarely produce arrests when attackers operate from safe jurisdictions. But as a signal of where enterprise incident response may be heading, GMO's move is one of the clearest yet: don't fund the attack — fund the manhunt.

For now, GMO says it will continue working with law enforcement, compensating customers, and pursuing takedowns of any replacement leak sites. The bounty program remains open, and the investigation is ongoing.

Microsoft Opens Voluntary Exit Offer for Eligible Staff in Four Countries

TechPulse — Thu, 29 Oct 2026 03:36:42 +0000

Microsoft has opened a time-limited voluntary exit offer for eligible employees in participating teams in the United States, Canada, India and the United Kingdom. The program covers staff at level 70 and below, but it is not companywide: Microsoft says individual organizations decide whether to participate based on business priorities, customer commitments and workforce needs. Eligible employees were to receive details by email on Oct. 26, according to the company. [1]

The offer gives qualifying workers the option to leave with financial support and career-planning resources. Microsoft has not stated how many employees will accept it. CNBC, citing a person familiar with the matter, reported that about 60,000 employees could be eligible. That is an estimate of potential eligibility, not a forecast of departures or a company-announced reduction target. [2]

What Microsoft has announced

Chief People Officer Amy Coleman described the offer as a way for employees already considering work outside Microsoft to make that transition with support, while giving participating teams another way to adapt. The company said the program builds on lessons from a voluntary retirement program earlier in 2026. Its public announcement did not disclose individual package amounts or a public decision deadline. [1]

Reuters also reported the roughly 60,000 potential-eligibility figure and quoted Microsoft’s stated country and job-level scope. It said some units—including marketing, commercial business and security—would be excluded, based on a source familiar with the matter. Those exclusions, like the overall headcount estimate, come from anonymous sourcing rather than Microsoft’s public announcement. [3]

An option, not a confirmed headcount cut

The offer arrives as Microsoft invests heavily in AI computing infrastructure. Reuters reported that the company forecast $175 billion in capital expenditures for calendar 2026, while CNBC placed the offer amid the industry’s costly AI buildout and focus on capital efficiency. That is context, not a company-stated explanation: Microsoft’s public announcement did not say the program was a direct response to AI spending or attach a savings target to it. [2] [3]

Voluntary participation and organization-by-organization eligibility do not establish how many people will depart, or whether departures will reduce staffing overall. Microsoft’s earlier voluntary retirement program is precedent, not evidence of the outcome this time. The company has not published a final participation total or results for the new offer.

Sources

[1] Microsoft: Introducing a Voluntary Exit Offer
[2] CNBC: Microsoft offers voluntary buyouts to employees as AI leads to efficiency push
[3] Reuters: Microsoft offers buyouts to around 60,000 employees

Google DeepMind Unveils Gemini 4 Carbon: Frontier Model With State-of-the-Art Cybersecurity

TechPulse — Thu, 29 Oct 2026 03:36:41 +0000

Google DeepMind has introduced Gemini 4 Carbon, its latest frontier AI model, just two weeks after releasing Gemini 4 Argon. Announced on October 28, 2026, Carbon is positioned as the company's strongest model to date, with particular strengths in cybersecurity defense and long-horizon agentic tasks.

A Deliberate Rollout for Cyber Defenders

Unlike a full public launch, Carbon is initially available to a subset of trusted cybersecurity defenders through Google's Fairwind Program. Google is participating in the U.S. government's voluntary pre-release testing process and plans to expand access gradually after gathering feedback on guardrails. The company aims to bring the model to developers, businesses, and consumers as soon as possible.

Pricing matches the introductory rates of Argon: $2 per million input tokens and $10 per million output tokens, with cached inputs at a 95% discount. After the introductory period, prices rise to $4 and $20 respectively.

Leading Performance on Intelligence and Cyber Benchmarks

Carbon ranks number one on the updated v5.0 of the Artificial Analysis Intelligence Index with a score of 59. It demonstrates significant gains in coding, agentic workflows, and scientific tasks. On the WebDev Arena leaderboard, it scores 1768, placing fourth.

In cybersecurity, the model sets new state-of-the-art results across the defense lifecycle:

Vulnerability detection: 88.2% on SEC-bench Pro, autonomously finding complex flaws in real-world software.
Exploitation validation: 54.8% on ExploitGym, helping prioritize truly exploitable issues.
Patching: 71.0% on Collinear’s CWE-bench, generating working root-cause fixes.

Internal benchmarks show more than a 2x improvement in success rate for generating secure code compared to Argon. Google’s Chrome team reported that Carbon performed more than 10 times better than another lab’s frontier model when producing high-quality patches. Wiz observed leading performance on web penetration testing benchmarks.

Long-Horizon Agentic Capabilities

Carbon is designed for sustained, multi-step engineering work. Internal teams have used it to run for days on complex tasks such as root-causing and patching subtle bugs across large codebases and low-level systems. It shows improved quality in full-stack web development and multimodal understanding, with better artifact generation.

Advances in Safety and Alignment

The model builds on Argon’s multi-layered safety stack, including training, real-time misuse defenses, prompt-injection resilience, and chain-of-thought monitoring. Key improvements include:

Reduced shortcut exploitation: successful cheating on Terminal-Bench 4.0 dropped to 0.0%, with attempts at 0.4%.
Greater honesty: unsupported claims cut by approximately 2x versus Argon.
Better collaboration under ambiguity: the model surfaces discrepancies and retrieves sources before acting.
Balanced execution: overreach reduced by 26% and under-service by 29%.
Prompt-injection resistance: 0.0% attack success rate on Gray Swan’s Indirect Prompt Injection Benchmark, down from Argon’s 0.7%.

High-severity misalignment alerts in live coding environments fell by almost 80%.

Why This Matters

Gemini 4 Carbon highlights the accelerating pace of frontier model development, with Google shipping a stronger system only weeks after Argon. Its focus on cybersecurity tools for defenders comes as AI is increasingly used on both sides of security operations. For developers and security teams, the model’s long-horizon reliability and reduced fabrication rates could improve automated code review, vulnerability management, and patch generation. The staged rollout reflects ongoing caution around powerful coding and cyber capabilities. As access expands, organizations will be able to evaluate how these gains translate to production workflows.

Sources

[1] Google DeepMind: Introducing Gemini 4 Carbon
[2] Reuters: Google launches Gemini 4 Carbon AI model with cybersecurity focus

OpenAI's GPT-6.1 Terra: Frontier AI at Half the Price Targets Enterprise Automation

TechPulse — Wed, 28 Oct 2026 04:35:48 +0000

OpenAI's GPT-6.1 Terra: Frontier AI at Half the Price Targets Enterprise Automation

OpenAI has quietly fired the latest shot in the AI price war. On October 26, the company announced GPT-6.1 Terra, a new model that delivers near-frontier capabilities at roughly half the price of two of its existing models — a deliberate bet that the next battleground in artificial intelligence is not raw intelligence, but cost-efficient automation of everyday business work.

What Terra Is — and What It Isn't

Terra slots into OpenAI's sprawling GPT-6.1 lineup as the workhorse tier. Where GPT-6.1 Astra remains the company's flagship reasoning model and Sol occupies the mid-tier for coding and professional work, Terra is tuned for something less glamorous but arguably more valuable at scale: high-volume, repetitive enterprise tasks. Think reading invoices and pushing their data into accounting software, triaging support tickets, extracting structured information from contracts, and classifying documents at industrial scale.

That positioning matters. The past year of AI hype has centered on jaw-dropping demos of reasoning and computer use, but the actual revenue engine for AI providers is increasingly mundane automation — the kind of work enterprises do millions of times per day and will only entrust to a model when the economics pencil out. By cutting the per-token price roughly in half, OpenAI is making the spreadsheet-adjacent workloads that previously sat in a gray zone between "too expensive for AI" and "too tedious for humans" suddenly viable.

Terra is available now to Plus, Pro, Enterprise, and Edu users inside ChatGPT Work and Codex, and to developers through the OpenAI API. For teams already building on the platform, it effectively introduces a new cost tier for background automation without forcing a downgrade in quality on customer-facing features.

The Bigger Strategy: Own the Enterprise Stack

The launch is best read as one piece of a much larger enterprise push. At DevDay 2026, OpenAI showed off a scale few rivals can match: 1.2 billion weekly active ChatGPT users, more than forty model launches in the preceding year, and 2.5 million businesses using its products. The company's enterprise business is reportedly driving annualized revenue toward $70 billion by the end of the year, up sharply from just a few months prior.

A cheap, dependable automation model is the natural next step in that flywheel. Enterprises don't deploy AI in one big decision — they deploy it workload by workload, and each workload has a price ceiling. Terra lowers that ceiling across the board, which should accelerate adoption in exactly the segments — back-office processing, document workflows, internal tooling — where OpenAI still competes with human labor and legacy software rather than with other frontier models.

There's also a defensive angle. Meta's open-weight Muse models and aggressive pricing from Chinese labs have compressed the market for mid-tier models, and Anthropic's Claude line continues to win over developers. In a market where near-frontier quality is increasingly table stakes, price becomes the differentiator — and OpenAI is choosing to differentiate loudly.

The Catch: Usage Allowances Are Shrinking

Terra's launch comes alongside a less cheerful signal for power users. Beginning October 30, OpenAI is halving usage allowances on its Pro tier — from twenty times the Plus allowance to ten, with the weekly cap on GPT-6 Pro chat messages dropping from 200 to 100. In other words, the company is offering cheaper tokens for automation workloads while tightening the belt on premium consumption.

It's a classic margin-management play: subsidize the workloads enterprises will pay for at volume, and constrain the loss-leader usage patterns. Expect some grumbling from the developer community, but also expect most of them to simply add Terra to their stack and move on.

What It Means for the Market

Three takeaways for anyone watching the AI industry:

Price competition is now the main event. Frontier capability is still advancing, but the sharpest competition has moved to cost per useful task. Expect Google, Anthropic, and Meta to respond with their own economy-tier offerings within months.
Automation is the revenue story of 2026–2027. Investors have spent two years asking when AI spending pays off. Models like Terra are OpenAI's answer: cheap enough to slot into existing business processes with a provable return.
The enterprise stack is consolidating. Between ChatGPT Work, Codex, agent tooling, and now a dedicated automation-tier model, OpenAI is assembling an end-to-end enterprise platform rather than a chatbot with an API.

For enterprises, the practical advice is straightforward: if you've been piloting AI for document-heavy workflows but held back on cost, this is the moment to rerun the numbers. For everyone else, Terra is a signal that the AI market is maturing — from selling magic to selling unit economics. That's less exciting, but it's how infrastructure businesses are actually built.