IBM announced plans to invest $150 billion in the United States over the next five years, with more than $30 billion earmarked specifically for research and development of mainframes and quantum computing technology. The investment follows similar commitments from tech giants including Apple and Nvidia -- each pledging approximately $500 billion -- in the wake of President Trump's election and tariff threats.

"We have been focused on American jobs and manufacturing since our founding 114 years ago," said IBM CEO Arvind Krishna in a statement. The company currently manufactures its mainframe systems in upstate New York and plans to continue designing and assembling quantum computers domestically. The announcement comes amid challenging circumstances for IBM, which recently saw 15 government contracts shelved under the Trump administration's cost-cutting initiatives.

Further reading: IBM US Cuts May Run Deeper Than Feared - and the Jobs Are Heading To India;
IBM Now Has More Employees In India Than In the US (2017).

A new DARPA project called expMath "aims to jumpstart math innovation with the help of AI," writes The Register. America's "Defense Advanced Research Projects Agency" believes mathematics isn't advancing fast enough, according to their article... So to accelerate — or "exponentiate" — the rate of mathematical research, DARPA this week held a Proposers Day event to engage with the technical community in the hope that attendees will prepare proposals to submit once the actual Broad Agency Announcement solicitation goes out...

[T]he problem is that AI just isn't very smart. It can do high school-level math but not high-level math. [One slide from DARPA program manager Patrick Shafto noted that OpenAI o1 "continues to abjectly fail at basic math despite claims of reasoning capabilities."] Nonetheless, expMath's goal is to make AI models capable of:

- auto decomposition — automatically decompose natural language statements into reusable natural language lemmas (a proven statement used to prove other statements); and
auto(in)formalization — translate the natural language lemma into a formal proof and then translate the proof back to natural language.
"How must faster with technology advance with AI agents solving new mathematical proofs?" asks former DARPA research scientist Robin Rowe (also long-time Slashdot reader robinsrowe): DARPA says that "The goal of Exponentiating Mathematics is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions."
Rowe is cited in the article as the founder/CEO of an AI research institute named "Fountain Adobe". (He tells The Register that "It's an indication of DARPA's concern about how tough this may be that it's a three-year program. That's not normal for DARPA.") Rowe is optimistic. "I think we're going to kill it, honestly. I think it's not going to take three years. But I think it might take three years to do it with LLMs. So then the question becomes, how radical is everybody willing to be?"
"We will robustly engage with the math and AI communities toward fundamentally reshaping the practice of mathematics by mathematicians," explains the project's home page. They've already uploaded an hour-long video of their Proposers Day event.

"It's very unclear that current AI systems can succeed at this task..." program manager Shafto says in a short video introducing the project. But... "There's a lot of enthusiasm in the math community for the possibility of changes in the way mathematics is practiced. It opens up fundamentally new things for mathematicians. But of course, they're not AI researchers. One of the motivations for this program is to bring together two different communities — the people who are working on AI for mathematics, and the people who are doing mathematics — so that we're solving the same problem.

At its core, it's a very hard and rather technical problem. And this is DARPA's bread-and-butter, is to sort of try to change the world. And I think this has the potential to do that.

Remember First Light Fusion? Founded in 2011, it was a pioneering British startup that in 2022 "successfully combined atomic nuclei, which U.K. regulators called a milestone in the decades-long push for fusion energy.

It's now "pulled the plug on plans to build its first reactor," reports the Telegraph, abandoning its push for a prototype power plant based on its "projectile fusion" technology due to a lack of funding. The technology involves a 5p-sized projectile being fired at a fuel cell at extreme speeds using electromagnets to generate a powerful reaction and simulate collisions at extremely high speeds, such as those in space. Instead of building its own plant, First Light plans to supply other nuclear power companies with one of its inventions, called an "amplifier", which houses a nuclear fuel capsule and boosts the power of fusion reactions.

