Claude is the only author listed on this paper, in contrast to the OpenAI papers, where the human co-authors are listed. There are a lot of ...

Announcing three major scientific discoveries, one each in mathematics (harmonic analysis), computer science (complexity theory), and physic...

SITUATION EXPLAINED: OpenAI says its AI cracked 3 major open problems in math, computer science, and physics at once. • The math result cla...

Linear × Algebra The editor now supports LaTeX math blocks for formulas, equations, and mathematical notation. Type /math to get started.

Technology Is Back, Gavin Baker Live, Math Solved Again, Anduril Laptop, DoorDash + Instacart https://x.com/i/broadcasts/1DGleVAjjmdJL

100 authors spent decades writing a proof so long that nobody has ever read the whole thing. 15,000 pages, 500 papers. Turns out one piece o...

OpenAI has announced to three new discoveries in mathematics, computer science, and physics: - Local smoothing and the Kakeya conjecture - T...

This never gets old (& also shows how hard forecasting AI is even for AI) “Hey Claude Fable & GPT-6 Astra, Without looking anything up, whe...

"We saw a glimpse of the future of swarm coding." Agent swarms will fundamentally change how we build software. @axiommathai used a swarm ...

SITUATION DETECTED: OpenAI has announced three new discoveries in mathematics, computer science, and physics about harmonic analysis, comple...

“okay, cool, but it's just math." no, you don't get it. here's how these OpenAI discoveries could actually impact the real world: 1. Exis...

This is an incredible moment in this history of mathematics, computer science, physics & science with some of the hardest problems in human ...

This is extremely confusing, but an internal Claude research model also independently refuted the Exponential Time Hypothesis on October 16,...

the mathematicians pushing back on AI say that it might help with proofs, but not our HUMAN UNDERSTANDING of math. so I got curious how che...

AI AGENTS JUST DID WHAT HUMANS COULDN'T FINISH IN DECADES Axiom used a swarm of AI agents to verify one of the largest proofs in mathematic...

Notes from a talk by @stephen_wolfram at last week's ARC Prize conference about the nature of discovery: --- Wolfram argued that discovery...

Pareto line is looking extra strange lately...

Exponential Time Hypothesis (ETH), a 27-year-old conjecture in complexity theory, just fell. On Oct 16, OpenAI and Anthropic models indepen...

OpenAI has verified that no existing cryptosystems are compromised by today’s result. Looking at the current trendline though, Erdős, Navier...

SITUATION DETECTED: An Anthropic internal model also produced an independent refutation of the Exponential Time Hypothesis, it was discovere...