Can Americans spell the National Spelling Bee's winning words? The BBC challenged Americans to spell words used in the last three Scripps National Spelling Bee competitions. Shrey Parikh, a 14-year-old, won the competition this year after correctly spelling 32 words in a 90-second lighting round tiebreaker. He defeated 12-year-old Ishaan Gupta, who spelled 25 words correctly. Parikh won out against 247 spellers competing in the annual contest, aged between nine and 15, taking home a $52,000 (£39,000) cash prize.

The world's first'hovertrain' could reach speeds of 270 mph in the 1960s But the futuristic Aérotrain never saw the light of day. More information Adding us as a Preferred Source in Google by using this link indicates that you would like to see more of our content in Google News results. This cancelled Mongolian postage stamp shows the Aérotrain Orleans, circa 1979. Breakthroughs, discoveries, and DIY tips sent six days a week. By signing up, you confirm you are 16+, will receive newsletters and promotional content and agree to our Terms of Use and acknowledge the data practices in our Privacy Policy .

It's part of Amazon's efforts to reach net-zero carbon across its operations in the coming years. Amazon Japan has started using the country's iconic bullet trains to move packages between facilities across different regions. The company said teaming up with Japan Railway is part of its efforts to cut both delivery times and carbon dioxide emissions. Japan's Shinkansen can reach speeds of up to 200 mph and can cut down travel times, say, from Tokyo to Osaka from around 8 hours to two-and-a-half hours. They also run on electricity delivered by an overhead electrical system. Back in 2019, the company launched an initiative that aims for net zero carbon emissions for deliveries.

A California jury has tossed out Elon Musk's high-profile lawsuit against OpenAI and its boss Sam Altman. In a unanimous verdict, the case was thrown out because Musk had filed his lawsuit after a statute of limitations to bring such claims had expired. Musk had accused Altman of breaching a non-profit contract by shifting the ChatGPT-maker to a for-profit company after Musk donated $38m (£28.5m). Musk had argued Altman deceived him by accepting his money and then reneging on OpenAI's original non-profit mission to develop artificial intelligence (AI) technology for the benefit of humanity. Jurors spent three weeks viewing internal correspondence and hearing testimony, and arrived at a verdict on Monday after deliberating for roughly two hours.

David Beckham and Dame Mary Berry are among the famous faces to have painted gnomes to raise funds for a school gardening campaign.

Data quality assessment is an essential step that ensures the reliability of the subsequent structural health monitoring (SHM) tasks. This study proposes a prediction deviation-based SHM data quality assessment method using a univariate implicit auto-regressive model, enabling outlier diagnosis and data cleaning. The proposed conditional diffusion model (CDM) augments the standard diffusion model with a conditional embedding module to incorporate temporal context, quartile normalization to mitigate distribution skew, and a Huber loss to enhance robustness against outliers. Within this univariate implicit autoregressive framework, each data point is assigned an outlier probability, quantifying its degree of "outlier-ness", and a global quality evaluation score is computed to characterize the overall dataset quality. Extensive case studies utilizing operational data from real-world structures demonstrate that the proposed framework significantly improves the accuracy of data quality assessment, outperforming other strong baselines representative of clustering, isolation-based, and deep reconstruction methods. The effectiveness and robustness of the proposed framework are further demonstrated by the findings of ablation experiments and hyperparameter analysis.

There is a road and there are many atoms and trees beside it and there is a building in the right corner.

What are Russia's gains from the Iran war? 'We are not losers; we are winners' Russia strikes Ukraine's Odesa port, kills railway worker in Zaporizhia Russian drones have attacked Ukraine's main Black Sea port in the southern city of Odesa and a railway in the region of Zaporizhia, killing a train driver, according to Ukraine's Deputy Prime Minister Oleksii Kuleba. The overnight attacks damaged the infrastructure of the Odesa port, including berths, warehouses, railway infrastructure and port operators' facilities, Kuleba said in a statement on X on Wednesday. Kuleba said this is "another proof of terrorism, Russia is at war against peaceful people, against those who were simply doing their job and keeping the country moving". Russia also launched several drones and missiles on a flight path near the disused Chornobyl nuclear plant, elevating the risk of a significant accident, according to Ukraine's top state prosecutor. This comes as Ukraine prepares to mark the 40th anniversary of the 1986 Chornobyl disaster on Sunday.

Elon Musk speaks at the SpaceX Hyperloop Pod Competition II in Hawthorne, California, in 2017. Elon Musk speaks at the SpaceX Hyperloop Pod Competition II in Hawthorne, California, in 2017. Cursor is a Silicon Valley startup using AI to automate coding as Elon Musk's firm seeks foothold in the AI market SpaceX said it has secured an option to either acquire code-generation startup Cursor for $60bn later this year, or pay $10bn for their new partnership, as it pushes deeper into the lucrative market for AI developer tools. Along with OpenAI and Anthropic, Cursor is one of several Silicon Valley startups that has drawn waves of developers by using artificial intelligence to automate coding, a business where AI companies have found early commercial traction. The deal could give xAI, the Grok chatbot maker that SpaceX merged with in February, a stronger foothold in the AI coding market where it has so far lagged rivals.

In this interview series, we're meeting some of the AAAI/SIGAI Doctoral Consortium participants to find out more about their research. We sat down with Abdelrahman Sayed Sayed to chat about his work on formal verification applied to autonomous vehicles. Could you tell us a bit about where you're studying and the broad topic of your research? My PhD topic is formal verification of neural ODE (ordinary differential equations) for safety evaluation in autonomous vehicles. Could you say something about formal verification and why it's such an important topic?