Modern scientific societies are increasingly vulnerable due to their dependence on membership fees and journal subscriptions, which are being challenged by the rise of virtual networking and open-access publishing.
Computer programs that check mathematical arguments have existed for decades, but translating a human-written proof into the strict programming language of a computer is extremely time-consuming, often taking months or even years.
Known as ExStra, this is a permanent national funding programme designed to strengthen research at the nation's top universities and make them more competitive internationally. While the ExStra programme allows for up to 15 "Excellent Universities" (Exzellenzuniversitaten), only ten institutions have made the grade for the next round of funding.
A NIST employee tells WIRED that some plans to bring on foreign workers through the agency's Professional Research and Experience Program have recently been canceled because of uncertainty about whether they would make it through the new security protocols. The staffer, who spoke on the condition of anonymity because they were not authorized to speak to the media, says the agency has yet to widely communicate what the new hurdles will be or why it believes they are justified.
The fewer solicitations you have, the less time grant applicants have to figure out which of our pigeonholes they fit into. In the past, a solicitation might have been for an individual program, which means it's attached to an individual program officer and a specific dollar amount. Now, instead of going to one program officer's area, the NSF will use technology to better route applications to wherever within the agency they can best be reviewed.
"We didn't do any LLMs. There is significant interest in that. There are lots of people trying those ideas out, but I think they're still in the exploratory phase," Desai told El Reg. As it turned out, the researchers didn't need them. "We used a simpler model called a variational auto encoder (VAE). This model was established in 2013. It's one of the early generative models," Desai said.
But he'd been considering an idea for new technology-an autonomous, wind-powered cargo ship. Then, while on paternity leave in 2024, he discovered a free program that helps scientists and engineers launch businesses for the first time. Weeks after finishing the program, called 5050, Cymbalist had launched a startup called Clippership. The company's first ship is being built in the Netherlands this year. Without the accelerator, he says, the company likely wouldn't exist.
Scientists are increasingly turning to artificial-intelligence systems for help drafting the grant proposals that fund their careers, but preliminary data indicate that these tools might be pulling the focus of research towards safe, less-innovative ideas. These data provide evidence that AI-assisted proposals submitted to the US National Institutes of Health (NIH) are consistently less distinct from previous research than ones written without the use of AI - and are also slightly more likely to be funded.
Against that backdrop, Europe's reliance on American-made AI begins to look more and more like a liability. In a worst case scenario, though experts consider the possibility remote, the US could choose to withhold access to AI services and crucial digital infrastructure. More plausibly, the Trump administration could use Europe's dependence as leverage as the two sides continue to iron out a trade deal. "That dependency is a liability in any negotiation-and we are going to be negotiating increasingly with the US," says Taddeo.
Iranian researchers are in a difficult situation. Those in Iran face low wages, high inflation, sociopolitical instability, resource mismanagement, oppression by the authorities and long-standing international sanctions. High prices hinder conference attendance, as do difficulties obtaining visas. Unstable Internet connections, frequent power outages and lack of access to scholarly sources jeopardize collaborations. Scholars also have to contend with isolation, and sometimes biases, from the international community. And for those who work abroad, travelling to and from Iran is risky, even with visas and double citizenship.
AI labs just can't get their employees to stay put. Yesterday's big AI news was the abrupt and seemingly acrimonious departure of three top executives at Mira Murati's Thinking Machines lab. All three were quickly snapped up by OpenAI, and now it seems they won't be the last to leave. Alex Heath is reporting that two more employees are expected to leave for OpenAI in the next few weeks.
For nearly 100 years, the United States has been the world's leader in a wide variety of scientific fields. No other country has: invested as much in fundamental scientific research, has made more scientific breakthroughs and scientific advances, has attracted more scientific researchers to move there to conduct their research, or has conducted more projects and been home to more scientists that have won Nobel Prizes.
Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance along curved surfaces. While working on one theorem, they ran into an unexpected roadblock: Their argument depended on a strange formula from number theory, but they were unable to solve or justify it. In the end, Chen and Gendron wrote a paper presenting their idea as a conjecture, rather than a theorem.
In fact, Stawicki was on a mission to save the lives of around 1,000 zebrafish ( Danio rerio) in her laboratory. Similarities between lines of hair cells on the fish's flanks and those in the mammalian inner ear enable her to use them as a model to study hearing problems in humans caused by some antibiotics and chemotherapy drugs. A sensor had picked up that the lab's heating system had been knocked out by a power fault.
