OpenAI says its models have produced mathematical proofs that challenge established theories in harmonic ...

According to an official OpenAI announcement, its internal models have made three new discoveries in mathematics, computer ...

If the claim is correct, it will change’ computer science, say the experts examining OpenAI’s Exponential Time Hypothesis ...

OpenAI says one of its internal models disproved the Exponential Time Hypothesis on October 16 and formalized that disproof in Lean the next ...

OpenAI's AI models disproved the Exponential Time Hypothesis, resolved the Kakeya and Stein restriction conjectures, and ...

Classiq was founded in 2020 and has since raised $200 million. It is estimated that about $100 million remains in its coffers ...

Measuring the cybersecurity of AI models gets complex fast, with metrics focused on different variables in the AI security ...

Researchers at MIT and partner institutions built Lumina, a simulation that tracks dark matter, gas, stars, and radiation ...

Fusion startups face a new challenge, one unrelated to plasma physics: Give the government shares in exchange for funding ...

According to an open letter by Russell Impagliazzo, Ramamohan Paturi, and MIT’s Ryan Williams cited by The Rundown AI, if the reported disproof of ...

A University of Cincinnati prototype lets workers dispatch a warehouse drone through a live digital twin that looks like a video game.

OpenAI said in an announcement on October 26, 2026, that its internal models produced three research results in mathematics, ...