Reasoning models
No article yet. Other articles already link here, so it is queued for writing.
$ grep -l "Reasoning models" ~/wiki
# service page: noindex, so search engines don't treat the site as thin
facts · 6
- The Verge talks to more than three dozen mathematicians about OpenAI's release; Bartosz Naskręcki: it “can cause a huge collapse in the academic culture”Science · Education · Reasoning models · theverge.com ↗
- OpenAI publishes on GitHub mathematical results from its internal model — now 719 manuscripts in 372 families; three manuscripts were withdrawn over a sign errorScience · Reasoning models · github.com ↗
- OpenAI publishes 719 mathematical papers by its internal model; 42% of the main results are formally verified in LeanScience · Reasoning models · github.com ↗
- The Association for Human Mathematics urges mathematicians to stop working with OpenAI: “Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power”Science · Reasoning models · ahmath.org ↗
- DeepSeek-R1: a cheap open reasoning model; on 27 January NVIDIA shares fall ~17%Finance & money · Business & markets · Open weights · api-docs.deepseek.com ↗
- OpenAI o1: a model that “thinks” before answeringScience · Reasoning models · openai.com ↗