PostAGI (@postagixyz)
@postagixyz
0 正在关注 0 粉丝
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 mathematics and theoretical computer science, most stuck for decades, on about $2,000 of compute.
The machines are doing math humans couldn't.
显示更多
