3 ms·

For all thehubbub, as far as I know, all the math breakthroughs via AI that I've heard about have come from Anthropic and OpenAI, not Chinese models. I could ha

For all thehubbub, as far as I know, all the math breakthroughs via AI that I've heard about have come from Anthropic and OpenAI, not Chinese models. I could have missed those announcements, but one might think that between close to frontier performance plus cheap tokens, that they'd be leading the way on these things.

trentor 3mo ago
Post hoc ergo propter hoc.
- SubiculumCode 3mo ago
  Are you sure that this applies?
  - trentor 3mo ago
    Yes, why shouldn't it?
    - deleted 3mo ago
      [deleted]
  - deleted 3mo ago
    [deleted]
charlieyu1 3mo ago
I mean of course an employee has cheap tokens
Jweb_Guru 3mo ago
"Anthropic and OpenAI" it's basically been all ChatGPT outside of this one.
bcstyle 3mo ago
As with the case with AI and in fact a lot of things in life, sometimes you just need to wait. It will happen, rather soon.
somenameforme 3mo ago
All (unless I've missed one?) the math breakthroughs are also coming from the relatively small number of mathematicians working at these companies, as opposed to the many orders of magnitude more mathematicians using LLMs for mathematics outside of the companies. I assume the missing link everywhere is being able to casually burn a few rainforests worth of tokens in pursuit of something publishable.
- bakkoting 2mo ago
  Depends on exactly where you draw the line at "breakthrough", but there's been at least a few novel and interesting results coming from outside mathematicians. Recently for example there were https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/ https://old.reddit.com/r/math/comments/1uxj3cy/after_openais... from Phillip Kerger at Berkeley, and https://www.erdosproblems.com/forum/thread/119/proof-claims https://www.erdosproblems.com/forum/thread/119/proof-claims from Samuel Korsky at Two Sigma (the latter of which was more of a collaboration between the human and machine, not a one-shot like several of the other results we've discussed).
- famouswaffles 2mo ago
  No. Most of the results are from 3rd parties using publicly available models. The most impressive results have come from direct announcements, but most in total have not. Open AI have only announced 2 results and the total is up to a dozen or so now.
matrix87 2mo ago
> as far as I know, all the math breakthroughs via AI that I've heard about have come from Anthropic and OpenAI, not Chinese models Maybe because dishonesty is more normalized in SV business culture

trentor 3mo ago

Post hoc ergo propter hoc.

SubiculumCode 3mo ago
Are you sure that this applies?
- trentor 3mo ago
  Yes, why shouldn't it?
  - deleted 3mo ago
    [deleted]
- deleted 3mo ago
  [deleted]

charlieyu1 3mo ago

I mean of course an employee has cheap tokens

Jweb_Guru 3mo ago

"Anthropic and OpenAI" it's basically been all ChatGPT outside of this one.

bcstyle 3mo ago

As with the case with AI and in fact a lot of things in life, sometimes you just need to wait. It will happen, rather soon.

somenameforme 3mo ago

All (unless I've missed one?) the math breakthroughs are also coming from the relatively small number of mathematicians working at these companies, as opposed to the many orders of magnitude more mathematicians using LLMs for mathematics outside of the companies. I assume the missing link everywhere is being able to casually burn a few rainforests worth of tokens in pursuit of something publishable.

bakkoting 2mo ago
Depends on exactly where you draw the line at "breakthrough", but there's been at least a few novel and interesting results coming from outside mathematicians. Recently for example there were https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/ https://old.reddit.com/r/math/comments/1uxj3cy/after_openais... from Phillip Kerger at Berkeley, and https://www.erdosproblems.com/forum/thread/119/proof-claims https://www.erdosproblems.com/forum/thread/119/proof-claims from Samuel Korsky at Two Sigma (the latter of which was more of a collaboration between the human and machine, not a one-shot like several of the other results we've discussed).
famouswaffles 2mo ago
No. Most of the results are from 3rd parties using publicly available models. The most impressive results have come from direct announcements, but most in total have not. Open AI have only announced 2 results and the total is up to a dozen or so now.

matrix87 2mo ago

> as far as I know, all the math breakthroughs via AI that I've heard about have come from Anthropic and OpenAI, not Chinese models Maybe because dishonesty is more normalized in SV business culture