OpenAI challenges a major hypothesis

OpenAI has claimed to disprove the exponential time hypothesis, a key idea in computer science that suggests solving certain complex problems, like 3-SAT, requires exponential time. This hypothesis has long been a foundation for understanding computational limits, and if OpenAI's claim is verified, it could shift how researchers view the boundaries of algorithmic efficiency.

Proof requires independent review

The proof, written in a formal language called Lean and made available on GitHub, has not yet been independently verified. Two researchers who originally proposed the exponential time hypothesis are among those expected to review the work, which could take time and may not lead to immediate consensus in the field.

Flamerix AI targets token costs

Flamerix AI has released a script that disables Claude Code's automatic summaries, which the company estimates consume 15 to 20% of the tokens used in interactions. These summaries involve the model generating labels every 30 seconds, which requires sending the full history of active agents back to the model for processing.

Anthropic addresses the cost issue

Anthropic, the company behind Claude Code, acknowledges the mechanism but estimates its impact at around 2% through its API and 6% in the terminal. The company has started implementing a fix using caching to reduce the overhead caused by these summaries.

Musk launches AI-driven cultural project

Elon Musk has relaunched Grok Imagine, an AI project aimed at creating a "historically accurate" AI-generated fresco inspired by Homer's The Odyssey. The project is framed as a response to Musk's public criticism of Christopher Nolan's film adaptation of the same story, which he claimed was influenced by diversity requirements from the Academy.

Grok Imagine's debut shows mixed results

The first seven-minute episode of Grok Imagine, produced with Wonder Studios, highlights the current capabilities of AI-generated video but also reveals technical limitations such as frozen animations and a lack of lifelike motion. Critics have offered divided reactions, praising the technical progress while pointing out the project's shortcomings.