OpenAI revealed the results in a GitHub repository at 6 P.M. EDT. The deluge will take mathematicians months to parse through and understand — including to determine whether the proofs contain novel and important ideas or are mostly mash-ups of existing techniques. But many of the results have already been verified in Lean — a programming language that validates a proof’s logic — and are therefore all but certain to be correct.

Among the results claimed are a solution to the four-dimensional Kakeya conjecture, improvements on some of the world’s most important computer algorithms and actual progress toward math’s scariest problem, the Riemann hypothesis.

In February 2001, Slashdot readers asked Carl Kadie about censorship and privacy at colleges, and he answered. Now Kadie, who founded the Computers and Academic Freedom project at EFF in 1991, has written its history. In Part 1, Ohio State kicks a student off its network, then out of school, after a prank routes his “fuck you” into rec.aquaria, and a supercomputing center fires a student over an email from saddam@iraq.bunker.gov. In Part 2, Nebraska bans the project’s own newsletter, the FBI asks a conference attendee to show them his leg, and Playboy calls. The original archive is on GitHub.

Alphabet’s Google and gaming tools developer Unity Software announced a new platform that will allow people to create video games from simple text prompts, marking the latest incursion of generative artificial intelligence into artistic and creative industries. The initiative, called Playground, will “put game creation in the hands of millions of new creators, and bring new experiences to billions of players worldwide,” the companies said in a statement on Oct 7.

With its debut, Playground will let people 18 and older generate and customize games using natural language prompts, “no coding required.” Later in 2026, a new expanded creation experience called Unity Spark, will be integrated with Playground, providing “robust, professional-level” mechanics and high-fidelity 3D capabilities. Creators will be able to build “immersive, superlative experiences” with a simple text prompt, according to the release. Playground builds on Google’s push into world models, a type of AI that generates virtual environments in real time from text prompts, rather than just video.

To keep the device’s temperature under control, Microsoft has also developed a new cooling system that offers up to 2.5 times the thermal capacity of the 15-inch Surface Laptop 7th Edition. The Surface Laptop Ultra comes with a 15-inch PixelSense Ultra mini-LED touchscreen with a 3:2 aspect ratio, a pixel density of 262 PPI, and peak HDR brightness of up to 2,000 nits.

Despite its beefy specs, the Surface Laptop Ultra measures less than 18mm thick and weighs under 4.5 pounds (around 2kg). The laptop will be available in Platinum and Nightfall finishes. Microsoft has also increased the size of the precision haptic touchpad by more than 30% compared to the Surface Laptop 7th Edition for improved haptic input. The Surface Laptop Ultra includes a broader selection of ports, featuring USB-C, USB-A, HDMI, a 3.5mm headphone jack, and a full-size SD card reader. It also features the world’s first built-in USB-C magnetic charging.

News of the streaming rights comes around a month after Microsoft announced some major changes to Xbox Cloud Gaming. From November, the same month Grand Theft Auto VI releases, Microsoft is limiting streaming hours to just 15 hours for Xbox Game Pass Ultimate subscribers, 10 hours for Premium subscribers, and just five hours for Game Pass Essential. Microsoft is also opening up access to Xbox Cloud Gaming with a pay-as-you-go option next month, rather than being limited to Game Pass subscriptions. The pay-as-you-go option is perfectly timed for Grand Theft Auto VI, allowing those who don’t own an Xbox, or who primarily play from a phone, to stream the game by paying for a bundle of hours.

Embedded in a cubic kilometer of Antarctic ice, IceCube uses thousands of light sensors to survey the universe for neutrinos, nearly massless particles that rarely interact with other matter. Neutrinos provide information about the workings of black holes, galaxies and other objects in the cosmos. “IceCube is like no other telescope in the world,” says UW-Madison interim Chancellor Eric M. Wilcots. “And there is no other scientist quite like Francis Halzen, whose idea to create a neutrino detector under almost a mile of ice has led to a remarkable multinational and multi-institutional scientific collaboration and a fundamental shift in how we think about the universe.”

Unlike the neutral neutrino, cosmic rays are charged particles whose paths cannot be traced directly back to their sources. But the powerful cosmic accelerators that produce them, like supermassive black holes, will also produce neutrinos. These so-called “ghost particles” travel nearly undisturbed from their accelerators, giving scientists an almost direct pointer to their source. Along with observations by other telescopes, the neutrino first detected by IceCube provided the first-ever evidence of a source of high-energy cosmic rays, whose origins have been notoriously difficult to pinpoint since their discovery over 100 years ago by 1936 physics Nobel laureate Victor Hess.

