An anonymous reader quotes a report from TechCrunch: Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI's new model when he made an unexpected discovery. After pasting the problem into ChatGPT and letting it think for 15 minutes, he came back to a full solution. He evaluated the proof and formalized it with a tool called Harmonic -- but it all checked out. "I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they struggle," Somani said. The surprise was that, using the latest model, the frontier started to push forward a bit. ChatGPT's chain of thought is even more impressive, rattling off mathematical axioms like Legendre's formula, Bertrand's postulate, and the Star of David theorum. Eventually, the model found a Math Overflow post from 2013, where Harvard mathematician Noam Elkies had given an elegant solution to a similar problem. But ChatGPT's final proof differed from Elkies' work in important ways, and gave a more complete solution to a version of the problem posed by legendary mathematician Paul Erdos, whose vast collection of unsolved problems has become a proving ground for AI. For anyone skeptical of machine intelligence, it's a surprising result -- and it's not the only one. AI tools have become ubiquitous in mathematics, from formalization-oriented LLMs like Harmonic's Aristotle to literature review tools like OpenAI's deep research. But since the release of GPT 5.2 -- which Somani describes as "anecdotally more skilled at mathematical reasoning than previous iterations" -- the sheer volume of solved problems has become difficult to ignore, raising new questions about large language models' ability to push the frontiers of human knowledge. Somani examined the online archive of more than 1,000 Erdos conjectures. Since Christmas, 15 Erdos problems have shifted from "open" to "solved," with 11 solutions explicitly crediting AI involvement. On GitHub, mathematician Terence Tao identifies eight Erdos problems where AI made meaningful autonomous progress and six more where it advanced work by finding and extending prior research, noting on Mastodon that AI's scalability makes it well suited to tackling the long tail of obscure, often straightforward Erdos problems. Progress is also being accelerated by a push toward formalization, supported by tools like the open-source "proof assistant" Lean and newer AI systems such as Harmonic's Aristotle.

Read more of this story at Slashdot.

Games Workshop, the owner and operator of a number of hugely popular tabletop war games, including Warhammer 40,000 and Age of Sigmar, has banned the use of generative AI in its content and design processes. IGN reports: Delivering the UK company's impressive financial results, CEO Kevin Rountree addressed the issue of AI and how Games Workshop is handling it. He said GW staff are barred from using it to actually produce anything, but admitted a "few" senior managers are experimenting with it. Rountree said AI was "a very broad topic and to be honest I'm not an expert on it," then went on to lay down the company line: "We do have a few senior managers that are [experts on AI]: none are that excited about it yet. We have agreed an internal policy to guide us all, which is currently very cautious e.g. we do not allow AI generated content or AI to be used in our design processes or its unauthorized use outside of GW including in any of our competitions. We also have to monitor and protect ourselves from a data compliance, security and governance perspective, the AI or machine learning engines seem to be automatically included on our phones or laptops whether we like it or not. We are allowing those few senior managers to continue to be inquisitive about the technology. We have also agreed we will be maintaining a strong commitment to protect our intellectual property and respect our human creators. In the period reported, we continued to invest in our Warhammer Studio -- hiring more creatives in multiple disciplines from concepting and art to writing and sculpting. Talented and passionate individuals that make Warhammer the rich, evocative IP that our hobbyists and we all love."

Read more of this story at Slashdot.

The UK government has awarded guaranteed electricity prices to offshore wind projects totaling 8.4 GW in a bid to revive wind development, attract nearly $30 billion in private investment, and stabilize energy costs. The New York Times reports: On Wednesday, the British government said that it would provide guaranteed electricity prices for a group of wind farms off England, Scotland and Wales that would, once built, provide power for 12 million homes. The 8.4 gigawatts, a power capacity measure, that won support is the largest amount that has been achieved in an auction in Britain. The government said that these wind farms could lead to 22 billion pounds, or almost $30 billion, in private investment. The government holds regular auctions, roughly on an annual basis. Results have been improving after a failed auction in 2023 that produced no bids from developers. The government almost doubled its original budget for the recent auction to about 1.8 billion pounds per year. To encourage renewable energy sources like offshore wind, Britain offers a price floor to provide certainty for investors. The average floor, or strike price, from the auction on Wednesday was about 91 pounds, or $122 per megawatt-hour, in 2024 prices, up about 11 percent from the last auction. Over the past year the wholesale price for electricity in Britain was on average about 79 pounds, according to Drax Electric Insights, a market analysis website. The bulk of the planned wind farms that won price supports will be off eastern England. Support will also go to wind farms off Scotland and Wales. The British government wants at least 95 percent of the country's electricity generation to come from clean sources by 2030. Political consensus for ambitious climate goals is eroding in Britain, but the government of Prime Minister Keir Starmer believes that an enormous bet on clean energy, especially offshore wind, is necessary to protect consumers from volatile fossil fuel prices.

