Musk unveils joint Tesla-xAI project 'Macrohard,' eyes software disruption

In a post on X, Elon Musk said the project, dubbed "Macrohard" or "Digital Optimus," pairs xAI's Grok large language model ...

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

Meta Is Developing 4 New Chips to Power Its AI and Recommendation Systems

The MTIA processors are the tech giant’s latest attempt to build its own AI hardware, even as it continues spending billions on gear from industry leaders like Nvidia.
Electrek

Musk confirms xAI-Tesla joint ‘Digital Optimus’ project — after saying Tesla didn’t need xAI

Elon Musk announced Digital Optimus, a joint xAI-Tesla AI project, contradicting his 2024 claim that Tesla had 'no need' for xAI — amid an ongoing breach of fiduciary duty lawsuit.

Neel Somani Investigates How Artificial Intelligence May Help Verify Mathematical Research

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.