You are here

News

Car Subscription Features Raise Your Risk of Government Surveillance, Police Records Show

Slashdot - 2 hours 32 min ago
An anonymous reader quotes a report from Wired: Automakers are increasingly pushing consumers to accept monthly and annual fees to unlock preinstalled safety and performance features, from hands-free driving systems and heated seats to cameras that can automatically record accident situations. But the additional levels of internet connectivity this subscription model requires can increase drivers' exposure to government surveillance and the likelihood of being caught up in police investigations. A cache of more than two dozen police records recently reviewed by WIRED show US law enforcement agencies regularly trained on how to take advantage of "connected cars," with subscription-based features drastically increasing the amount of data that can be accessed during investigations. The records make clear that law enforcement's knowledge of the surveillance far exceeds that of the public and reveal how corporate policies and technologies -- not the law -- determine driver privacy. "Each manufacturer has their whole protocol on how the operating system in the vehicle utilizes telematics, mobile Wi-Fi, et cetera," one law enforcement officer noted in a presentation prepared by the California State Highway Patrol (CHP) and reviewed by WIRED. The presentation, while undated, contains statistics on connected cars for the year 2024. "If the vehicle has an active subscription," they add, "it does create more data." The CHP presentation, obtained by government transparency nonprofit Property of the People via a public records request, trains police on how to acquire data based on a variety of hypothetical scenarios, each describing how vehicle data can be acquired based on the year, make, and model of a vehicle. The presentation acknowledges that access to data can ultimately be limited due to choices made by not only vehicle manufacturers but the internet service providers on which connected devices rely. One document notes, for instance, that when a General Motors vehicle is equipped with an active OnStar subscription, it will transmit data -- revealing its location -- roughly twice as often as a Ford vehicle. Different ISPs appear to have not only different capabilities but policies when it comes to responding to government requests for information. Police may be able to rely on AT&T to help identify certain vehicles based on connected devices active in the car but lack the ability to do so when the device relies on a T-Mobile or Verizon network instead. [...] Nearly all subscription-based car features rely on devices that come preinstalled in a vehicle, with a cellular connection necessary only to enable the automaker's recurring-revenue scheme. The ability of car companies to charge users to activate some features is effectively the only reason the car's systems need to communicate with cell towers. The police documents note that companies often hook customers into adopting the services through free trial offers, and in some cases the devices are communicating with cell towers even when users decline to subscribe.

Read more of this story at Slashdot.

Categories: Technology

Oracle Engineers Caused Days-Long Software Outage at US Hospitals

Slashdot - 5 hours 2 min ago
Oracle engineers mistakenly triggered a five-day software outage at a number of Community Health Systems hospitals, causing the facilities to temporarily return to paper-based patient records. From a report: CHS told CNBC that the outage involving Oracle Health, the company's electronic health record (EHR) system, affected "several" hospitals, leading them to activate "downtime procedures." Trade publication Becker's Hospital Review reported that 45 hospitals were hit. The outage began on April 23, after engineers conducting maintenance work mistakenly deleted critical storage connected to a key database, a CHS spokesperson said in a statement. The outage was resolved on Monday, and was not related to a cyberattack or other security incident. CHS is based in Tennessee and includes 72 hospitals in 14 states, according to the medical system's website.

Read more of this story at Slashdot.

Categories: Technology

Duolingo Will Replace Contract Workers With AI

Slashdot - 7 hours 2 min ago
According to an email posted on Duolingo's LinkedIn, the language learning app will "gradually stop using contractors to do work that AI can handle." Co-founder and CEO Luis von Ahn also said the company will be "AI-first." The Verge reports: According to von Ahn, being "AI-first" means the company will "need to rethink much of how we work" and that "making minor tweaks to systems designed for humans won't get us there." As part of the shift, the company will roll out "a few constructive constraints," including the changes to how it works with contractors, looking for AI use in hiring and in performance reviews, and that "headcount will only be given if a team cannot automate more of their work." von Ahn says that "Duolingo will remain a company that cares deeply about its employees" and that "this isn't about replacing Duos with AI." Instead, he says that the changes are "about removing bottlenecks" so that employees can "focus on creative work and real problems, not repetitive tasks." "AI isn't just a productivity boost," von Ahn says. "It helps us get closer to our mission. To teach well, we need to create a massive amount of content, and doing that manually doesn't scale. One of the best decisions we made recently was replacing a slow, manual content creation process with one powered by AI. Without AI, it would take us decades to scale our content to more learners. We owe it to our learners to get them this content ASAP."