Read more of this story at Slashdot.

Matthias sends us what he calls the "tern of the century". Which, before I share it with you: bad news, it's just a regular bad ternary. But it remains bad in interesting ways, so it's definitely worth talking about. But let's not oversell it.

private static String getOrderTypeCode(CreateOrderRequest order) { return !StringUtils.isBlank(order.getOrderParams().getReceivingCompanyFoo()) && ORDR_TP_DQQ_FOO.equals(order.getOrderParams().getOrderType()) ? ORDR_TP_DQQ_BAR_CDE : order.GetOrderParams().getOrderType().getOrderTypeCode(); }

This function takes an order, and inspects it to figure out the type of order it represents. The logic is this: if the receiving company has the "foo" property set, and the order is already set to type "Foo", then we return the "bar" code (not a bar code- Matthias is using "foo" and "bar" as anonymous placeholders), otherwise we return whatever order type code that was set on the order type.

Now, I've left this all on one line, as it is in the codebase, which certainly helps with the WTF feeling of the whole thing. Protip: don't write ternaries that need to wrap across three lines to be readable.

This is messy and unreadable, but by ternary standards it's just regular bad. No, the thing that is driving me up the wall is the code-golfy constant names. ORDR is short for ORDER. CDE is CODE. I have no idea what TP or DQQ stand for. But I see no good reason to turn every constant into the name of some droid loitering around Jabba's Palace in Star Wars just to save a few keystrokes.

I'd be less bothered if the abbreviations were more cryptic, but just dropping a middle vowel from "ORDER" sits in this bizarre half-point between "exists as meaningless jargon, good luck" and "I wrote something readable". I'd be less annoyed if it were more of a WTF.

[Advertisement] Keep all your packages and Docker containers in one place, scan for vulnerabilities, and control who can access different feeds. ProGet installs in minutes and has a powerful free version with a lot of great features that you can upgrade when ready.Learn more.

An anonymous reader quotes a report from DealBook: Fifteen years ago, Daniel Ek broke into America's digital-content wars with his streaming music start-up, Spotify, which has turned into a publicly traded company with a $110 billion market value. Now he and his business partner, the Swedish entrepreneur Hjalmar Nilsonne, aim to crack a higher-stakes consumer market: American health care. The pair plan to bring Neko Health, the health tech start-up they founded in 2018, to New York this spring, DealBook is first to report. Mr. Ek and Mr. Nilsonne hope to capitalize on the growing number of prevention-minded Americans who are hungry to track their biometric data. Whether through wearables like Oura rings or more intensive screenings, consumers are turning to technology to improve their health and help spot the early onset of some big killers, including cardiovascular and metabolic diseases. The United States will be the third market, after Sweden and Britain, for Neko Health, which offers full-body diagnostic scans and is valued at roughly $1.7 billion. [...] Mr. Nilsonne and Mr. Ek said Neko Health's big aim was to change the health care model, in which spending across much of the developed world skyrockets but longevity gains have stalled. They want to make their noninvasive scans as routine as an annual checkup. The company, which advertises its service as "a health check for your future self," did not say what the U.S. scans would cost. But in Stockholm, an hourlong visit at one of its clinics costs 2,750 Swedish krona (about $300). Prenuvo's and Ezra's most comprehensive scans can cost $3,999. [...] Neko Health's technology differs from that of many of its U.S. rivals. It does not use M.R.I. or X-rays, instead relying on scores of sensors and cameras and a mix of proprietary and off-the-shelf technologies to measure heart function and circulation, and to photograph and map every inch of a patient's body looking for cancerous lesions. At the moment, the company's biggest challenge is scaling. [...] Mr. Nilsonne said Neko Health scans have detected the early onset of diseases or serious medical conditions for thousands of its patients. But the medical community is divided on the need for proactive screening technologies. The fear is that mass adoption could spur a wave of false positives and send healthy people to seek follow-up medical advice, overwhelming an already swamped health care system. Mr. Ek and Mr. Nilsonne believe they have built a better solution. And now they're ready to test it in the U.S. market.