The group has burned through tens of millions of pounds trying to bring its technology to fruition... The decision to ditch its original plan will allow First Light Fusion to be more "capital light", the nuclear group said in March, while licensing its inventions would generate more revenues. The company said it had recently secured the first tranche of a new funding round. Mark Thomas, First Light Fusion's chief executive, said: "We have been very pleased with the response to our strategy pivot, moving to an enabler of inertial fusion while rapidly accelerating revenues...

First Light Fusion's other investors include Chinese technology giant Tencent.

Its goal was to "support workers to reclaim the power of future-making". A 2022 pilot project saw over 25 Amazon workers meeting online "to discuss how science fiction shed light on their working conditions and futures." 13 of them then continued meeting regularly in 2023 with the "Worker as Futurist" project (funded by Canada's Social Sciences and Humanities Research Council, according to an article by the project's leaders in the socialist magazine Jacobin). "Our team of scholars, teachers, writers, and activists has been able to pay Amazon workers (warehouse workers, drivers, copy editors, MTurk workers, and more) to participate in a series of skill-building writing workshops and information sessions...."

And when it was over, "the participants were supported to draft the stories they wanted to tell about The World After Amazon...."

Six months ago they held the big launch event for the book's print edition, while also promising that "you can read the workers' stories online, or download the book as a PDF or an ebook, all for free." The Amazon-worker stories have tempting titles like "The Museum of Prime", "The Dark Side of Convenience", and even "The Iron Uprising." ("In a dystopian future of corporate power, humans and robots come together in resistance and in love.")

And the project also created a 13-episode podcast offering "interviews with experts on Amazon, activists and organizers, science fiction writers and others dedicated to reclaiming the future from corporate control." As they wrote in Jacbon: This isn't finding individual commercial or literary success, but dignity, imagination, and common struggle... Our "Worker as Futurist" project returns the power of the speculative to workers, in the name of discovering something new about capitalism and the struggle for something different...

We must envision the futures we want in order to mobilize and fight for them together, rather than cede that future to those who would turn the stars into their own private sandbox... The rank-and-file worker — the target of daily exploitation, forced to build their boss's utopia — may have encrypted within them the key to destroying his world and building a new one.

"Google's DeepMind UK team reportedly seeks to unionize," reports TechCrunch: Around 300 London-based members of Google's AI-focused DeepMind team are seeking to unionize with the Communication Workers Union, according to a Financial Times report that cites three people involved with the unionization effort.

These DeepMind employees are reportedly unhappy about Google's decision to remove a pledge not to use AI for weapons or surveillance from its website. They're also concerned about the company's work with the Israeli military, including a $1.2 billion cloud computing contract that has prompted protests elsewhere at Google.
At least five DeepMind employees quit, according to the report (out of a 2,000 total U.K. staff members).

"A small group of around 200 employees of Google and its parent company Alphabet previously announced that they were unionizing," the article adds, "though as a union representing just a tiny slice of the total Google workforce, it lacked the ability to collectively bargain."

The university blamed it on "the significant number of students" who violated their coding competition's rules. Long-time Slashdot reader theodp quotes this report from The Logic: Finding that many students violated rules and submitted code not written by themselves, the University of Waterloo's Centre for Computing and Math decided not to release results from its annual Canadian Computing Competition (CCC), which many students rely on to bolster their chances of being accepted into Waterloo's prestigious computing and engineering programs, or land a spot on teams to represent Canada in international competitions.

"It is clear that many students submitted code that they did not write themselves, relying instead on forbidden external help," the CCC co-chairs explained in a statement. "As such, the reliability of 'ranking' students would neither be equitable, fair, or accurate."
"It is disappointing that the students who violated the CCC Rules will impact those students who are deserving of recognition," the univeresity said in its statement. They added that they are "considering possible ways to address this problem for future contests."

