Profile Picture
  • All
  • Search
  • Images
  • Videos
  • Maps
  • News
  • Copilot
  • More
    • Shopping
    • Flights
  • Notebook
  • Top stories
  • Sports
  • U.S.
  • Local
  • World
  • Science
  • Technology
  • Entertainment
  • Business
  • More
    Politics
Order byBest matchMost recent
  • Any time
    • Past hour
    • Past 24 hours
    • Past 7 days
    • Past 30 days

OpenAI’s Astra model solved 10 open math problems

Digest more
 · 12h
OpenAI’s Astra Solved Decades-Old Math Problems For $2,000
OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut discovery costs to about two thousand dollars.

Continue reading

Tech Times on MSN · 1d
OpenAI's Astra solves ten decade-old math problems with machine-checkable Lean proofs
The Chosun Ilbo on MSN · 1d
OpenAI's Astra solves 10 long-standing math, CS problems
14d

AI just disproved a major math problem. A mathematician explains.

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of ...
The Financial Express
13d

Claude Fable cracks a math problem that stumped geniuses for decades

Claude Fable 5 reportedly disproved the Jacobian Conjecture with a one-line counterexample, signaling AI’s growing math role.
3d

Something Weird Is Happening in Math

But from the perspective of research mathematicians, and especially young people who are pursuing a Ph.D. in mathematics, ...

Some results have been hidden because they may be inaccessible to you

Show inaccessible results
  • Privacy
  • Terms