Read more of this story at Slashdot.

After nearly two decades of touchscreen dominance, QWERTY smartphones are staging a niche comeback, with Clicks and Unihertz unveiling new physical-keyboard phones at CES 2026. Gizmodo reports: At CES 2026, Clicks, the company behind the Clicks keyboard case and the new Power Keyboard, announced plans to sell the Communicator, a "second phone" with a QWERTY keypad. Clicks pitches the $500 phone, launching later this year, as a device primarily intended for messaging -- sending texts, DMs, Slack messages, whatever. The company didn't have a functional unit -- only a mockup dummy to fondle at the show -- but it looked cool enough, even if it'll be a very niche product. It's a cool idea, but how many people will carry a companion phone to their main phone just to shoot off a few DMs? $500 is a lot to ask for that satisfaction. But Clicks isn't the only one trying to bring back QWERTY phones. Unihertz, makers of the really tiny Jelly Android phones and also Tank phones with massive battery capacities, also teased a new phone with a physical keyboard. The Titan 2 Elite seems to be a less gimmicky version of the Titan 2, which itself was a BlackBerry Passport knockoff but with a bizarre square screen on the backside. Look closely, and there are some weird similarities between the Clicks Communicator and the Titan 2 Elite. We don't have dimension specs yet, but the screens seem to have the same rounded corners, and even the hole-punch camera is in the same upper-left corner. The only difference seems to be the keyboards; the Communicator uses individual keys, whereas the Titan 2 Elite's keyboard is more BlackBerry-esque. After digging into the Clicks Communicator's specs, a few other features stood out that Slashdotters might appreciate. There's a dedicated 3.5mm headphone jack, a physical "kill switch" (essentially an alert slider), fingerprint scanner and even a customizable notification LED. The last time we saw a phone with a dedicated notification LED was around 2019!

Read more of this story at Slashdot.

Digg is officially back under the ownership of its original founder, Kevin Rose, along with Reddit co-founder Alexis Ohanian. "Similar to Reddit, the new Digg offers a website and mobile app where you can browse feeds featuring posts from across a selection of its communities and join other communities that align with your interests," reports TechCrunch. "There, you can post, comment, and upvote (or 'digg') the site's content." From the report: [T]he rise of AI has presented an opportunity to rebuild Digg, Rose and Ohanian believe, leading them to acquire Digg last March through a leveraged buyout by True Ventures, Ohanian's firm Seven Seven Six, Rose and Ohanian themselves, and the venture firm S32. The company has not disclosed its funding. They're betting that AI can help to address some of the messiness and toxicity of today's social media landscape. At the same time, social platforms will need a new set of tools to ensure they're not taken over by AI bots posing as people. "We obviously don't want to force everyone down some kind of crazy KYC process," said Rose in an interview with TechCrunch, referring to the 'know your customer' verification process used by financial institutions to confirm someone's identity. Instead of simply offering verification checkmarks to designate trust, Digg will try out new technologies, like using zero-knowledge proofs (cryptographic methods that verify information without revealing the underlying data) to verify the people using its platform. It could also do other things, like require that people who join a product-focused community verify they actually own or use the product being discussed there. As an example, a community for Oura ring owners could verify that everyone who posts has proven they own one of the smart rings. Plus, Rose suggests Digg could use signals acquired from mobile devices to help verify members -- for instance, the app could identify when Digg users attended a meetup in the same location. "I don't think there's going to be any one silver bullet here," said Rose. "It's just going to be us saying ... here's a platter of things that you can add together to create trust."

Read more of this story at Slashdot.

