Steve the Beaver
@beaversteever
Silicon chips are delicious
Joined February 2022
677 Following 10.1K Followers
ooof good thing i changed my major from math to computer science
Holy, rumors are spreading everywhere that OpenAI is close to verifying a proof of the Hodge conjecture, while either OpenAI or Anthropic may be nearing a solution to Birch–Swinnerton-Dyer.
Both are Millennium Prize Problems that have resisted decades of mathematical research.
Verified AI-generated proofs of both would be a historic achievement for mathematics and a remarkable demonstration of AI’s ability to produce new scientific knowledge. And infact show that AI is capable of finding novel and creative solutions.
Show more
