Google claims math breakthrough with proof-solving AI models

Google claims math breakthrough with proof-solving AI models

Enlarge / An illustration provided by Google. (credit: Google) On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving a score equivalent to a silver medal. The tech giant claims this marks the first time an AI…

OpenAI hits Google where it hurts with new SearchGPT prototype

OpenAI hits Google where it hurts with new SearchGPT prototype

Enlarge (credit: Benj Edwards / OpenAI) Arguably, few companies have unintentionally contributed more to the increase of AI-generated noise online than OpenAI. Despite its best intentions—and against its terms of service—its AI language models are often used to compose spam, and its pioneering research has inspired others to build AI models that can potentially do…

Chrome will now prompt some users to send passwords for suspicious files

Chrome will now prompt some users to send passwords for suspicious files

(credit: Chrome) Google is redesigning Chrome malware detections to include password-protected executable files that users can upload for deep scanning, a change the browser maker says will allow it to detect more malicious threats. Google has long allowed users to switch on the Enhanced Mode of its Safe Browsing, a Chrome feature that warns users…

Lego’s newest retro art piece is a 1,215-piece Super Mario World homage

Lego’s newest retro art piece is a 1,215-piece Super Mario World homage

The Lego Mario & Yoshi set is an homage to 1990’s Super Mario World. The Lego Group From the front, it looks like a fairly straightforward re-creation of the game’s 16-bit sprites. The Lego Group Behind the facade are complex mechanics that move Yoshi’s feet and arms and bob his body up and down, to…

Secure Boot is completely broken on 200+ models from 5 big device makers

Secure Boot is completely broken on 200+ models from 5 big device makers

Enlarge (credit: sasha85ru | Getty Imates) In 2012, an industry-wide coalition of hardware and software makers adopted Secure Boot to protect against a long-looming security threat. The threat was the specter of malware that could infect the BIOS, the firmware that loaded the operating system each time a computer booted up. From there, it could…

We made a cat drink a beer with Runway’s AI video generator, and it sprouted hands

We made a cat drink a beer with Runway’s AI video generator, and it sprouted hands

Enlarge In June, Runway debuted a new text-to-video synthesis model called Gen-3 Alpha. It converts written descriptions called “prompts” into HD video clips without sound. We’ve since had a chance to use it and wanted to share our results. Our tests show that careful prompting isn’t as important as matching concepts likely found in the…

CrowdStrike blames testing bugs for security update that took down 8.5M Windows PCs

CrowdStrike blames testing bugs for security update that took down 8.5M Windows PCs

Enlarge / CrowdStrike’s Falcon security software brought down as many as 8.5 million Windows PCs over the weekend. (credit: CrowdStrike) Security firm CrowdStrike has posted a preliminary post-incident report about the botched update to its Falcon security software that caused as many as 8.5 million Windows PCs to crash over the weekend, delaying flights, disrupting…

Elon Musk claims he is training “the world’s most powerful AI by every metric”

Elon Musk claims he is training “the world’s most powerful AI by every metric”

Enlarge / Elon Musk, chief executive officer of Tesla Inc., during a fireside discussion on artificial intelligence risks with Rishi Sunak, UK prime minister, in London, UK, on Thursday, Nov. 2, 2023. (credit: Getty Images) On Monday, Elon Musk announced the start of training for what he calls “the world’s most powerful AI training cluster”…

How Russia-linked malware cut heat to 600 Ukrainian buildings in deep winter

How Russia-linked malware cut heat to 600 Ukrainian buildings in deep winter

Enlarge / The cityscape from the tower of the Lviv Town Hall in winter. (credit: Anastasiia Smolienko / Ukrinform/Future Publishing via Getty Images) As Russia has tested every form of attack on Ukraine’s civilians over the past decade, both digital and physical, it’s often used winter as one of its weapons—launching cyberattacks on electric utilities…

The first GPT-4-class AI model anyone can download has arrived: Llama 405B

The first GPT-4-class AI model anyone can download has arrived: Llama 405B

Enlarge (credit: Benj Edwards / Getty Images) In the AI world, there’s a buzz in the air about a new AI language model released Tuesday by Meta: Llama 3.1 405B. The reason? It’s potentially the first time anyone can download a GPT-4-class large language model (LLM) for free and run it on their own hardware….