Cerebras Systems landed a more than $10 billion deal to supply up to 750 megawatts of compute to OpenAI through 2028, according to a blog post by OpenAI. CNBC reports: The deal will help diversify Cerebras away from the United Arab Emirates' G42, which accounted for 87% of revenue in the first half of 2024. "The way you have three very large customers is start with one very large customer, and you keep them happy, and then you win the second one," Cerebras' co-founder and CEO Andrew Feldman told CNBC in an interview. Cerebras has built a large processor that can train and run generative artificial intelligence models. [...] "Cerebras adds a dedicated low-latency inference solution to our platform," Sachin Katti, who works on compute infrastructure at OpenAI, wrote in the blog. "That means faster responses, more natural interactions, and a stronger foundation to scale real-time AI to many more people." The deal comes months after OpenAI worked with Cerebras to ensure that its gpt-oss open-weight models would work smoothly on Cerebras silicon, alongside chips from Nvidia and Advanced Micro Devices. OpenAI's gpt-oss collaboration led to technical conversations with Cerebras, and the two companies signed a term sheet just before Thanksgiving, Feldman said in an interview with CNBC. The report notes that this deal helps strengthen Cerebras' IPO prospects. The $10+ billion OpenAI deal materially improves revenue visibility, customer diversification, and strategic credibility, addressing key concerns from its withdrawn filing and setting the stage for a more compelling refile with updated financials and narrative.

Read more of this story at Slashdot.

An anonymous reader quotes a report from Gothamist: City regulators on Tuesday accused Uber and DoorDash of deliberately altering their app interfaces to discourage customers from tipping food delivery workers, a move that has cost the employees more than $550 million over the last two years. A report (PDF) published by the Department of Consumer and Worker Protection argues that food delivery app giants retaliated against minimum wage rules for delivery drivers that took effect in December 2023 by implementing "design tricks" that obscure opportunities to offer a tip in their mobile apps. DoorDash explicitly blames the new wage rules for removing the simpler tipping option. "In response to regulations in New York City, you will now only be able to add a tip for your Dasher after they have been assigned," a message on the app's checkout page states. Other food delivery apps like GrubHub allow customers the option to add a tip before checking out. The average tip for DoorDash and Uber Eats drivers in the city fell from $2.17 to 76 cents per delivery after the companies made the changes to their apps, the report found. Both companies also issue messages to customers in the city telling them the prices for their orders were "set by an algorithm using your personal data." Further reading: Uber and DoorDash Try To Halt NYC Law That Encourages Tipping

Read more of this story at Slashdot.

The U.S. has approved limited sales of Nvidia's H200 AI chips to China, the Department of Commerce said on Tuesday. Exports will be allowed to "approved customers" with security safeguards and a 25% U.S. government cut. The company's most advanced Blackwell chips will remain restricted. The BBC reports: The H200, Nvidia's second-most-advanced semiconductor, had been restricted by Washington over concerns that it would give China's technology industry and military an edge over the U.S. The Commerce Department said the chips can be shipped to China granted that there is sufficient supply of the processors in the U.S. Nvidia's spokesperson told the BBC that the company welcomed the move, saying it will benefit manufacturing and jobs in the U.S. The Commerce Department's Bureau of Industry and Security said its revised export policy applies to Nvidia's H200 chips, as well as less advanced processors. Chinese customers must also show "sufficient security procedures" and cannot use the chips for military uses. Chinese embassy spokesman Liu Pengyu told the BBC on Wednesday that Beijing has consistently opposed the "politicization and weaponization of tech and trade issues." "We oppose blocking and restricting China, which disrupts the stability of industrial and supply chains," he said. "This approach does not serve the common interests of both sides."

Read more of this story at Slashdot.

Bandcamp has announced a ban on music made wholly or substantially by generative AI, aiming to protect human creativity and prohibit AI impersonation of artists. Here's what the music platform had to say: ... Something that always strikes us as we put together a roundup like this is the sheer quantity of human creativity and passion that artists express on Bandcamp every single day. The fact that Bandcamp is home to such a vibrant community of real people making incredible music is something we want to protect and maintain. Today, in line with that goal, we're articulating our policy on generative AI. We want musicians to keep making music, and for fans to have confidence that the music they find on Bandcamp was created by humans. Our guidelines for generative AI in music and audio are as follows: - Music and audio that is generated wholly or in substantial part by AI is not permitted on Bandcamp. - Any use of AI tools to impersonate other artists or styles is strictly prohibited in accordance with our existing policies prohibiting impersonation and intellectual property infringement. If you encounter music or audio that appears to be made entirely or with heavy reliance on generative AI, please use our reporting tools to flag the content for review by our team. We reserve the right to remove any music on suspicion of being AI generated. We will be sure to communicate any updates to the policy as the rapidly changing generative AI space develops. Given the response around this to our previous posts, we hope this news is welcomed. We wish you all an amazing 2026. [...]