Read more of this story at Slashdot.

Categories: Technology

Digital Photo Frame Company Nixplay Slashes Free Cloud Storage From 10GB To 500MB

Slashdot - 8 hours 22 min ago
Nixplay has dramatically reduced its free cloud storage offering for digital photo frame users from the original 10GB to just 500MB. The previously announced update, which took effect last week, also removed the formerly free ability to sync Google Photos albums. Users whose accounts already exceed the new 500MB limit will find their content "restricted from sharing or viewing" unless they edit their library or purchase a subscription. Nixplay now offers two paid tiers: Nixplay Lite at $19.99 annually for 100GB storage and Nixplay Plus at $29.99 yearly for unlimited storage.

Read more of this story at Slashdot.

Categories: Technology

OpenAI Upgrades ChatGPT Search With Shopping Features

Slashdot - 9 hours 2 min ago
OpenAI has upgraded ChatGPT's search tool to include shopping features, allowing users to receive personalized product recommendations, view images and reviews, and access direct purchase links using natural language queries. TechCrunch reports: When ChatGPT users search for products, the chatbot will now offer a few recommendations, present images and reviews for those items, and include direct links to webpages where users can buy the products. OpenAI says users can ask hyper-specific questions in natural language and receive customized results. To start, OpenAI is experimenting with categories including fashion, beauty, home goods, and electronics. OpenAI is rolling out the feature in the default AI model for ChatGPT, GPT-4o, today for ChatGPT Pro, Plus, and Free users, as well as logged-out users around the globe. [...] OpenAI claims its search product is growing rapidly. Users made more than a billion web searches in ChatGPT last week, the company told TechCrunch. OpenAI says it's determining ChatGPT shopping results independently, and notes that ads are not part of this upgrade to ChatGPT search. The shopping results will be based on structured metadata from third parties, such as pricing, product descriptions, and reviews, according to OpenAI. The company won't receive a kickback from purchases made through ChatGPT search. [...] Soon, OpenAI says it will integrate its memory feature with shopping for Pro and Plus users, meaning ChatGPT will reference a user's previous chats to make highly personalized product recommendations. The company previously updated ChatGPT to reference memory when making web searches broadly. However, these memory features won't be available to users in the EU, the U.K., Switzerland, Norway, Iceland, and Liechtenstein.

Read more of this story at Slashdot.

Categories: Technology

Soft Vine-Like Robot Helps Rescuers Find Survivors In Disaster Zones

Slashdot - 9 hours 42 min ago
New submitter MicroBitz shares a report: SPROUT, short for Soft Pathfinding Robotic Observation Unit, is a flexible, vine-like robot developed by MIT Lincoln Laboratory in collaboration with the University of Notre Dame. Unlike rigid robots or static cameras, SPROUT can "grow" into tight, winding spaces that are otherwise inaccessible, giving first responders a new way to explore, map and assess collapsed structures. Beyond disaster response, the technology could be adapted for inspecting military systems or critical infrastructure in hard-to-reach places, making SPROUT a versatile tool for a variety of high-stakes scenarios. "The urban search-and-rescue environment can be brutal and unforgiving, where even the most hardened technology struggles to operate. The fundamental way a vine robot works mitigates a lot of the challenges that other platforms face," says Chad Council, a member of the SPROUT team, which is led by Nathaniel Hanson. "The mechanical performance of the robots has an immediate effect, but the real goal is to rethink the way sensors are used to enhance situational awareness for rescue teams," adds Hanson. "Ultimately, we want SPROUT to provide a complete operating picture to teams before anyone enters a rubble pile." You can see the SPROUT vine robot in action in a YouTube video from MIT Lincoln Laboratory.

Read more of this story at Slashdot.

Categories: Technology

Milwaukee Police Consider Trading Millions of Mugshots For Free Facial Recognition Access

