NAll news

All news

Friday227 items

  1. Wired AI
    AI score61

    AI Drives a Wave of Formal Verification Startups as &Truth Raises $70 Million

    WIRED reports that generative AI is pushing formal verification toward commercialization. &Truth has raised $70 million and launched publicly, while Harmonic has raised a cumulative $295 million, and its math AI agent Aristotle supports verification of C code and Verilog hardware designs. Stanford researcher Chuyue Sun used AI tools to complete an engineering project in less than half a day at a cost of under $500, whereas three experts working by hand took five months to complete the same work. The report also notes that the technology is still at the prototype stage, that customers' willingness to pay and adoption methods remain unclear, and that Antithesis's Will Wilson calls formal verification a "trap" that can only provide partial guarantees.

    Same story · 2 reports

    #Industry news#Safety / alignment#English text is being prepared.

  2. Wired AI
    AI score81

    Accenture Contractor Connected Personal Claude Code Account to Pentagon System, Causing Credential Leak

    WIRED, citing people familiar with the matter, reported that an Accenture contractor connected a Controlled Unclassified Information (CUI) system used by multiple intelligence agencies to his personal Claude Code account, letting the AI agent write and deploy code on his behalf; the agent then sent login credentials, passwords, and NIPRNet network topology diagrams to a third-party website that NIST has classified as high-risk. The agent ran on a Department of Defense network for two months before being discovered and patched, and sources said Accenture initially did not report the matter to the government; Accenture responded that the allegations were found to be unfounded after a thorough independent investigation and that it has fully complied with its legal and contractual obligations. Claude is currently prohibited for use by Department of Defense personnel.

    #Safety / alignment#Agents#English text is being prepared.

  3. East Money
    AI score58

    Amazon Q3 Earnings: AWS Revenue Up 39%, AI Investment Drives Second Consecutive Quarter of Negative Free Cash Flow

    Amazon released its third-quarter earnings report, with revenue of $201.94 billion and earnings per share of $1.89, both below market expectations, and its stock fell more than 7% at one point after hours. AWS revenue was $45.984 billion, up about 39% year-over-year, the fastest growth rate in nearly five years, with operating income of $17.773 billion. Because AI-related purchases of property and equipment rose to $77.26 billion, the company posted negative free cash flow for a second consecutive quarter, with an outflow of $42.4 billion over the past 12 months, and it maintained its capital expenditure forecast of $220 billion for this year.

    #Industry news#English text is being prepared.

  4. English text is being prepared.
    AI score64

    New York State signs new law banning unsafe AI chatbot services for minors

    On the 28th local time, New York State Governor Kathy Hochul signed a bill prohibiting the provision of unsafe AI chatbot services to minors, where "unsafe" covers impersonating real people, creating emotional dependence, encouraging self-harm or suicide, encouraging self-isolation, sexually explicit content, or child sexual abuse material. The state-level law requires companies to perform age verification and offer multiple verification methods, and to delete age information after use; in cases of violation, the state attorney general may seek civil penalties of up to $25,000 per violation, as well as remedies such as compensation and the destruction of illegally collected data or AI models trained on it. Data from Common Sense Media shows that at least 72% of teenagers have used AI companions, and 52% are active users who interact multiple times a month.

    #English text is being prepared.#Safety / alignment

  5. English text is being prepared.
    AI score60

    OpenAI Cancels Plan to Halve ChatGPT Pro 200 Quota, Doubles Usage Quotas Across Pro Tiers

    After user pushback, OpenAI announced that it is immediately doubling the usage quotas for Work and Codex in ChatGPT Pro 100, Pro 200, Pro 500, and Business Premium, and canceling its original plan to cut the Pro 200 quota by about 50%. Previously, on September 29, OpenAI notified users that it would reduce quotas, citing improved model efficiency, which sparked dissatisfaction among subscribers. New subscribers will directly receive the updated quotas, and existing users will have them take effect automatically without waiting for renewal; OpenAI also reminds users that Fast mode consumes about 2.5 times the quota of Standard mode, while Ultrafast consumes 8 times as much.

    Same story · 9 reports

    #Product updates#OpenAI#Industry news

  6. IT Home · Artificial Intelligence
    AI score62

    Neuralink Publishes Early VOICE Project Data: ALS Patient Reaches 75 Words Per Minute Output in First Week After Implant

    Neuralink released a blog post on October 28, publicly disclosing the early feasibility study of its speech restoration project VOICE. One participant with ALS reached an output rate of 75 words per minute in the first week of use, with a word error rate of 5.8% on a large vocabulary of 125,000 words. The study's lead investigator, Dr. Nader Pouratian, has presented the relevant data at the 2026 NEALS annual meeting. The study plans to enroll approximately 6 participants who have lost the ability to communicate due to ALS, spinal cord injury, or stroke, and its primary endpoint is device- or procedure-related adverse events within 12 months after implantation. Neuralink has not yet published a complete peer-reviewed paper; the figures come from a single participant, and the company has not explained the types of test tasks, the separate performance of text versus speech output, or long-term effects.

    #Industry news#Speech#English text is being prepared.

  7. English text is being prepared.
    AI score58

    Google AI coding assistant Jules will gradually be discontinued, with its experience merged into Antigravity

    Google has announced that it will gradually discontinue Jules, the AI coding assistant launched in December 2024, and apply the experience gained from the tool to Antigravity, its agent-first development platform. Jules's official X account said that Jules was originally an experiment to understand how asynchronous coding agents can help developers ship faster, and that in the future it will merge remote background task execution with an agent-centric development environment into a unified experience. Antigravity was launched by Google DeepMind on November 18, 2025, and is a standalone IDE distributed as a VS Code fork, supporting Windows, macOS, and Linux.

    Same story · 4 reports

    #Industry news#Agents#English text is being prepared.

  8. China.com Technology
    AI score58

    AI demand drives chip business, Samsung operating profit surges 783%

    Samsung Electronics announced its financial results for the third quarter of 2026, with revenue of approximately 195.3 trillion won, up about 127% year-on-year, and operating profit of approximately 107.4 trillion won, up about 783% year-on-year, marking the fourth consecutive quarter of record highs. The semiconductor division's operating profit for the quarter reached 106.5 trillion won, accounting for about 99% of the company's total, with HBM4 sales rising sharply and demand for server SSDs strong. Revenue from the mobile and network businesses grew but they still posted a combined loss of 600 billion won, which Samsung attributed to cost pressure from rising component prices.

    Same story · 3 reports

    #Industry news#English text is being prepared.

  9. The Beijing News
    AI score60

    SK Hynix's Third-Quarter Revenue Exceeds 1 Trillion Won for the First Time, and It Announces a Shareholder Return Plan of About 1 Trillion Won

    On October 28, SK Hynix released its financial report for the third quarter of fiscal year 2026, with revenue of 104.6155 trillion won, exceeding 1 trillion won for the first time, operating profit of 83.3338 trillion won, up 632% year on year, and an operating margin of 80%. On the same day, the company announced a shareholder return plan of about 1 trillion won for fiscal year 2026, including more than 30 trillion won in cash dividends and more than 60 trillion won in share buybacks and cancellation. The company plans to expand HBM4 production before the end of the year and said that long-term supply agreements have already covered more than 50% of total capacity for 2027 and 2028.

    Same story · 2 reports

    #Industry news#English text is being prepared.

  10. Sina Tech
    AI score58

    Driven by AI financing boom, global bond issuance hits record high

    So far this year, global investment-grade and junk bond issuance has raised a total of $6.61 trillion, up 15% year-on-year, surpassing the 2025 record with two months still left in the year. Among this, cloud computing giants and data center developers issued nearly $368 billion in bonds, more than six times the same period last year, accounting for about one-third of the increase in borrowing. Amazon became the world's fourth-largest bond issuer and largest corporate borrower this year, with Alphabet close behind; five of the top ten U.S. corporate issuers are tech companies.

    #Industry news#English text is being prepared.

  11. Sina Tech
    AI score64

    34.5% of SpaceX's Q3 Revenue Came from Anthropic Compute Contract

    According to people familiar with the matter, Anthropic is SpaceX's single largest customer, contributing more than one-third of its revenue in the third quarter. SpaceX documents show that this customer accounts for about 34.5% of revenue, and the documents label it only as "Customer B." This revenue comes from Anthropic's use of compute at SpaceX's data center in Memphis, Tennessee. The contract is worth up to $120.5 billion and runs through 2029, but starting this December Anthropic will pay about $3.1 billion per month and may terminate the contract with 90 days' notice after January 2027 and March 2027.

    Same story · 4 reports

    #Industry news#English text is being prepared.#Anthropic

  12. Sina Tech
    AI score53

    Ares CEO Says It Avoids AI Chip Financing Due to Business Complexity

    Ares Management CEO Michael Arougheti said the company is avoiding financing the high-performance processors that run advanced AI models, and is instead investing in the data centers that house those chips. He said due diligence on data center projects is simpler, relative returns are attractive, and it is impossible to conduct due diligence to assess the value decay and depreciation curves of GPU technology. The company estimates AI capital expenditure demand at about $5 trillion, of which about $2 trillion is for physical AI data centers and supporting infrastructure, and $3 trillion is for purchasing GPU chips.

    #Industry news#English text is being prepared.

  13. Sina Tech
    AI score66

    Amazon's AI spending turns free cash flow negative at $42.4 billion, shares fall after hours

    Amazon disclosed that free cash flow for the trailing twelve months ended September 30, 2026 was negative $42.4 billion, compared with positive $14.8 billion in the same period of 2025; the company said this was mainly due to a $94.8 billion increase in purchases of property and equipment related to AI investments. Amazon expects cash capital expenditure of $220 billion for 2026, and AWS Chief Financial Officer John Felton said the order backlog as of the second quarter was close to $500 billion. In the earnings report, the advertising business's year-over-year growth rate fell to 12%, compared with 26% in the previous quarter.

    Same story · 2 reports

    #Industry news#English text is being prepared.#OpenAI

  14. 404 Media
    AI score58

    Meta updates its commercial terms to allow using user content to train AI; UK and EU users can object

    Meta updated its commercial terms this month to allow it to use content from associated domains, web pages, or URLs to develop, improve, research, train, and maintain Meta products, sparking discontent among artists and small business owners who rely on Instagram and Facebook. The effective date was postponed from October 30 to November 20, and Meta subsequently removed the word "train" from the list of permitted uses and limited the uses to "advertising and business products." UK and EU users can currently submit an objection form in the Instagram Privacy Center, and some users say they have received emails from Meta confirming that their objections were approved; these options do not appear in the United States and other places.

    #English text is being prepared.#English text is being prepared.#Meta

  15. 404 Media
    AI score53

    UK and EU users can object to Meta using their content to train AI

    Meta updated its terms for business accounts to allow it to use content from linked websites and pages to develop, improve, and train AI, sparking dissatisfaction among small businesses and artists who use Instagram. UK and EU users can currently submit an objection form in the Instagram Privacy Center, and some users say they have received emails from Meta approving their objections. The terms were originally set to take effect on October 30 but were changed to November 20 after objections, and Meta also removed the word "train" from the permitted uses and narrowed the scope to advertising and commercial products.

    #English text is being prepared.#English text is being prepared.#Meta

  16. Wall Street Insights
    AI score67

    Eisman Questions Anthropic Prospectus for Concealing Latest Quarterly Financial Data

    Steve Eisman, the real-life inspiration for "The Big Short," publicly questioned Anthropic's prospectus filed on October 26, which discloses financial data only through June, saying it "very deliberately" concealed the latest quarterly data. Citing Reuters data, he noted that Anthropic's quarterly revenue growth had slowed from 144% in the second quarter to 45% in the third quarter, and said the company's cost structure for generating revenue is also deteriorating. Anthropic has not yet responded to these allegations; it is seeking a valuation of about $2 trillion.

    Same story · 3 reports

    #Industry news#Anthropic

  17. Wallstreetcn
    AI score58

    Intel's Q4 guidance falls far short of expectations, shares drop over 20% after hours

    Intel expects Q4 revenue of $15 billion to $16 billion, below the analysts' average estimate of $17 billion, and adjusted earnings per share of 25 cents, far below the expected 43 to 45 cents; the stock fell more than 22% at one point after hours. The company said the October explosion at its Kiryat Gat plant in Israel will reduce Q4 revenue by about $300 million and lower gross margin by about 200 basis points, and it expects the PC market weakness to last at least through the first half of 2027. Third-quarter revenue rose 21% year over year to $16.5 billion, while data center and AI business revenue rose 78% year over year to $7.3 billion.

    Same story · 7 reports

    #Industry news#English text is being prepared.

  18. Wallstreetcn
    AI score62

    Amazon Q3 Earnings: AWS Revenue Up 39.3%, AI Capital Expenditures Turn Free Cash Flow Negative

    Amazon's net sales in Q3 2026 grew 12% year-over-year to $201.94 billion, slightly below expectations, while AWS net sales grew 39.3% year-over-year to $45.98 billion, the highest single-quarter growth rate in nearly five years. Purchases of property and equipment for the quarter reached $77.26 billion, about 1.2 times the year-ago period, and free cash flow swung from an inflow of $14.79 billion in the year-ago period to an outflow of $42.36 billion. The company maintained its full-year 2026 cash capital expenditure guidance of approximately $220 billion unchanged, and the stock fell as much as more than 10% in after-hours trading following the earnings release.

    Same story · 2 reports

    #Industry news#English text is being prepared.

  19. Wallstreetcn
    AI score68

    Anthropic Reportedly SpaceX's Largest Single Customer, Contributing Over One-Third of Q3 Revenue

    According to Bloomberg, citing people familiar with the matter, Anthropic is currently SpaceX's largest single customer, contributing more than one-third of SpaceX's revenue in the third quarter, exceeding the share from the U.S. federal government. SpaceX documents show that about 34.5% of revenue that quarter came from a single AI division customer, "Customer B." Anthropic has committed to paying SpaceX up to $120.5 billion over the contract term through 2029, equivalent to about $3.1 billion per month starting this December, but it can terminate the contract with 90 days' notice after January and March 2027.

    #Industry news#English text is being prepared.#OpenAI

  20. Wallstreetcn
    AI score57

    Nvidia Plans to Provide Credit Guarantee for Nscale's Over $5 Billion Data Center Construction Financing

    Nvidia is in talks with emerging AI cloud service provider Nscale to provide over $5 billion in credit guarantees for the debt financing of a 460-megawatt data center Nscale plans to build in West Virginia, USA; the agreement has not yet been signed. The data center will serve Anthropic, with the two parties having signed a $45 billion lease contract, and the facility will be equipped with Nvidia Vera Rubin GPUs. The guarantee takes the form of a residual value guarantee and covers the data center facility itself rather than the lease or the chips. To date, Nvidia has provided approximately $170 billion in credit support and investment to customers including emerging cloud providers.

    Same story · 4 reports

    #Industry news#English text is being prepared.#OpenAI