number theory
PulseAugur coverage of number theory — every cluster mentioning number theory across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
New prompting framework enhances LLM reasoning with expert roles
Researchers have introduced Role-Enhanced Zero-Shot Chain-of-Thought (RE-ZS-CoT), a new prompting framework designed to improve large language model reasoning without requiring task-specific examples. This method integr…
-
HOL Light theorem prover quick-start guide released
This document serves as a quick-start guide for the HOL Light theorem prover, designed to help users overcome the initial intimidation of its comprehensive manual. It provides a series of graded examples to teach basic …
-
Researcher proves Conjecture 9 using Claude Opus 5 in math decomposition series · 8 sources tracked
A researcher has published the sixth report in their series on mathematical decomposition, detailing the proof of Conjecture 9. This work, which utilizes Anthropic's Claude Opus 5 model, focuses on number theory, prime …
-
LLMs Perform Arithmetic Without Numbers, Article Explains
This article explores how Large Language Models (LLMs) perform arithmetic operations without relying on traditional numerical representations. It delves into the internal mechanisms and processes that enable LLMs to han…
-
Fields Medalist: ChatGPT 5.5 Pro produces PhD-level math research
Fields Medalist Timothy Gowers has demonstrated ChatGPT 5.5 Pro's advanced mathematical capabilities by having it solve complex number theory problems. The AI reportedly produced results equivalent to a PhD dissertation…