Emad Mostaque @EMostaque came on PostAGI and said AI had already found 121 years of missing algebra in Einstein's equations.
A billion parameter model trained on nothing past 1911 got to general relativity by itself.
Yesterday @OpenAI's Astra solved ten open problems in