mathematics
3 stories in this blend
There's An AI For That·6d agoOpenAI Model Solves Partial Mathematical Proof for Prime Numbers
An AI system developed by OpenAI successfully proved a relaxed version of the Riemann hypothesis, a famous 160 year old math problem. The paper combines existing mathematical techniques in novel ways to narrow down the behavior of prime numbers. Mathematicians noted the achievement as a major milestone, though complete human verification of the proof is still underway.
Superintelligence·Sep 18OpenAI reportedly targets solution to famous mathematical conjecture
OpenAI researchers are allegedly making progress toward solving the Hodge Conjecture, one of mathematics' longstanding unsolved problems. While sources expect developments soon, no peer-reviewed proof or formal public confirmation has been published.
There's An AI For That·Sep 10Mathematician Terence Tao considers the impact of AI on research
In a new interview, mathematician Terence Tao explored how automated tools alter scientific discovery. He warned about challenges that arise when AI systems produce results faster than scientists can analyze them.