"Google-owned YouTube's revenue last year was estimated to be $54.2 billion," reports the Los Angeles Times, "which would make it the second-largest media company behind Walt Disney Co., according to a recent report from research firm MoffettNathanson, which called YouTube 'the new king of all media.'" YouTube, run by Chief Executive Neal Mohan since 2023, accounted for 12% of U.S. TV viewing in March, more than other rival streaming platforms including Netflix and Tubi, according to Nielsen... More people are watching YouTube on TV sets rather than on smartphones and computer screens, consuming more than 1 billion hours on average of YouTube content on TV daily, the company said on its website.
When YouTube first started its founders envisioned it as a dating site, according to the article, "where people would upload videos and score them. When that didn't work, the founders decided to open up the platform for all sorts of videos." And since this was 20 years ago, "Users drove traffic to YouTube by sharing videos on MySpace."

But the article includes stories of people getting rich through YouTube's sharing of ad revenue: Patrick Starrr, who produces makeup tutorial videos, said he made his first $1 million through YouTube at the age of 25. He left his job at retailer MAC Cosmetics in Florida and moved to L.A...

[Video creator Dhar Mann] started posting videos on YouTube in 2018 with no film background. Mann previously had a business that sold supplies to grow weed. Today, his company, Burbank-based Dhar Mann Studios, operates on 125,000 square feet of production space, employs roughly 200 people and works with 2,000 actors a year on family friendly programs that touch on how students and families deal with topics such as bullying, narcolepsy, chronic inflammatory bowel disease and hoarding. Mann made $45 million last year, according to Forbes estimates. The majority of his company's revenue comes through YouTube.
He tells the Times "I don't think it's just the future of TV — it is TV, and the world is catching on."

And then there's this... "My mom would always give me so much crap about it — she would say, 'Why do you want to do YouTube?'" said Chucky Appleby, now an executive at MrBeast. His reply: "Mom, you can make a living from this." MrBeast's holding company, Beast Industries, which employs more than 400 people, made $473 million in revenue last year, according to Business Insider. In the last 28 days, MrBeast content — which includes challenges and stunt videos — received 3.6 billion views on YouTube, Appleby said.

Appleby, 28, said he's since bought a Jeep for his mom.

"Only the United States, China and Germany have larger economies than California," reports CNN.

In fact, they add that California "outpaced all three countries with growth of 6% last year," according to the California governor's office (which cites new data from the International Monetary Fund and the U.S. Bureau of Economic Analysis): In 2024, California's growth rate of 6% outpaced the top three economies: U.S. (5.3%), China (2.6%) and Germany (2.9%)...

With an increasing state population and recent record-high tourism spending, California is the nation's top state for new business starts, access to venture capital funding, and manufacturing, high-tech, and agriculture. The state drives national economic growth and also sends over $83 billion more to the federal government than it receives in federal funding. California is the leading agricultural producer in the country and is also the center for manufacturing output in the United States, with over 36,000 manufacturing firms employing over 1.1 million Californians.
The data shows that last year California accounted for 14% of America's GDP, CNN points out, "driven by Silicon Valley and its real estate and finance sectors."

An anonymous reader shared this report from the Washington Post: The acting U.S. attorney for the District of Columbia sent a letter to the nonprofit that runs Wikipedia, accusing the tax-exempt organization of "allowing foreign actors to manipulate information and spread propaganda to the American public."

In the letter dated April 24, Ed Martin said he sought to determine whether the Wikimedia Foundation's behavior is in violation of its Section 501(c)(3) status. Martin asked the foundation to provide detailed information about its editorial process, its trust and safety measures, and how it protects its information from foreign actors. "Wikipedia is permitting information manipulation on its platform, including the rewriting of key, historical events and biographical information of current and previous American leaders, as well as other matters implicating the national security and the interests of the United States," Martin wrote. "Masking propaganda that influences public opinion under the guise of providing informational material is antithetical to Wikimedia's 'educational' mission."
Google prioritizes Wikipedia articles, the letter points out, which "will only amplify propaganda" if the content contained in Wikipedia articles "is biased, unreliable, or sourced by entities who wish to do harm to the United States." And as a U.S.-based non-profit, Wikipedia enjoys tax-exempt status while its board "is composed primarily of foreign nationals," the letter argues, "subverting the interests of American taxpayers."

While noting Martin's concerns about "allowing foreign actors to manipulate information and spread propaganda," the Washington Post also notes that before being named U.S. attorney, "Martin appeared on Russia-backed media networks more than 150 times, The Washington Post reported last week...."