Slashdot - 10 hours 22 min ago
An anonymous reader quotes a report from Milwaukee Journal Sentinel: Milwaukee police are mulling a trade: 2.5 million mugshots for free use of facial recognition technology. Officials from the Milwaukee Police Department say swapping the photos with the software firm Biometrica will lead to quicker arrests and solving of crimes. But that benefit is unpersuasive for those who say the trade is startling, due to the concerns of the surveillance of city residents and possible federal agency access. "We recognize the very delicate balance between advancement in technology and ensuring we as a department do not violate the rights of all of those in this diverse community," Milwaukee Police Chief of Staff Heather Hough said during an April 17 meeting. For the first time, Milwaukee police officials detailed their plans to use the facial recognition technology during a meeting of the city's Fire and Police Commission, the oversight body for those departments. In the past, the department relied on facial recognition technology belonging to neighboring police agencies. In an April 24 email, Hough said the department has not entered into an agreement with any facial recognition and the department intends to continue engaging the public before doing so. The department will discuss it at a future meeting of the city's Public Safety and Health Committee next, she said. "While we would like to acquire the technology to assist in solving cases, being transparent with the community that we serve far outweighs the urgency to acquire," she said in an email. Officials said the technology alone could not be used as probable cause to arrest someone and the only authorized uses would be when there's basis to believe criminal activity has happened or could happen, or a threat to public safety is imminent. Hough said the department intended to craft a policy that would ensure no one is arrested solely based on facial recognition matches. That reassurance and others from police officials came as activists, residents and some public officials voiced concern.

Read more of this story at Slashdot.

Categories: Technology

Monero Likely Pumped 50% Due To Suspected $330 Million Bitcoin Theft

Slashdot - 11 hours 2 min ago
Onchain investigator ZachXBT flagged a suspicious $330.7 million Bitcoin transfer that was quickly laundered into Monero, causing XMR's price to spike by 50%. CoinTelegraph reports: The transaction, reported on April 28, saw funds moved from a potential victim's wallet to the address bc1qcry...vz55g. Following the transfer, the stolen stash was quickly laundered through over six instant exchanges and swapped into privacy-focused cryptocurrency Monero. The large-scale conversion led to a 50% spike in XMR's price with the token reaching an intraday high of $339, according to data from CoinMarketCap. At the time of writing, XMR has settled slightly but remains up 25% in the past 24 hours, trading at $289. When asked whether North Korea's Lazarus Group was behind the attack, ZachXBT dismissed the theory, stating it was "highly probable it's not," suggesting independent hackers were responsible. "While there are concerns of more criminals moving to privacy coins for anonymity, the vast majority of criminal activity still uses mainstream cryptocurrencies, such as Bitcoin, Ethereum and stablecoins," Chainalysis said. "Cryptocurrency is only useful if you can buy and sell goods and services or cash out into fiat, and that is much more difficult with privacy coins, especially as many mainstream exchanges have offboarded the use of privacy coins, such as Monero."

Read more of this story at Slashdot.

Categories: Technology

Neurotech Companies Are Selling Brain Data, Senators Warn

Slashdot - 11 hours 42 min ago
Three Democratic senators are sounding the alarm over brain-computer interface (BCI) technologies' ability to collect -- and potentially sell -- our neural data. From a report: In a letter to the Federal Trade Commission (FTC), Sens. Chuck Schumer (D-NY), Maria Cantwell (D-IN), and Ed Markey (D-MA) called for an investigation into neurotechnology companies' handling of user data, and for tighter regulations on their data-sharing policies. "Unlike other personal data, neural data -- captured directly from the human brain -- can reveal mental health conditions, emotional states, and cognitive patterns, even when anonymized," the letter reads. "This information is not only deeply personal; it is also strategically sensitive."

Read more of this story at Slashdot.

Categories: Technology

23andMe Requiring Potential Bidders To Affirm They Will Uphold Data Privacy

