NAll news

All news

Friday227 items

  1. Unite.AI
    AI score55

    &Truth Raises $70 Million Seed Round to Build a General-Purpose Code Verifier with Lean

    &Truth emerged from stealth on October 29, disclosing a $70 million seed round and plans to build a general-purpose verifier capable of reading code in any programming language and mathematically proving that it is safe, correct, and reliable. The company is built on the open-source proof system Lean and the Mathlib library of more than two million lines, and says its proof automation technology can shorten proof generation from years or months to hours or minutes; it also plans to open-source its foundational library. Co-founders include Stanford University professor Clark Barrett and Ilya Sergey, founder of the VERSE Lab at the National University of Singapore, and the company is headquartered in Palo Alto and Singapore.

    Same story · 2 reports

    #Industry news#Safety / alignment#Open-source ecosystem

  2. Semiconductor Industry Observer
    AI score58

    SanDisk's FY2027 Q1 revenue reaches $11.031 billion, AI inference drives NAND demand

    SanDisk announced its fiscal 2027 first-quarter earnings, with quarterly revenue of $11.031 billion, up 378% year-over-year, and a non-GAAP gross margin of 85.1%. Data center business revenue was $4.802 billion, up 1682% year-over-year, with its share of total revenue rising from about 11.7% in the same period last year to about 43.5%. SanDisk said customer long-term demand signals have extended beyond fiscal 2030, about 50% of NAND supply in fiscal 2027 has been incorporated into the new NBM business model, with coverage of about two-thirds in fiscal 2028; the first HBF memory die has completed tape-out, with plans to deliver the first samples to customers in 2027.

    Same story · 3 reports

    #Industry news#English text is being prepared.

  3. MediaNama
    AI score54

    India's Supreme Court Requires New RBI Rules to Make Banks Fully Compensate Victims of Digital Arrest Scams

    In its October 29 order, the Supreme Court of India stated that the RBI's new rules must require financial institutions to compensate victims no less than the amount of their losses when digital arrest or cyber fraud occurs due to their own due diligence failures. The court also required banks to temporarily suspend anomalous transactions, automatically notify the nearest police station, and conduct offline verification, while requiring the RBI to issue revised KYC guidelines by November 30 and for them to take effect by December 31. The court noted that the RBI's 2017 circular only covers unauthorized transactions caused by bank fraud or negligence, whereas victims of digital arrest typically transfer funds themselves under pressure and are therefore not covered by existing rules.

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

  4. MediaNama
    AI score67

    Small Indian NBFC Loses About 300 Million Rupees to AI Cyberattack, Questions Raised Over Regulatory Disclosure Delays

    According to a report by The Economic Times citing sources, AI-driven cyberattacks drained about 300 million rupees from a small Indian non-banking financial company (NBFC) over roughly two months, with more than 150 FIRs filed. Experts believe the attackers combined two Chinese AI toolkits, Artex and CyberStrike, with open-source models such as DeepSeek, Qwen, Kimi, and GLM. MediaNama noted that public announcements from CERT-In and the Reserve Bank of India neither mentioned these loss figures nor named the affected institution.

    #Safety / alignment#Industry news#DeepSeek

  5. Waymo：BlogFirst-party
    AI score60

    Toyota and Waymo Deepen Autonomous Driving Cooperation, Testing bZ4X Autonomous Fleet in Japan in 2027

    Toyota and Waymo announced that their autonomous driving cooperation has entered its next phase, with initial testing and validation of a Toyota bZ4X autonomous fleet to begin in Japan in 2027, followed by expansion to the UK and other Waymo operating markets over the following years. The vehicles will be produced at Toyota's Takaoka Plant in Toyota City, Aichi Prefecture, with everything from complete vehicle assembly to the integration of Waymo's autonomous driving hardware completed at the same plant. Waymo co-CEO Dmitri Dolgov said that in Waymo's operating areas, its rate of serious injury crashes is up to 20 times lower than that of human drivers.

    Same story · 2 reports

    #Industry news#Embodied AI

  6. Rohan Paul
    AI score72

    Bank of America Tells Customers They Are Responsible for AI Agents' Use of Their Login Credentials

    Bank of America has told customers that they are responsible for anything AI agents do using their login credentials, and warned in an email against providing usernames and passwords to any external service, including AI agents that claim to act on customers' behalf. Morgan Stanley currently bans third-party agents outright, while JPMorgan blocks external agents such as Meta's Muse from customer accounts.

    Same story · 3 reports

    #Industry news#Agents#OpenAI

  7. Rohan Paul
    AI score59

    Reddit will require login by default; Google Search referrals drop by over 1 million in a single week

    Reddit will make login the default, after Google Search referrals dropped by more than 1 million in a single week in October. In Q2, 30.1M of the 53.2M daily active users in the US browsed without logging in; in Q3, US daily active users fell to 50.7M, and Reddit also warned that daily active users could decline by a low double-digit percentage next quarter. Reddit says logged-in users are worth about 3 times as much in advertising value as logged-out visitors, and the login wall also makes scraping harder, pushing AI companies toward paid data partnerships.

    Same story · 4 reports

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

  8. East Money
    AI score76

    DeepSeek's second funding round details revealed: raised 105.5 billion yuan, with nearly 30 institutions including Tencent and ChangXin Memory Technologies participating

    According to The Information, DeepSeek's second funding round has raised 105.5 billion yuan (approximately 15.8 billion US dollars), attracting nearly 30 investors, with state-owned capital contributing about 27%, a sharp increase from 2% in the first round. Tencent invested 10 billion yuan in each of the two rounds; CATL and its chairman Zeng Yuqun invested 5 billion yuan and 10 billion yuan in the two rounds respectively; and industrial parties such as ChangXin Memory Technologies, SMIC, vivo, Meituan, Geely, Midea, Luxshare Precision, Trip.com, and Xiaohongshu are also among the investors. The report, citing people familiar with the matter, said that rising prices for Nvidia's high-end chips and concerns about an AI bubble were the reasons DeepSeek doubled the size of its fundraising midway.

    Same story · 5 reports

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

  9. Sina Tech
    AI score66

    DeepSeek's second funding round of 105.5 billion yuan revealed, valuation 615.5 billion yuan

    According to foreign media reports, DeepSeek's second funding round reached 105.5 billion yuan, with nearly 30 investors participating, and the company's valuation exceeded 615.5 billion yuan. Tencent invested 10 billion yuan in this round, the same as the first round, totaling 20 billion yuan across both rounds; CATL contributed 10 billion yuan, roughly double its first-round investment. New investors also include ChangXin Memory Technologies, SMIC, Meituan, vivo, Xiaohongshu and others. As of press time, DeepSeek had not publicly commented.

    Same story · 5 reports

    #Industry news#DeepSeek

  10. QbitAI
    AI score76

    PSI claims its AI system has cracked 5 open quantum problems

    Physical Superintelligence (PSI), founded less than two months ago, claims that its self-developed AI research system Emmy has achieved results on 5 open problems in quantum information theory, with the paper, Lean formal proofs, and verification code published on GitHub for review. These 5 problems come from the open quantum problems catalog established by German physicist Reinhard Werner in 1999, spanning five directions: entanglement purification, quantum field theory, high-dimensional quantum communication, quantum channel capacity, and quantum causality, among which OQP 2, OQP 12, and OQP 27 were included as early as the beginning of this century. Emmy decomposes difficult problems into verifiable mathematical sub-hypotheses, then hands them to the Lean formal proof assistant, symbolic computation engines, and high-precision verification code for screening; a result is only deemed established once compilation passes. PSI emerged in September this year and has completed a $58 million seed round led by Breakthrough Energy Ventures.

    #Papers/Research#Reasoning#Open-source ecosystem

  11. cnBeta
    AI score63

    Sierra Club Report: US AI Data Center Expansion May Offset 15 Years of Emissions Reductions in the Power Sector

    The environmental organization Sierra Club estimates that planned AI data centers in the United States will generate an additional approximately 618 million tons of carbon dioxide between 2025 and 2030, equivalent to a 42% increase in power-sector-related emissions, and may essentially offset 15 years of emissions reductions in the sector. The report says that by 2030 total emissions from the US power sector could rise to 2.1 billion tons, a forecast 2 to 4 times higher than a year and a half ago. Judgments among institutions diverge markedly: Rhodium Group believes that even under the most pessimistic scenario, emissions in 2040 will still be 24% lower than in 2025, while Sightline Climate estimates that about one-third to one-half of US data center projects originally scheduled to come online this year may be delayed or canceled.

    Same story · 2 reports

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

  12. cnBeta
    AI score62

    Google Shuts Down AI Coding Agent Jules, Folds Lessons into Antigravity

    Google's AI coding agent Jules will gradually cease operations, less than two years after its launch. The official Jules X account stated that the team is integrating the experience gained from Jules into Antigravity, enabling users to autonomously execute background tasks in remote environments while also using an agent-centric development environment.

    Same story · 4 reports

    #Product updates#Agents#English text is being prepared.

  13. Huxiu
    AI score89

    Anthropic files S-1 to list on Nasdaq under the ticker ANT, with a valuation of up to $2 trillion

    Anthropic filed its S-1 on October 26, planning to list on Nasdaq under the ticker ANT with a valuation of $1.5 trillion to $2 trillion; if completed, it would surpass SpaceX to become the largest IPO in history. The prospectus shows revenue of $16.286 billion in the first half of 2026, up nearly 13-fold year on year, with about 80% of revenue coming from enterprise APIs and nearly 12,000 customers each spending more than $100,000 annually. The company has signed long-term compute contracts worth more than $650 billion, about 80% of which are non-cancelable; Q3 revenue was about $16.9 billion, and the quarter-on-quarter growth rate fell from 144% to about 47%, with some investors discussing cutting the valuation to about $1.5 trillion.

    Same story · 128 reports

    #Industry news#Anthropic#OpenAI

  14. Huxiu
    AI score85

    Anthropic files prospectus to list on Nasdaq under the ticker ANT, valuation drops to about $1.5 trillion

    Anthropic publicly filed its prospectus on October 26, planning to list on Nasdaq under the ticker "ANT"; according to Reuters, as growth slowed in the third quarter, the valuation discussed by investors has fallen from about $2 trillion to about $1.5 trillion. The prospectus shows revenue of $16.286 billion in the first half of 2026, with token-based usage revenue of $13.1 billion accounting for about 80%, and more than 11,900 customers who spent over $100,000 in the past 12 months. The company also disclosed future compute commitments of about $540 billion to $570 billion, and has abandoned its 2023 commitment not to train or deploy models that could cause catastrophic harm.

    Same story · 128 reports

    #Industry news#Anthropic#OpenAI

  15. Huxiu
    AI score77

    Binance hot wallet hacked for approximately $5.8 billion: a retrospective of the largest exchange theft in crypto history

    In the early hours of October 30, 50 EIP-7702 authorizations were submitted to a hot wallet labeled "Binance 14" by Binance; 3 minutes and 24 seconds later, 167,464 ETH, 1.615 billion USDT and 63 types of tokens were swept away, with cross-chain losses of $5.5 billion to $6.2 billion. Bitcoin fell below $78,500 and Ethereum lost the $2,250 level; liquidations across the network totaled $629 million in one hour, issuers including Tether and Circle froze assets, and Binance verified a total of $3 billion in frozen funds. Shenyu's retrospective stated that no contract vulnerability was seen on-chain, the private keys remain in Binance's hands but the malicious authorization has not been revoked, and the hacker may have induced the signing of a Type-4 transaction within the signing or operations pipeline.

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

  16. East Money
    AI score65

    Big Short investor Eisman questions Anthropic's prospectus for deliberately omitting Q3 data

    Steve Eisman on a podcast accused Anthropic of disclosing only financial data through June in the prospectus it filed on October 26, calling it deliberate in order to conceal a growth slowdown. He cited data showing Anthropic's third-quarter revenue was $16.8 billion, up 45%, a sharp slowdown from 144% in the second quarter; each $1 invested in compute and infrastructure costs generated only $1.70 in revenue, below $2.08 in the second quarter. Eisman estimated its potential compute spending commitments at $800 billion to $900 billion, and said he would not invest in Anthropic.

    Same story · 3 reports

    #Industry news#Anthropic

  17. East Money
    AI score60

    Anthropic Reportedly Revealed as SpaceX's Mysterious Major Customer, Contributing Over One-Third of Revenue in Q3

    According to media reports citing people familiar with the matter, Anthropic is the mysterious major customer labeled "Customer B" in SpaceX's regulatory filings, contributing about 34.5% of SpaceX's revenue in the third quarter and surpassing the U.S. government to become its largest source of revenue. The two sides' cooperation consists of Anthropic leasing compute capacity from SpaceX's data center in Memphis, Tennessee; the contract is valid until 2029, with a potential spending cap of $120.5 billion, and payments of about $3.1 billion per month starting in December of this year. SpaceX's third-quarter revenue grew 161% and it achieved its first profit, with the superintelligence business generating $7.560 billion in revenue for the quarter, accounting for about 52% of total revenue.

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

  18. English text is being prepared.
    AI score71

    US media reports Accenture employee connected personal Claude Code to Pentagon systems; agent ran for two months before being discovered

    According to Wired magazine, a contractor employee at Accenture is alleged to have connected a personal Claude Code account to a secure U.S. Department of Defense system, letting an AI agent write and deploy code on their behalf; the agent ran in the Department of Defense network for two months before being discovered. People familiar with the matter said that during that time it is suspected of sending login credentials, passwords and network structure information to a third-party website flagged as high-risk by the U.S. National Institute of Standards and Technology. Accenture denied the allegations, saying a thorough independent investigation found the claims to be unfounded; Claude is currently prohibited for use by Department of Defense personnel.

    Same story · 2 reports

    #Safety / alignment#Agents#Anthropic

  19. Cailian Press
    AI score64

    Big Short investor Eisman questions Anthropic's IPO prospectus for not disclosing Q3 data

    Steve Eisman accused Anthropic on a podcast of disclosing only financial data through June in its IPO prospectus filed on October 26, arguing this was deliberate to conceal a slowdown in growth. He cited data showing Anthropic's third-quarter revenue was $16.8 billion, up 45%, a marked slowdown from the 144% growth rate in the second quarter; in the third quarter, every $1 invested in computing power and infrastructure costs generated only $1.70 in revenue, down from $2.08 in the second quarter. Eisman estimated its potential computing power spending commitments at $800 billion to $900 billion, and said he would not invest in Anthropic.

    Same story · 3 reports

    #Industry news#Anthropic

  20. Cailian Press
    AI score58

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

    According to people familiar with the matter, Anthropic has become SpaceX's largest customer, contributing more than one-third of the latter's revenue in the third quarter. SpaceX regulatory filings show that about 34.5% of revenue in the quarter came from a computing power payer labeled "Customer B"; the contract between the two parties involves leasing computing power at a data center in Memphis, Tennessee, is valid until 2029, and has a potential spending cap of $120.5 billion, with Anthropic paying about $3.1 billion per month starting in December this year. SpaceX's third-quarter revenue grew 161% and it achieved profitability for the first time, with the superintelligence business generating $7.56 billion in revenue in the quarter, accounting for about 52% of total revenue.

    Same story · 4 reports

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