Additional articles about the letter here and here.

An anonymous reader quotes a report from IEEE Spectrum: The XPrize Foundation today announced the winners of its four-year, $100 million XPrize competition in carbon removal. The contest is one of dozens hosted by the foundation in its 20-year effort to encourage technological development. Contestants in the carbon removal XPrize had to demonstrate ways to pull carbon dioxide from the atmosphere or oceans and sequester it sustainably.

Mati Carbon, a Houston-based startup developing a sequestration technique called enhanced rock weathering, won the grand prize of $50 million. The company spreads crushed basalt on small farms in India and Africa. The silica-rich volcanic rock improves the quality of the soil for the crops but also helps remove carbon dioxide from the air. It does this by reacting with dissolved CO2 in the soil's water, turning it into bicarbonate ions and preventing it from returning to the atmosphere.

More than a dozen organizations globally are developing enhanced rock weathering approaches at an industrial scale, but Mati's tech-heavy verification and software platform caught the XPrize judges' attention. "On the one hand, they're moving rocks around in trucks—that's not very techy. But when we looked under the hood... what we saw was a very impressive data-collection exercise," says Michael Leitch, XPrize's technical lead for the competition. Here's a list of the runners-up:

- Paris-based NetZero won $15 million for turning agricultural waste into biochar through pyrolysis, a method that locks carbon into a stable, solid form.
- Houston-based Vaulted Deep won $8 million for geologically sequestering carbon-rich organic waste by injecting it deep underground.
- London-based Undo Carbon won $5 million for its enhanced rock weathering approach, spreading silicate minerals to speed up natural carbon removal.

Additionally, Project Hajar and Planetary Technologies each received $1 million honorary XFactor prizes, recognizing their promising work in direct air capture and ocean carbon removal, despite not meeting the competition's 1,000-tonne removal threshold.

Longtime Slashdot reader AmiMoJo shares a report from the BBC: China will let scientists from six countries, including the U.S., examine the rocks it collected from the Moon -- a scientific collaboration that comes as the two countries remain locked in a bitter trade war. Two NASA-funded U.S. institutions have been granted access to the lunar samples collected by the Chang'e-5 mission in 2020, the China National Space Administration (CNSA) said on Thursday. CNSA chief Shan Zhongde said that the samples were "a shared treasure for all humanity," local media reported.

Chinese researchers have not been able to access NASA's Moon samples because of restrictions imposed by U.S. lawmakers on the space agency's collaboration with China. Under the 2011 law, Nasa is banned from collaboration with China or any Chinese-owned companies unless it is specifically authorized by Congress. But John Logsdon, the former director of the Space Policy Institute at George Washington University, told BBC Newshour that the latest exchange of Moon rocks have "very little to do with politics." While there are controls on space technology, the examination of lunar samples had "nothing of military significance," he said. "It's international cooperation in science which is the norm."

DoorDash has sent a proposal to buy the British meal delivery company Deliveroo for $3.6 billion. "The current offer marks the first formal approach since the last report in the summer," notes Reuters. From the report: The deal is expected to face no regulatory hurdles, as it provides DoorDash access to 10 new markets where it currently has no presence, creating a highly complementary footprint - other competitors might encounter more antitrust issues, the source said. Last year, Reuters reported DoorDash had shown interest in a takeover of Deliveroo, but a source said talks ended after disagreements on valuation.

A deal between the two firms would help DoorDash solidify its footprint in Europe, after the U.S. meal delivery group's 2021 purchase of Finland-based rival Wolt Enterprises in an all-stock deal valued at about $8 billion.

Families earning $300,000 annually -- placing them among America's highest earners -- are increasingly finding themselves unable to afford elite college tuition without taking on substantial debt. Bloomberg's analysis of financial aid data from 50 selective colleges reveals households earning between $100,000 and $300,000 occupy a precarious middle ground: too affluent for meaningful aid but insufficiently wealthy to absorb annual costs approaching $100,000.