Slashdot - 12 hours 22 min ago
The sale of bankrupt DNA data bank 23andMe is delayed as the company struggles to secure a lead bidder who can meet regulatory and privacy requirements, pushing the initial auction deadline from Friday to Monday. Seeking Alpha reports: 23andMe Holdings (OTC:MEHCQ), currently in Chapter 11 bankruptcy proceedings, is requiring that any potential bidders for the company's assets "guaranty that they will comply with the Company's privacy policies and applicable law." The genetics company said this is necessary to protect customers' data. In addition, bidders will need to submit documentation of their intended use of any data, describe the privacy programs and security controls they have in place or would implement, and say whether they would ask for current privacy policies to be amended. 23andMe has also filed a motion asking for the appointment of an independent customer Data representative to review whether a proposed deal is in alignment with the company's privacy policies and data privacy laws.

Read more of this story at Slashdot.

Categories: Technology

Kickstarter Introduces 'Tariff Manager Tool' To Add Charges To Already Fully Funded Projects

Slashdot - 13 hours 2 min ago
An anonymous reader quotes a report from 404 Media: Here's an easy to understand example of how Donald Trump's tariffs on imported products have completely screwed small U.S. businesses and entrepreneurs: the crowdfunding site Kickstarter is introducing a "Tariff Manager tool" that will allow creators to add extra charges to projects that were already fully funded in order to deal with the higher and unexpected costs of the president's global trade war. "Over the past few weeks, we've been hard at work developing tariff-relevant resources to support our community. From guidance to help creators navigate rapidly changing policies, to tips on shipping logistics, and even information to help backers better understand the challenges creators are facing. Our focus has been supporting you through uncertain times, but we also know that information alone isn't always enough," Kickstarter said in a blog post published last week announcing the Tariff Manager tool. "Built specifically to address the financial challenges posed by U.S. import tariffs, Kickstarter's Tariff Manager is designed to give creators more control, flexibility, and transparency at one of the most critical phases of your journey: fulfillment." Kickstarter's Tariff Manager will allow some creators to apply per-item surcharges which will appear as a separate line item on the payment page for people who backed their project. "We understand that asking backers to pay an additional fee -- especially after a campaign has ended -- can be sensitive," Kickstarter said. "If a backer chooses not to pay the tariff cost during the pledge manager process, they'll need to reach out to you directly." Backers can pay the additional fee to get the item they had already backed in order to still get it when it's ready. If they decline, the creator can issue them a refund, or find "another resolution," the blog post says. "While this tool helps offset rising costs, we recognize that every project and backer relationship is unique," Kickstarter said. "Our goal is to provide you with the flexibility and transparency necessary to navigate those conversations with clarity and care." "Creators continue to launch, adapt, and find success on Kickstarter, even as the external landscape shifts," a Kickstarter spokesperson told 404 Media. "We know creators are navigating a lot right now, and we're focused on giving them the tools and support to adjust as needed. Our role at Kickstarter is to help creators bring their projects to life, and that includes supporting them through moments of uncertainty. That's why we're doubling down on tools that help creators stay flexible and responsive: from our Tariff Manager within our integrated pledge manager -- which we're rolling out to all of our creators soon -- to offering 24-hour support and expanding educational resources."

Read more of this story at Slashdot.

Categories: Technology

China's Huawei Develops New AI Chip, Seeking To Match Nvidia

Slashdot - 14 hours 35 min ago
Huawei is gearing up to test its newest and most powerful AI processor, which the company hopes could replace some higher-end products of U.S. chip giant Nvidia. From a WSJ report: Huawei has approached some Chinese tech companies about testing the technical feasibility of the new chip, called the Ascend 910D, people familiar with the matter said. The company is slated to receive the first batch of samples of the processor as soon as late May, some of the people said. The development is still at an early stage, and a series of tests will be needed to assess the chip's performance and get it ready for customers, the people said. Huawei hopes that the latest iteration of its Ascend AI processors will be more powerful than Nvidia's H100, a popular chip used for AI training that was released in 2022, said one of the people. Previous versions are called 910B and 910C.

Read more of this story at Slashdot.

Categories: Technology

Unauthorized AI Bot Experiment Infiltrated Reddit To Test Persuasion Capabilities

