AI Notkilleveryoneism Memes ⏸️@AISafetyMemes · XAI 摘要
我还记得以前，大家认为AI解决一个新数学难题就能登上全球头条。 今天，AI解决了不止一个，而是九个开放问题——有些已存在50年。 并且证明了492个OEIS开放猜想中的*44*个。 零媒体报道。
I'm old enough to remember when everyone thought AI solving ONE novel math problem would be a front page story around the world
Today， AI solved not one， but NINE open problems - some 50 years old.
AND proved *44* out of 492 open OEIS conjectures.
Zero media coverage.
Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified forma...