|
|
|
|
|
|
by Ianjit
164 days ago
|
|
|
My impression from Tao’s answers is that there is a gulf between the reality of what mathematicians actually do and the benchmarks that the frontier labs tout. It doesn’t seem trivial to close that gap and create an LLM that can replace mathematicians. |
|
|
"there is a gulf between the reality of what mathematicians actually do and the benchmarks that the frontier labs tout."
A lot of peoples wealth is on the line, I wish people opened their eyes rather than believing benchmarks blindly.