Slashdot - 15 hours 19 min ago
Researchers claiming affiliation with the University of Zurich secretly deployed AI-powered bots in a popular Reddit forum to test whether AI could change users' minds on contentious topics. The unauthorized experiment, which targeted the r/changemyview subreddit, involved bots making over 1,700 comments across several months while adopting fabricated identities including a sexual assault survivor, a Black man opposing Black Lives Matter, and a domestic violence shelter worker. The researchers "personalized" comments by analyzing users' posting histories to infer demographic information. The researchers, who remain anonymous despite inquiries, claimed their bots were "consistently well-received," garnering over 20,000 upvotes and 137 "deltas" -- awards indicating successful opinion changes. Hundreds of bot comments were deleted following the disclosure.

Read more of this story at Slashdot.

Categories: Technology

Dyson Founder Says He Has Lived a 'Life of Failure'

Slashdot - 15 hours 58 min ago
Inventor James Dyson described his career as "a life of failure" in a recent Wall Street Journal interview, citing setbacks as drivers of innovation. The 77-year-old creator of the bagless vacuum cleaner, who built a $16.8 billion fortune according to Bloomberg's Billionaire Index, created 5,127 prototypes over five years before successfully launching his signature product in 1993. "If something works, it's less challenging, it's less interesting," Dyson said. "If something's gone wrong, you want to know why it's gone wrong, and it's a learning process." Dyson's company abandoned its electric vehicle project in 2019 despite investing over $600 million, concluding it wasn't commercially viable. The prototype now sits prominently at the company's Singapore headquarters. "I had to be pragmatic about it and say it's too risky for us to do, which is a shame because I loved doing it," Dyson said.

Read more of this story at Slashdot.

Categories: Technology

IBM Pledges $150 Billion US Investment

Slashdot - 16 hours 39 min ago
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).

Read more of this story at Slashdot.

Categories: Technology

'Don't Make Google Sell Chrome'

Slashdot - 17 hours 17 min ago
Ruby on Rails creator and Basecamp CTO David Heinemeier Hansson, makes a case for why Google shouldn't be forced to sell Chrome: First, Chrome won the browser war fair and square by building a better surfboard for the internet. This wasn't some opportune acquisition. This was the result of grand investments, great technical prowess, and markets doing what they're supposed to do: rewarding the best. Besides, we have a million alternatives. Firefox still exists, so does Safari, so does the billion Chromium-based browsers like Brave and Edge. And we finally even have new engines on the way with the Ladybird browser. Look, Google's trillion-dollar business depends on a thriving web that can be searched by Google.com, that can be plastered in AdSense, and that now can feed the wisdom of AI. Thus, Google's incredible work to further the web isn't an act of charity, it's of economic self-interest, and that's why it works. Capitalism doesn't run on benevolence, but incentives. We want an 800-pound gorilla in the web's corner! Because Apple would love nothing better (despite the admirable work to keep up with Chrome by Team Safari) to see the web's capacity as an application platform diminished. As would every other owner of a proprietary application platform. Microsoft fought the web tooth and nail back in the 90s because they knew that a free, open application platform would undermine lock-in -- and it did!

Read more of this story at Slashdot.

Categories: Technology

Widespread Power Outage Is Reported in Spain, France and Portugal

Slashdot - 18 hours 2 min ago
Widespread power outages were reported Monday in parts of Spain, Portugal and France, affecting critical infrastructure like airports and causing transportation disruptions. From a report: "The interruption was due to a problem in the European electricity grid," E-Redes, the national energy supplier of Portugal, said in a statement. In addition to Portugal, it said, "The blackout also affected regions of Spain and France, due to faults in very high voltage lines." E-Redes said that the outage was widespread across Spain, with outages in Catalonia, Andalusia, Aragon, Navarre, the Basque Country, Castile and Leon, Extremadura and Murcia. In France, the Portuguese energy supplier said, "the Basque Coast and the Burgundy region also experienced power cuts." Spain's national power company, Red Electricia, said in a post on X that it had restored some power in the north and south of the peninsula. The cause of the outages was not immediately clear. But the effects of the disruption were felt in cities across the region.

Read more of this story at Slashdot.

Categories: Technology

America's Electric Vehicle Sales Have Jumped 10.6% Compared to 2024