Read more of this story at Slashdot.

An anonymous reader quotes a report from Ars Technica: According to the government's version of events, 43-year-old Christopher Southerland was working in 2023 as a sysadmin for the House Committee on Transportation and Infrastructure. In his role, Southerland had the authority to order cell phones for committee staffers, of which there are around 80. But during the early months of 2023, Southerland is said to have ordered 240 brand-new phones -- far more than even the total number of staffers -- and to have shipped them all to his home address in Maryland. The government claims that Southerland then sold over 200 of these cell phones to a local pawn shop, which was told to resell the devices only "in parts" as a way to get around the House's mobile device management software, which could control the devices remotely. It's hard to find good help these days, though, even at pawn shops. At some point, at least one of the phones ended up, intact, on eBay, where it was sold to a member of the public. This member of the public promptly booted the phone, which did not display the expected device operating system screen but instead "a phone number for the House of Representatives Technology Service Desk." The phone buyer called this number, which alerted House IT staff that government phones were being sold on eBay. According to the government, this sparked a broader investigation to figure out what was going on, which revealed that "several phones purchased by Southerland were unaccounted for." The full scheme is said to have cost the government over $150,000. Southerland was indicted in early December 2025 and arrested on January 8, 2026. He pled not guilty and has a court date scheduled for later this month.

Read more of this story at Slashdot.

The UK government has abandoned its controversial plan to require workers to sign up for a mandatory digital ID system to prove their eligibility to work in the country, opting instead to move existing document-based checks -- such as biometric passports -- fully online by 2029. The reversal follows a dramatic collapse in public support; polling showed approval falling from just over half the population in June to less than a third after Prime Minister Keir Starmer's announcement. Nearly 3 million people signed a parliamentary petition opposing the scheme. The government says it remains committed to mandatory digital right-to-work checks but will no longer require enrollment in a new ID system.

Read more of this story at Slashdot.

Dell's chief operating officer Jeff Clarke has informed employees that the company is preparing for what he calls the "biggest transformation in company history," a sweeping systems overhaul scheduled to launch on May 3 that will standardize processes across nearly every major division. The initiative, dubbed One Dell Way, will replace Dell's existing sprawl of applications, servers and databases with a single enterprise platform designed to unify the 42-year-old company's operations. Clarke's memo, sent to staff on Tuesday and obtained by Business Insider, said Dell has spent the past two years building toward this transition. The May 3 launch will affect the company's PC business, finance, supply chain, marketing, sales, revenue operations, services, and HR. The ISG division, which handles cloud and AI infrastructure, will follow in August. "We need one way -- simplified, standardized and automated -- so we can be more competitive and serve our customers better," Clarke wrote. Mandatory training begins February 3.

Read more of this story at Slashdot.

An anonymous reader shares a report: Global temperatures soared in 2025, but a NASA statement published Wednesday alongside its latest benchmark annual report makes no reference to climate change, in line with President Donald Trump's push to deny the reality of planetary heating as a result of human activities. That marks a sharp break from last year's communications, issued under the administration of Democrat Joe Biden, which stated plainly: "This global warming has been caused by human activities" and has led to intensifying "heat waves, wildfires, intense rainfall and coastal flooding." Last year's materials also featured lengthy quotes from the then-NASA chief and a senior scientist and included graphics and a video. By contrast, this year's release only runs through a few key figures, and amounts to a handful of paragraphs. According to the US space agency, Earth's global surface temperature in 2025 was slightly warmer than in 2023 -- albeit within a margin of error -- making it effectively tied as the second-hottest year on record after 2024.

Read more of this story at Slashdot.

