Steve the Beaver
@beaversteever
Silicon chips are delicious
参加 February 2022
677 フォロー中 10.1K ファン
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.
もっと見る