Google has contracted for 3,590 megawatts of power from Constellation Energy on the largest US power grid, with new nuclear energy accounting for about a quarter of that supply, the companies said on Tuesday. Constellation will make more than $4.3 billion of new investments in its fleet as part of the agreement, which involves adding capacity at several of the power company’s nuclear reactors in the Midwest and Mid-Atlantic regions, the companies said.

[…] Over the last two years, Constellation unveiled an agreement to restart its Three Mile Island reactor in Pennsylvania to serve Microsoft data centers, while Google contracted to restart NextEra Energy’s nuclear power plant in Iowa. In the latest arrangement, Google entered into a 20-year power purchase agreement for 890 megawatts of electricity from multiple Constellation-owned nuclear power plants, which would be upgraded to produce more electricity from existing reactors. Electricity from the first of the upgraded plants is expected to be delivered in 2028, the companies said.

Google also entered into a 15-year supply agreement for an additional 2,700 megawatts of power from Constellation in the PJM power grid. That power is not tied to a specific generation source and serves as long-term revenue certainty for Constellation’s operating plants, Google said. Maryland-based Constellation is the largest US nuclear power plant operator and owns a major fleet of natural-gas-fired power plants as well as geothermal energy following its acquisition of electricity producer Calpine Corp earlier this year. […] The 11 nuclear units expected to be upgraded as part of the arrangement with Google are in Illinois, Pennsylvania, and New Jersey, within the footprint of the largest US electric grid — PJM Interconnection.

South Korea’s police have launched a full-scale investigation into the hacking attacks against commercial banks that led to a breach of customers’ personal information, the Yonhap news agency reported on Tuesday. Shinhan Bank, KB Kookmin Bank and others had reported cyberattacks, the Financial Services Commission (FSC) said on Friday, while Yonhap reported that Hana Bank and Woori Bank also suffered breaches. Authorities have not yet disclosed details on what kind of AI tools were used in the hacking incidents or the full scale of the breaches.

On Sunday, FSC Chairman Lee Eog-weon convened an emergency meeting with financial industry associations, regulators and executives from affected institutions, warning that the sector must respond with the highest level of vigilance. Financial watchdog the Financial Supervisory Service (FSS) and the Financial Security Institute shared data about 28 unique IP addresses and some country information linked to the recent hacking attempts with the financial sector, the FSS said on Tuesday.

“Ending the clock change solves one problem, but it creates another decision: which time should we live on year-round?” said University of British Columbia’s Professor Raymond Lam, lead author of the study. “The health evidence points to standard time, largely because morning light matters for our body clocks, sleep, and mood.” Professor Lam and colleagues examined the health consequences of the two possible permanent systems rather than the broader question of whether seasonal clock changes should be abolished. They concluded that the accumulated evidence favors permanent standard time, which keeps the clock more closely aligned with human circadian biology.

This distinction, according to the team, becomes particularly important during winter. Permanent daylight saving time would push sunrise an hour later. In cities such as Toronto, for example, the latest winter sunrise would occur at 8:51 a.m., compared with 7:51 a.m. under permanent standard time. In Calgary, the corresponding times would be 9:40 a.m. and 8:40 a.m. The extra hour of morning darkness could leave people traveling to work or school before sunrise, while shifting more daylight into the evening. The change could have consequences for sleep, mood, learning and productivity, particularly among people who already have difficulty sleeping or who must follow early schedules. The reason is rooted in the body’s internal clock.

“Our biological clocks need morning light to stay synchronized with the 24-hour day,” said Simon Fraser University’s Professor Ralph Mistlberger, co-author of the study. “Permanent daylight saving time moves that light an hour later just when winter mornings are already darkest.” The analysis also highlights concerns about seasonal depression. […] By delaying natural morning light, permanent daylight saving time would act in the opposite direction, potentially weakening an important circadian signal.

The layoffs come as investors have spent months questioning whether AI will reduce the need for businesses to pay for software like HubSpot’s, a fear dubbed the “SaaSpocalypse.” HubSpot’s platform helps companies manage their customers, sales, and marketing. The company was removed from the FTSE All-World Index (USD) last month after a decline in its stock price, a report from Simply Wall St noted. The stock is down more than 43% this year as of this writing.

Yamini Rangan, CEO of HubSpot, explicitly told employees in a memo that the layoffs were “not driven by AI-related efficiencies.” Rather, the aim was to focus on “aligning our organization with our strategy and how we need to operate going forward,” Rangan wrote. She added that the goal is to “build a flatter organization with fewer layers” by cutting back on management.

Still, artificial intelligence has been central to the company’s concerns. In August, Rangan blamed AI for why the company “got off to a slow start” in April as HubSpot was trying to adjust its product and pricing. “We’re in the middle of a real transition to AI, and we are making deliberate choices to lead in it,” she said on an earnings call.