Verizon said on Wednesday that its wireless service was suffering an outage impacting cellular data and voice services. From a report: The nation's largest wireless carrier said that its "engineers are engaged and are working to identify and solve the issue quickly." Verizon's statement came after a swath of social media comments directed at Verizon, with users saying that their mobile devices were showing no bars of service or "SOS," indicating a lack of connection. Verizon, which has more than 146 million customers, appears to have started experiencing services issues around 12:00 p.m. ET, according to comments on social media site X. Users also reported problems with Verizon competitor T-Mobile. But the company said that it was not having any service issues. "T-Mobile's network is keeping our customers connected, and we've confirmed that our network is operating optimally," a spokesperson told NBC News. "However, due to Verizon's reported outage, our customers may not be able to reach someone with Verizon service at this time."

Read more of this story at Slashdot.

An anonymous reader shares a report: Chinese authorities have told domestic companies to stop using cybersecurity software made by roughly a dozen firms from the U.S. and Israel due to national security concerns, two people briefed on the matter said. As trade and diplomatic tensions flare between China and the U.S. and both sides vie for tech supremacy, Beijing has been keen to replace Western-made technology with domestic alternatives. The U.S. companies whose cybersecurity software has been banned include Broadcom-owned VMware, Palo Alto Networks and Fortinet, while the Israeli companies include Check Point Software Technologies, the sources said.

Read more of this story at Slashdot.

Coal power generation fell in China and India for the first time since the 1970s last year, in a "historic" moment that could bring a decline in global emissions, according to analysis. From a report: The simultaneous fall in coal-powered electricity in the world's biggest coal-consuming countries had not happened since 1973, according to analysts at the Centre for Research on Energy and Clean Air, and was driven by a record roll-out of clean energy projects. The research, commissioned by the climate news website Carbon Brief, found that electricity generated by coal plants fell by 1.6% in China and by 3% in India last year, after the boom in clean energy across both countries was more than enough to meet their rising demand for energy. China added more than 300GW of solar power and 100GW of wind power last year -- together, more than five times the UK's total existing power generation capacity -- which are both "clear new records for China and, therefore, for any country ever," the report said. India added 35GW of solar, 6GW of wind and 3.5GW of hydropower last year, according to the analysis.

Read more of this story at Slashdot.

McKinsey is asking graduate applicants to "collaborate" with an AI tool as part of its recruitment process, as competence with the technology becomes a requirement in competing for top-level jobs. From a report: The blue-chip consultancy is incorporating an "AI interview" into some final-round interviews, according to CaseBasix, a US company that helps candidates apply for posts at leading strategic consulting companies. In an online post, CaseBasix said candidates in "select final rounds" in the US have been asked to complete tests using McKinsey's internal AI tool, Lilli. They are required to carry out practical consulting tasks with the help of Lilli. "In the McKinsey AI interview, you are expected to prompt the AI, review its output, and apply judgment to produce a clear and structured response. The focus is on collaboration and reasoning rather than technical AI expertise," CaseBasix said.

Read more of this story at Slashdot.

Amazon founder Jeff Bezos once told an audience that he views local PC hardware the same way he views a 100-year-old electric generator he saw in a brewery museum -- as a relic of a pre-grid era, destined to be replaced by centralized utilities that users simply rent rather than own. The anecdote, shared at a talk a few years ago, positioned Amazon Web Services and Microsoft Azure as the inevitable successors to the desktop tower. Bezos argued that users would eventually abandon local computing for cloud-based solutions, much as businesses once abandoned on-site power generation for the electrical grid. Current market dynamics have made that prediction feel more plausible. DRAM prices have become increasingly untenable for consumers, and companies like Dell and ASUS have signaled price increases across their PC ranges. Micron has shut down its consumer DRAM operations entirely, prioritizing AI datacenter demand instead. SSD storage is expected to face similar constraints. Cloud gaming services from Amazon Luna, NVIDIA GeForce Now and Xbox are seeing steady growth. Microsoft previously developed a consumer version of its business-grade Windows 365 cloud PC product, though the company deprioritized it -- the economics didn't work when cheap laptops remained available. That calculus could shift. Xbox Game Pass's 1440p cloud gaming runs $30 monthly and NVIDIA recently imposed a 100-hour cap on its cloud platform. The infrastructure remains expensive to operate, but rising local hardware costs may eventually close that gap.

Read more of this story at Slashdot.