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.
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.
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.
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 Al
Deepgram announced the acquisition of Daily, the developer of the open-source voice AI framework Pipecat, for an undisclosed sum, with both parties committing that Pipecat will remain open source. Daily had previously raised more than $62 million in cumulative funding, and Deepgram became a unicorn earlier this year with a $130 million Series C round. Deepgram also released the Real-Time Context Standard (RCS), an open protocol developed jointly with the Pipecat team to define metadata such as audio context, model instructions, and response tone in voice agents.
Deepgram announced the acquisition of Daily, the developer of the open-source voice AI framework Pipecat, for an undisclosed sum, with both parties committing that Pipecat will remain open source. Daily had previously raised more than $62 million in cumulative funding, and Deepgram became a unicorn earlier this year with a $130 million Series C round. Deepgram also released the Real-Time Context Standard (RCS), an open protocol developed jointly with the Pipecat team to define metadata such as a
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.
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 befo
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.
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
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.
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 ca
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.
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
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.
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 cent
Amazon CEO Andy Jassy said on the Q3 earnings call that AWS third-quarter revenue grew 39.3% year over year to $45.98 billion, and is expected to grow over 40% in both 2027 and 2028, becoming a business with annual revenue exceeding one trillion dollars in the next 5 to 10 years. The company maintained its expectation of about $220 billion in cash capital expenditure for 2026, most of which will go to AWS, and expects spending to increase significantly in 2027. On Bedrock, spending by Fortune 500 companies grew nearly 7x year over year and total tokens grew nearly 17x, revenue commitments for Trainium and Graviton grew more than 20x year over year, and Trainium is planned to be sold externally by the end of 2027.
Amazon CEO Andy Jassy said on the Q3 earnings call that AWS third-quarter revenue grew 39.3% year over year to $45.98 billion, and is expected to grow over 40% in both 2027 and 2028, becoming a business with annual revenue exceeding one trillion dollars in the next 5 to 10 years. The company maintained its expectation of about $220 billion in cash capital expenditure for 2026, most of which will go to AWS, and expects spending to increase significantly in 2027. On Bedrock, spending by Fortune 50
Earnings from Amazon, Intel, and Alphabet successively missed expectations, triggering a collective slump in global tech stocks. Nasdaq 100 index futures extended losses to 2%, and South Korea's KOSPI index fell 4.5% and triggered the SIDECAR mechanism to suspend program selling. Intel plunged 23% after hours, Amazon fell about 7.3% after hours, and Alphabet tumbled 13% in the previous trading session, its largest single-day drop. Market attention is focused on capital expenditures: Amazon's third-quarter spending on equipment and property exceeded $77 billion, and free cash flow over the past 12 months was negative $42.4 billion. CEO Andy Jassy said capital expenditures will increase significantly in 2027.
Earnings from Amazon, Intel, and Alphabet successively missed expectations, triggering a collective slump in global tech stocks. Nasdaq 100 index futures extended losses to 2%, and South Korea's KOSPI index fell 4.5% and triggered the SIDECAR mechanism to suspend program selling. Intel plunged 23% after hours, Amazon fell about 7.3% after hours, and Alphabet tumbled 13% in the previous trading session, its largest single-day drop. Market attention is focused on capital expenditures: Amazon's thi
Wall Street law firm Weil, Gotshal & Manges has announced its dissolution, and legal AI startup Crosby has submitted a letter of intent to acquire its internal data, trademarks and brand, and to recruit some of its lawyers. According to The Information, what Crosby values is non-client-specific data such as the firm's M&A agreement templates and contract templates for each stage of negotiations, which can be used for model fine-tuning. Crosby has been founded for less than two years, has raised more than $80 million, and is valued at $400 million; its AI agents connect to the underlying models of OpenAI, Anthropic and Google.
Wall Street law firm Weil, Gotshal & Manges has announced its dissolution, and legal AI startup Crosby has submitted a letter of intent to acquire its internal data, trademarks and brand, and to recruit some of its lawyers. According to The Information, what Crosby values is non-client-specific data such as the firm's M&A agreement templates and contract templates for each stage of negotiations, which can be used for model fine-tuning. Crosby has been founded for less than two years, has raised
On October 28, Oracle's share price surged 10.73%, while Google's parent company Alphabet plunged more than 10% in premarket trading on October 29. Oracle expects capital expenditure to peak in fiscal years 2027 to 2028 and decline in fiscal year 2029, with free cash flow turning positive in the second half of fiscal year 2028 and exceeding $30 billion in fiscal year 2029; Google's third-quarter revenue and profit both fell short of expectations, recording negative free cash flow for two consecutive quarters. Oracle also said it needs to raise up to an additional $20 billion over the remainder of fiscal year 2027, split evenly between debt financing and equity financing.
On October 28, Oracle's share price surged 10.73%, while Google's parent company Alphabet plunged more than 10% in premarket trading on October 29. Oracle expects capital expenditure to peak in fiscal years 2027 to 2028 and decline in fiscal year 2029, with free cash flow turning positive in the second half of fiscal year 2028 and exceeding $30 billion in fiscal year 2029; Google's third-quarter revenue and profit both fell short of expectations, recording negative free cash flow for two consecu
Canadian AI model developer Cohere is pursuing a funding round of up to $5 billion, with a pre-money valuation of $20.5 billion, roughly three times that of a year ago. The company said it has completed the first closing, with investors including the Canadian government and Nvidia making funding commitments, among which the Canadian government agreed to invest up to C$1.6 billion (about $1.14 billion). Cohere plans to keep its headquarters in Canada and expects to invest about $1.2 billion in the country by 2030 to build new computing infrastructure.
Canadian AI model developer Cohere is pursuing a funding round of up to $5 billion, with a pre-money valuation of $20.5 billion, roughly three times that of a year ago. The company said it has completed the first closing, with investors including the Canadian government and Nvidia making funding commitments, among which the Canadian government agreed to invest up to C$1.6 billion (about $1.14 billion). Cohere plans to keep its headquarters in Canada and expects to invest about $1.2 billion in th
Amazon's Q3 2026 earnings show AWS revenue of $46 billion, up 39.3% year over year, with $578 billion in backlog orders, and AI inference revenue accounting for more than half of AWS's AI revenue. Management expects AWS to grow at an annual rate above 40% in 2027-2028 and to approach $1 trillion in revenue within 5 to 10 years, but capital expenditures will be about $220 billion in 2026 and will rise significantly further in 2027, sending the company's shares down 7.3% after hours. The earnings call also mentioned that spending by Fortune 500 companies on Bedrock grew nearly 7x year over year, token call volume grew nearly 17x, and Trainium is planned to be sold externally by the end of 2027.
Amazon's Q3 2026 earnings show AWS revenue of $46 billion, up 39.3% year over year, with $578 billion in backlog orders, and AI inference revenue accounting for more than half of AWS's AI revenue. Management expects AWS to grow at an annual rate above 40% in 2027-2028 and to approach $1 trillion in revenue within 5 to 10 years, but capital expenditures will be about $220 billion in 2026 and will rise significantly further in 2027, sending the company's shares down 7.3% after hours. The earnings
According to Bloomberg, the advertising, consumer and retail businesses that underpin US tech giants' combined $750 billion in AI investment this year have shown signs of slowing growth. Alphabet's search advertising revenue posted its lowest growth rate in five quarters, Amazon's advertising business grew 11% year over year, the slowest since it began disclosing the figure separately in 2022, and its online stores grew only 2%. Google Chief Business Officer Philipp Schindler acknowledged that search queries under AI modes are monetized at a lower level, and Alphabet's stock suffered its largest drop in history, with nearly $500 billion in market value wiped out.
According to Bloomberg, the advertising, consumer and retail businesses that underpin US tech giants' combined $750 billion in AI investment this year have shown signs of slowing growth. Alphabet's search advertising revenue posted its lowest growth rate in five quarters, Amazon's advertising business grew 11% year over year, the slowest since it began disclosing the figure separately in 2022, and its online stores grew only 2%. Google Chief Business Officer Philipp Schindler acknowledged that s
Amazon CEO Andy Jassy reiterated on the quarterly earnings call that AWS is expected to become a business with $1 trillion in annual revenue in the next 5 to 10 years, and he expects growth rates to exceed 40% in both 2027 and 2028. He said cash capital expenditure in 2026 will be about $220 billion, most of it going to AWS, and will increase significantly further in 2027; AWS revenue grew 39% year over year this quarter, with an annualized revenue scale of $184 billion. After the earnings release, Amazon's stock fell about 6% in after-hours trading.
Amazon CEO Andy Jassy reiterated on the quarterly earnings call that AWS is expected to become a business with $1 trillion in annual revenue in the next 5 to 10 years, and he expects growth rates to exceed 40% in both 2027 and 2028. He said cash capital expenditure in 2026 will be about $220 billion, most of it going to AWS, and will increase significantly further in 2027; AWS revenue grew 39% year over year this quarter, with an annualized revenue scale of $184 billion. After the earnings relea
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.
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 c
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.
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
According to Bloomberg, U.S. robotics AI company Physical Intelligence is in talks for a new funding round of at least $1 billion, with existing investors Avenir and Lux Capital considering leading the round, and a post-money valuation expected at about $20 billion. The company was founded in 2024 and was valued at $5.6 billion in its November funding round last year; it currently has no commercial revenue and has not mass-produced robot products. Its technical approach is to build on VLM by introducing action generation capabilities to train VLA models, and it has iterated through π0, π0.5, and π0.7; this month it launched a beta version of a robot foundation model API, offering model fine-tuning and inference services to external developers.
According to Bloomberg, U.S. robotics AI company Physical Intelligence is in talks for a new funding round of at least $1 billion, with existing investors Avenir and Lux Capital considering leading the round, and a post-money valuation expected at about $20 billion. The company was founded in 2024 and was valued at $5.6 billion in its November funding round last year; it currently has no commercial revenue and has not mass-produced robot products. Its technical approach is to build on VLM by int
ElevenLabs announced a partnership with the Spanish ALS association adELA to give ALS patients diagnosed in Spain free access to its voice restoration and preservation technology. This is the first project of the ElevenLabs Impact Program in Spain, and Spain is the first country to offer this technology through a nationwide patient association. Patients whose speech has not yet noticeably changed can record new samples, while those whose speech has changed can upload old recordings to generate their own digital voice. It is estimated that there are approximately 4,000–4,500 ALS patients in Spain, many of whom will eventually lose the ability to speak.
ElevenLabs announced a partnership with the Spanish ALS association adELA to give ALS patients diagnosed in Spain free access to its voice restoration and preservation technology. This is the first project of the ElevenLabs Impact Program in Spain, and Spain is the first country to offer this technology through a nationwide patient association. Patients whose speech has not yet noticeably changed can record new samples, while those whose speech has changed can upload old recordings to generate t
