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.
顯示更多
