4 ms·
Right? I just learned about this and searched it on hacker news wondering why I didn't see it earlier. Any human mathematician would be thrilled to prove a res
by magneticnorth 2mo ago
Right? I just learned about this and searched it on hacker news wondering why I didn't see it earlier.
Any human mathematician would be thrilled to prove a result like this, and it's not even big news anymore that an LLM can do it.
- adornKey 2mo agoWhere did you find the news? So far I only found decent discussions about it in Chinese. https://www.zhihu.com/question/2070336637360518307/answer/2070453556918984932 https://www.zhihu.com/question/2070336637360518307/answer/20...
- magneticnorth 2mo agoI saw it first on reddit (r/math).
- josteinhylin 2mo ago[dead]