The squeeze begins around $150,000 income, where families typically contribute 20% ($30,000) annually toward tuition. At $270,000 income, expected contributions reach $61,000 per year. Most institutions eliminate financial aid entirely at approximately $400,000 income. Harvard, MIT, and the University of Pennsylvania recently expanded free tuition thresholds to $200,000, acknowledging this middle-class pressure. The changes take effect for 2025-26.

The Federal Reserve Board and the Federal Deposit Insurance Corp. have withdrawn several statements regarding banks' crypto-related activities in an effort to support innovation and clarify current policies. From a report: Two joint statements from 2023 on liquidity and other risks regarding banks' crypto-related activities were pulled on Thursday, the FDIC said. The move aims to clarify that banking organizations may engage in crypto activities so long as they are consistent with current laws and regulations. Banks may also provide products and services to people and firms engaged in crypto-related activities, the FDIC said. Providing more clarity on banks' crypto activities in the coming weeks and months is being considered, the agencies said.

An anonymous reader quotes a report from NPR: Air in the U.S. has gotten cleaner for decades, adding years to people's lives and preventing millions of asthma attacks, but nearly half of Americans still live with unhealthy air pollution, a new report finds. The report comes as the Trump administration is considering rolling back some key air quality regulations. Air quality across the country has improved dramatically since regulations like the Clean Air Act were put in place in the 1970s to govern sources of pollution like coal-fired power plants and emissions from diesel trucks. Despite that progress, the air is still unhealthy and polluted in many parts of the country. In 2023, nearly half of the country's inhabitants -- 156 million people -- lived in places heavy in smog or soot pollution that harms their lungs, hearts, and brains, according to the newest edition of the American Lung Association's State of the Air report.

"Both these types of pollution cause people to die. They shorten life expectancy and drive increases in asthma rates," says Mary Rice, a pulmonologist at Harvard University. Pollution levels vary widely across the country, the report finds, with the worst soot pollution, averaged over the whole year, centered on California cities like Fresno and Bakersfield. Ozone pollution is highest in the Los Angeles region. Phoenix, Arizona, and Dallas, Texas, also rank in the top 10 most smog-heavy cities. Nationwide, people of color are about twice as likely to live somewhere with high soot and ozone pollution as white Americans. "The Clean Air Act is one of the greatest success stories in our country," says Rice. NPR notes that the law requires the EPA to revisit the science every five years, reassessing what health researchers have learned about the risks of breathing in poor air and adjusting the regulations accordingly.

"So the air quality standards have kept pace with the science over time, and levels of fine particulate matter have declined over the last 50-plus years," Rice says. "As a result, life expectancy is longer, and asthma rates have gone down." [...] "We are best equipped to protect our health when we have all the information, like weather and air quality," she says.

AMD has open-sourced its "GPU-IOV Module" for enabling SR-IOV-based virtualization on Instinct accelerators using the Linux kernel and KVM hypervisor, with features like GPU scheduling and VF/PF management. Notably, AMD plans to extend this virtualization support to client Radeon GPUs. Phoronix reports: The AMD GPU-IOV Module is for the Linux kernel and for providing SR-IOV based hardware virtualization in conjunction with the KVM hypervisor. GIM provides the GPU IOV virtualization, virtual function (VF) configuration and enablement, GPU scheduling for world switch, hang detection and FLR reset, and PF/VF handshake capabilities. Initially the AMD GIM driver is for the Instinct MI300X hardware and tested atop Ubuntu 22.04 LTS with ROCm 6.4. Those interested can find the AMD GIM code currently via GitHub. It's not laid out in the repository or any other public communications I've seen what any upstreaming plans are for this GIM driver to get it into the mainline Linux kernel.

India's capital New Delhi plans to limit gasoline and diesel-powered cars a family can buy as well as ban sales of fuel-guzzling motorbikes and scooters, according to a draft policy aimed at cleaning up one of the world's most polluted cities. From a report: The measures represent one of the most drastic steps the city has lined up to tackle pollution, which often forces local authorities to ban some construction, shut schools and disrupt flights in the city of more than 30 million people during the winter season.

