On: Sharing AI progress in mathematics

[adrian_m]

The ask is to let mathematicians outside of OpenAI use it, ie. at least wait until the model is released.

[strange_quark → adrian_m]

I don’t think that’s sufficient. If they want to be good stewards of mathematical research and not just doing marketing, they need to at the very least tell us the datasets and any techniques they used to train this model. IMO that’s probably just as if not more valuable than a dump of un-reviewed results.

They won’t because they don’t care and the only way it got this good is something along the lines of they trained on every mathematician’s codex sessions even if they opted out because they consider the thinking traces or output and metadata fair game.

[blurbleblurble → strange_quark]

It's honestly shit marketing that only cultivates spite and erodes their whole brand. This is a total ego trip.

[agnosticmantis → adrian_m]

Which mathematicians though? Only fields medalists? Grad students? Any hobbyist wanting access?

These models are too expensive for broad access unfortunately.

[Jtarii → agnosticmantis]

ChatGPT pro is accessible to literally anyone who has a job and lives in a developed country.

[Jweb_Guru → Jtarii]

Literally every single one of these papers was developed with an internal model that not even most OpenAI employees have access to.

[anthonyrstevens → Jweb_Guru]

Why is this important? Do you not think that at some point, probably sooner rather than later, math researchers across the world will have access to similar capabilities?

This is sort of like discounting putting humans in space because only a few nations have the means to actually do it at the moment.