11–20 of 1001 posts
A difficult part was constructing a chess board on which to play math (Lean). Now it's just pattern recognition and computation.
LLMs are just the beginning, we'll see more specialized math AI resembling StockFish soon.
One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?
As far as academic research is concerned (e.g. this threads topic), I can't say.
AI isn't going to supercharge science but I wouldn't be as dismissive as other posters here.
I do not believe it will replace humans.
One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?
Gemini seems better trained for learning and I think Google has made a more deliberate effort to optimize for pedagoical best practices. (E.g. tutoring, formative feedback, cognitive load optimization) As far as academic research is concerned (e.g. this threads topic), I can't say.
Can anyone find (or draw) a picture of the construction?
Can anyone find (or draw) a picture of the construction?
One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?