Slashdot - 28 April, 2025 - 21:34
Sales of electric vehicles in America jumped 10.6% in the first three months of 2025 (compared to the same period in 2024), reports Bloomberg. And research provider BloombergNEF expects all of 2025 will see a 31.5% sales increase from 2024's sales in the U:S. — slightly above the global increase rate of 30%. (That's 22 million battery-powered vehicles around the world.) "EV adoption is cruising along in the U.S.," Bloomberg writes, with interest "spreading from early-adopters to mainstream consumers" tired of paying for gas and oil changes — and attracted by new products from familiar brands: Of the 63 or so fully electric cars and trucks on the U.S. market, one quarter weren't available a year ago. The product blitz includes the first EV offerings from Acura, Dodge and Jeep, second models from Mini and Porsche and two more battery-powered machines each from Cadillac and Volvo... Many of the new EVs are relatively affordable. Cox Automotive estimates the price spread between EVs broadly and internal combustion cars and trucks has shrunk to just $5,000. General Motors, meanwhile, plans to resurrect its Chevrolet Bolt later this year with a price point around $30,000...

Read more of this story at Slashdot.

Categories: Technology

AI Helps Unravel a Cause of Alzheimer's Disease and Identify a Therapeutic Candidate

Slashdot - 28 April, 2025 - 17:40
"A new study found that a gene recently recognized as a biomarker for Alzheimer's disease is actually a cause of it," announced the University of California, San Diego, "due to its previously unknown secondary function." "Researchers at the University of California San Diego used artificial intelligence to help both unravel this mystery of Alzheimer's disease and discover a potential treatment that obstructs the gene's moonlighting role." A team led by Sheng Zhong, a professor in the university's bioengineering department, had previously discovered a potential blood biomarker for early detection of Alzheimer's disease (called PHGDH). But now they've discovered a correlation: the more protein and RNA that it produces, the more advanced the disease. And after more research they ended up with "a therapeutic candidate with demonstrated efficacy that has the potential of being further developed into clinical tests..." That correlation has since been verified in multiple cohorts from different medical centers, according to Zhong... [T]he researchers established that PHGDH is indeed a causal gene to spontaneous Alzheimer's disease. In further support of that finding, the researchers determined — with the help of AI — that PHGDH plays a previously undiscovered role: it triggers a pathway that disrupts how cells in the brain turn genes on and off. And such a disturbance can cause issues, like the development of Alzheimer's disease.... With AI, they could visualize the three-dimensional structure of the PHGDH protein. Within that structure, they discovered that the protein has a substructure... Zhong said, "It really demanded modern AI to formulate the three-dimensional structure very precisely to make this discovery." After discovering the substructure, the team then demonstrated that with it, the protein can activate two critical target genes. That throws off the delicate balance, leading to several problems and eventually the early stages of Alzheimer's disease. In other words, PHGDH has a previously unknown role, independent of its enzymatic function, that through a novel pathway leads to spontaneous Alzheimer's disease... Now that the researchers uncovered the mechanism, they wanted to figure out how to intervene and thus possibly identify a therapeutic candidate, which could help target the disease.... Given that PHGDH is such an important enzyme, there are past studies on its possible inhibitors. One small molecule, known as NCT-503, stood out to the researchers because it is not quite effective at impeding PHGDH's enzymatic activity (the production of serine), which they did not want to change. NCT-503 is also able to penetrate the blood-brain-barrier, which is a desirable characteristic. They turned to AI again for three-dimensional visualization and modeling. They found that NCT-503 can access that DNA-binding substructure of PHGDH, thanks to a binding pocket. With more testing, they saw that NCT-503 does indeed inhibit PHGDH's regulatory role. When the researchers tested NCT-503 in two mouse models of Alzheimer's disease, they saw that it significantly alleviated Alzheimer's progression. The treated mice demonstrated substantial improvement in their memory and anxiety tests... The next steps will be to optimize the compound and subject it to FDA IND-enabling studies. The research team published their results on April 23 in the journal Cell.

Read more of this story at Slashdot.

Categories: Technology

Could a 'Math Genius' AI Co-author Proofs Within Three Years?

Slashdot - 28 April, 2025 - 12:59
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.

Read more of this story at Slashdot.

Categories: Technology

Pages

Subscribe to Creative Contingencies aggregator