The restructuring is estimated to cost between $65 and $75 million, mostly in severance packages. The company said that laid-off employees will receive 20 weeks of base pay, one week per year of service (capped at 30 weeks), five months of COBRA and Modern Health healthcare benefits, and they will be allowed to keep their laptops.

Ars Technica points to this Reddit poster claiming they received a message from Amazon and says an unnamed spokesperson confirmed the change. When contacted by The Verge, Amazon did not provide an on-the-record statement. The message does not include any explanation for why the feature was removed. It also doesn’t mention any changes to audio output functionality like connecting an external speaker to an Echo Dot, and it appears that control of the port from within the app’s settings menu still works.

In an email to customers on Tuesday night, the company apologized and urged customers not to engage with the notification. And it said the website and app are “operating as usual” promising customers they can “shop with confidence” while it investigates the incident. The company has not as of yet informed the UK’s data watchdog, the Information Commission’s Office (ICO), about any breach.

Exactly how many Asos customers received the notification on Tuesday remains unclear, but Google’s Play store says the ASOS app has been downloaded to android devices more than 10 million times. The British retailer has a substantial global footprint — serving around 17 million customers each year across more than 150 markets. Some Asos app users in Australia, France, Sweden and the Republic of Ireland had also received the notification, according to local reports on Tuesday.

[…] Users of the Asos app appeared to have received the alarming notification at around 10:00 BST on Tuesday. Headlined “ASOS HACKED” and addressed to the company’s data protection officer and IT teams, it said: “We have fully compromised the Snowflake instance.” “Engage with us, or we will leak it,” it added, before linking to a Telegram channel. The message left many ASOS customers confused. […] Meanwhile Snowflake — whose tools are used by dozens of firms to collect, analyze and store data — told the BBC its investigation was ongoing, but it had so far found “no compromise” of its platform.

They announced this feat today as part of their promoting Lightwell Clearinghouse to GA, which is an enterprise service for their customers to submit open-source software dependencies for priority review and remediation.

From today’s announcement: “The milestone addresses a growing business risk. As autonomous AI agents become capable of combining several lower-risk software weaknesses into a more serious attack, companies need to do more than identify vulnerabilities. They need a practical way to develop, test and deploy fixes in the software that supports critical applications.”

VMware customers face multiple obstacles as they rethink their virtualization strategy to reduce dependence on VMware. Today, Rimini Street published its “2026 IT Virtualization Survey — What’s Next for VMware Users.” The survey examined 300 organizations worldwide that use VMware. Notably, Rimini sells third-party support for VMware and other software, including Oracle and SAP. That means there’s an incentive for Rimini to portray VMware users as experiencing obstacles. However, the survey was also conducted by a third-party research company, Unisphere Research, and the results align with other recent reports about VMware customers. For example, 90 percent of participants in Rimini’s survey said they’re exploring VMware alternatives due to VMware’s higher licensing costs, while 54 percent pointed to Broadcom killing support for perpetual license holders.

Since Broadcom took over VMware, customers have said that their VMware costs increased by as much as 1,000 percent, with many more pointing to more modest price hikes of around 100 to 300 percent. In Rimini’s survey, 73 percent of participants pointed to cost savings as a top priority in their virtualization roadmap decisions. In today’s announcement, Rimini pointed to “significant barriers to progress” for organizations exploring virtualization options, with the most cited barriers being operational complexity (named by 40 percent of respondents), multi-vendor management challenges (38 percent), securing the increased attack surface (37 percent), and team skills requirements (37 percent). “These findings suggest that while organizations are actively pursuing change, they are also looking for ways to reduce risk and avoid unnecessary disruption,” Rimini’s announcement said.

[…] Rimini reported that 60 percent of the organizations it surveyed are considering a multi-hypervisor strategy, which is indicative of “growing interest in more flexible, mixed environments that support both operational and financial goals.” “In addition, 47 percent are favoring a hybrid IT virtualization environment consisting of hypervisors and containers for ‘best of both worlds’ workload placement,” the announcement said. Rimini noted that 48 percent of respondents aren’t planning to move any of their assets to VMware’s hybrid cloud platform, Cloud Foundation.

ML4 was trained on 4,000 Nvidia Grace Blackwell GPUs over two months that were deployed in Mistral’s own data centers in Europe. When its core parameters are released, ML4 will rank among the top open-weight models globally on aggregate benchmark performance, Mistral said in a statement. The company added that ML4 was the strongest open-weight model developed outside China by a “substantial margin.” The new model still lags behind the frontier in areas such as coding.

“The model capabilities will further improve as we scale up our training capacity, following our Series D fundraise,” said Guillaume Lample, co-founder and chief scientist of Mistral. “Further, the cyber defense capabilities will enable enterprises and governments to defend themselves against threat actors that are jailbreaking closed models to perform cyber attacks,” he added.