Under Delhi's new electric vehicle policy, the city government will also waive some local taxes on the purchase of hybrids, putting them on par with concessions given to EVs, while imposing a new levy of 0.5 rupees ($0.0059) on every litre of petrol sales, according to the 74-page draft seen by Reuters. The primary objective "is to unlock the next phase of EV adoption, reduce air pollution and contribute to India's energy independence and net-zero targets," the draft stated.

Male college enrollment in Lake County, Ohio plummeted by more than 15% over the last decade -- the steepest decline among any large U.S. county. Nationwide, men now constitute virtually the entirety of the 1.2 million student drop in college attendance between 2011 and 2022.

Financial concerns dominate decision-making, with even public in-state education costing approximately $25,000 annually. One high school senior secured a $15/hour collision repair job, Bloomberg reports, calculating he'll earn "upwards of a grand every other week" while avoiding student debt.

Social media significantly influences these choices. "You see a lot of influencers saying you don't need to go to college, and when people see that, they listen," explained one student from Perry High School.

A Government Accountability Office report released this week reveals generative AI systems consume staggering amounts of water, with 250 million daily queries requiring over 1.1 million gallons -- all while companies provide minimal transparency about resource usage. The 47-page analysis [PDF] found cooling data centers -- which demand between 100-1000 megawatts of power -- constitutes 40% of their energy consumption, a figure expected to rise as global temperatures increase.

Water usage varies dramatically by location, with geography significantly affecting both water requirements and carbon emissions. Meta's Llama 3.1 405B model has generated 8,930 metric tons of carbon, compared to Google's Gemma2 at 1,247.61 metric tons and OpenAI's GPT3 at 552 metric tons. The report confirms generative AI searches cost approximately ten times more than standard keyword searches. The GAO asserted about persistent transparency problems across the industry, noting these systems remain "black boxes" even to their designers.

An anonymous reader quotes a report from the Washington Post: Oil and gas companies are facing hundreds of lawsuits around the world testing whether they can be held responsible for their role in causing climate change. Now, two scientists say they've built a tool that can calculate how much damage each company's planet-warming pollution has caused -- and how much money they could be forced to pay if they're successfully sued. Collectively, greenhouse emissions from 111 fossil fuel companies caused the world $28 trillion in damage from extreme heat from 1991 to 2020, according to a paper published Wednesday in Nature. The new analysis could fuel an emerging legal fight.The authors, Dartmouth associate professor Justin Mankin and Chris Callahan, a postdoctoral researcher at Stanford University, say their model can determine a specific company's share of responsibility over any time period. [...]

Callahan and Mankin's work combines all of these steps -- estimating a company's historical emissions, figuring out how much those emissions contributed to climate change and calculating how much economic damage climate change has caused -- into one "end-to-end" model that links one polluter's emissions to a dollar amount of economic damage from extreme heat. By their calculation, Saudi Aramco is on the hook for $2.05 trillion in economic losses from extreme heat from 1991 to 2020. Russia's Gazprom is responsible for $2 trillion, Chevron for $1.98 trillion, ExxonMobil for $1.91 trillion and BP for $1.45 trillion. Industry groups and companies tend to object to the methodologies of attribution science. They could seek to contest the assumptions that went into each step of Mankin and Callahan's model.

Indeed, every step in that process introduces some room for error, and stringing together all of those steps compounds the uncertainty in the model, according to Delta Merner, lead scientist at theScience Hub for Climate Litigation, which connects scientists and lawyers bringing climate lawsuits. She also mentioned that the researchers relied on a commonly used but simplified climate model known as the Finite Amplitude Impulse Response (FAIR) model. "It is robust for the purpose of what the study is doing," Merner said, "but these models do make assumptions about climate sensitivity, about carbon cycle behavior, energy balance, and all of the simplifications in there do introduce some uncertainty." The exact dollar figures in the paper aren't intended as gospel. But outside scientists said Mankin and Callahan use well-established, peer-reviewed datasets and climate models for every step in their process, and they are transparent about the uncertainty in the numbers.