Pramaana Labs announced $27 million in seed funding to apply formal verification tools, inspired by mathematical proofs and the LEAN programming language, to large language models. The startup aims to improve AI reliability in sensitive sectors like law and drug discovery, where errors are costly.
An Air India crash in Ahmedabad killed 260, including 4 students. Experts note Indian law inadequately compensates ground victims, unlike passengers, relying on litigation and ex gratia payments. A non-profit urges a statutory framework for strict liability and mandatory compensation.
Hunter Biden has become an unlikely Democratic force on X, advocating for mental health, engaging with critics, and discussing populist issues. His self-deprecating humor and honest responses have garnered significant followers and even some Republican support, with some users suggesting he run for president in 2028.
A Munich court ruled Google liable for false statements generated by its AI Overviews, stating the company must prevent inaccurate claims. The ruling could set a precedent for AI liability, as the court found AI-generated content is not protected by free speech principles and the company cannot absolve itself by warning users.
China launched the Communication Technology Test Satellite No 25 on a Long March 5 rocket from Wenchang, Hainan, on Thursday. The mission aims to validate technology for next-generation orbital connectivity.
Germany plans a new law to hold e-scooter rental companies liable for damages caused by their vehicles, regardless of fault. This aims to protect victims who currently often bear the costs when users disappear. The law also introduces a presumption of guilt for riders.
An Air China C909 regional jet experienced a suspected bird strike upon landing in Beijing. While visible marks were reported on the nose and airframe, experts deem severe damage unlikely. The incident highlights reliability tests for the Comac-model as it sees wider deployment.
UK doctors and the NHS may be sued for medical negligence due to errors from AI tools used in diagnostics and treatment, prompting calls for legal reform to shift liability to AI developers and manufacturers.
Major German steelworks are reducing production due to the Deutsche Bahn's unreliability. Construction sites on key routes are disrupting raw material supply, leading to significant costs and economic damage.
A UK parliamentary committee has warned that the country's growing reliance on data analytics firm Palantir poses an "unacceptable point of weakness," potentially handing the company excessive bargaining power. The report cites concerns over vendor lock-in, Palantir's political alignment, and a "mismatch with UK values."
Taiwan's Ministry of Transportation is set to amend traffic laws to impose stricter penalties for drug-driving. The proposed changes include revoking licenses for up to three years for users of first and second-class drugs, even if not driving, and penalizing passengers who knowingly ride with a drug-impaired driver.
The U.S. Supreme Court is considering whether to hear Robinhood's appeal of a lawsuit alleging misleading IPO disclosures about its financials and growth prospects. Plaintiffs claim Robinhood failed to disclose its reliance on meme stock and crypto trading.
The UK government plans to spend £57m to improve train wi-fi, aiming for 90% availability and 5-10x speed increase via low-earth satellites, addressing frustrations of passengers like Rebecca Kendall who face unstable connections.
Iran condemns US defensive strikes in southern Iran as 'bad faith' amid ceasefire negotiations, while restoring internet access after a prolonged shutdown. Tensions escalate with Iran shooting down drones and warning of consequences, as US and Israel intensify military actions in the region.
SpaceX's Starship test flight showed engine reliability issues with upgraded Raptor 3 engines, casting doubt on readiness for high-frequency launches crucial for upcoming missions and a potential June 12 IPO.
Australian power prices are set to decrease for consumers and small businesses, with benchmark prices falling up to 10% for households and significantly more for businesses. The Australian Energy Regulator (AER) and Essential Services Commission have decided to cut default market offers and benchmark prices in several states, driven by increased renewable energy and better reliability from coal-fired generators.
Australian power prices are set to decrease for consumers and small businesses due to increased renewable energy and improved reliability of coal-fired generators. The Australian Energy Regulator (AER) will cut the default market offer (DMO) in several states, with prices falling up to 10% for consumers and more for small businesses.
Australian power prices are set to decrease for consumers and small businesses due to increased renewable energy generation and improved reliability of coal-fired power plants. The Australian Energy Regulator (AER) will cut the default market offer (DMO) in several states, with benchmark prices falling by up to 10% for consumers and more for businesses.
Benchmark power prices in Australia are set to decrease by up to 10% for consumers and more for small businesses, driven by increased renewable energy and improved reliability of coal-fired generators. The Australian Energy Regulator (AER) has cut the default market offer (DMO) in several states, with Victoria also seeing a 5% reduction.
Russian President Vladimir Putin has signed a law introducing administrative penalties for violations related to the circulation of methanol and methanol-containing liquids. The law imposes significant fines on legal entities, potential disqualification for individuals, and administrative suspension of activities for non-compliance with storage, labeling, and destruction requirements.
South Western Railway's new trains, featuring a controversial Union Jack-inspired livery, boast upgraded interiors with air conditioning and increased capacity. Ministers hail the rollout as vindication of nationalization, despite initial punctuality issues. Efforts are underway to improve reliability and staffing.
Tulsi Gabbard's controversial tenure as Director of National Intelligence under President Trump, marked by her integrity and fact-based approach, concluded with her resignation. Her confirmation faced scrutiny over her past statements on Russia and Ukraine, but she was ultimately sworn in. As DNI, she initiated transparency efforts and investigations into biological labs abroad, but clashed with Trump over his views on Iran, leading to her departure.
Lando Norris pitted for reliability issues, dropping to 14th. Oscar Piastri crashed after hitting Alex Albon while attempting an overtake, resulting in a new front wing and being lapped by the leaders. George Russell led the race briefly before Kimi Antonelli retook the lead.
A German minister expressed a goal of a European Defense Union, emphasizing its need for relevance beyond a nuclear umbrella. Citing increasing US unreliability and the potential impact of Donald Trump's policies, the minister highlighted the necessity for Europe to bolster its own security.
