Axiom Math wants to keep AI slop out of mathematics

TechCrunch - Nov 5, 2026

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.

Read full article

MORE NEWS

These Newly Elected Lawmakers Know Something Trump Doesn’t: Science

Nov 6, 2026

These Newly Elected Lawmakers Know Something Trump Doesn’t: Science

Among those elected to Congress on Tuesday are a mathematician, a microbiologist and a chemical engineer. They plan to take on a White House that has threatened funding cuts to research.

'Megatsunami' could reach US East Coast in just hours after catastrophic volcano collapse in Spain, scientist claims

Nov 6, 2026

'Megatsunami' could reach US East Coast in just hours after catastrophic volcano collapse in Spain, scientist claims

A catastrophic volcano collapse in Spain could send a 'megatsunami' toward the US East Coast within hours, research has shown.

What really happens when you die? Scientists find 'credible' evidence your consciousness lives on after your brain shuts down

Nov 6, 2026

What really happens when you die? Scientists find 'credible' evidence your consciousness lives on after your brain shuts down

Your brain's final shutdown may not silence your mind. A researcher has suggested that vivid near-death experiences could offer glimpses of an afterlife.

Why the US midterms sparked an AI stock selloff

Nov 6, 2026

Why the US midterms sparked an AI stock selloff

Fears of more AI regulation appear to have sparked fear among investors, but concerns about the industry have been growing for some time.

Motorola Signature 27 launched: 200MP camera, Gemini AI, 7,000mAh battery and GrapheneOS support — what’s new?

Nov 6, 2026

Motorola Signature 27 launched: 200MP camera, Gemini AI, 7,000mAh battery and GrapheneOS support — what’s new?

Motorola has launched the Signature 27 flagship smartphone with a 200MP camera, Gemini AI features, a 12,000-nit display and a 7,000mAh battery. It also offers 100x zoom, GrapheneOS support and seven years of OS upgrades. Global availability is expected in the coming months, starting at $1,599.

Why the Tech Right Lost Big This Week

Nov 6, 2026

Why the Tech Right Lost Big This Week

“This felt like a decidedly anti-tech election.”

SpaceX prepares for November Starship flight 15: what to know

Nov 6, 2026

SpaceX prepares for November Starship flight 15: what to know

SpaceX prepares for November Starship flight 15: what to knowSpaceX is targeting November 13 for Starship Flight 15 with the mission seeking to attempt the first catch of the Starship spacecraft. The announcement solidifies the November double-recovery strategy that SpaceX outlined after Flight...

Elon Musk admits defeat as Tesla ends production of recall-plagued Cybertruck

Nov 6, 2026

Elon Musk admits defeat as Tesla ends production of recall-plagued Cybertruck

Elon Musk has said his iconic Cybertruck will end its run after a controversial and problem-filled three years on the market.

Nonflammable gel membrane could help batteries run twice as long on a single charge

Nov 6, 2026

Nonflammable gel membrane could help batteries run twice as long on a single charge

A new polymer electrolyte to replace lithium ions in batteries is the result of research carried out by a team from the Department of Chemistry, Materials and Chemical Engineering (DCMIC) "Giulio Natta" at Politecnico di Milano, which conceived and developed a revolutionary, nonflammable, quasi-solid gel membrane that enables the transport of fluoride ions within batteries at room temperature.

U.S. Global Health Strategy Jeopardizes Prevention of Pandemics, Experts Warn

Nov 6, 2026

U.S. Global Health Strategy Jeopardizes Prevention of Pandemics, Experts Warn

The Trump administration has been negotiating agreements with dozens of individual countries. Public health experts say a global agreement would be far more effective.

What Shaped Anthropic CEO Dario Amodei’s Thinking on A.I.

Nov 6, 2026

What Shaped Anthropic CEO Dario Amodei’s Thinking on A.I.

Some call him a doomer. Others see him as a responsible technologist. Here’s how Dario Amodei’s thinking on artificial intelligence was shaped.

AI learns from the products of thinking, not thought itself. That's a problem for machines—and for us

Nov 6, 2026

AI learns from the products of thinking, not thought itself. That's a problem for machines—and for us

When you walk through a gallery, admiring the paintings on the walls, what you are seeing are finished products. They are the result of countless hours of learning and practice and trial and error, but none of that is on display.

RECOMMENDED

Science Thread

Science Thread delivers quality and fascinating science and technology content that matters on a daily basis and makes it go viral.

ABOUT US
Sign Up

Copyright © 2015 - 2026 Science Thread. All Rights Reserved.