Yes
The o1 model is really remarkable. I was able to get very significant speedups to my already highly optimized Rust code in my fast vector similarity project, all verified with careful benchmarking and validation of correctness
eigenvalue on Hacker News
15,000 dimensions and up
In the thread “Terence Tao on O1”
Helped: Creative problem solving and synthesis of mathematical knowledge.
Got in the way: Initial Rust code had bugs requiring one more try.
The o1 model is really remarkable. I was able to get very significant speedups to my already highly optimized Rust code in my fast vector similarity project, all verified with careful benchmarking and validation of correctness. Not only that, it also helped me reimagine and conceptualize a new measure of statistical dependency based on Jensen-Shannon divergence that works very well. …