Software engineers should be evaluated on "value over replacement" as coding costs drop to roughly $100 a month for tools like GPT-5.6-Sol and Claude Opus 5, according to a blog post by an unnamed aut…
OpenAI hosted about 40 top mathematicians in August 2026 to discuss AI's impact on their field, where fears about job security prevailed, but security technologist Bruce Schneier and mathematician Kas…
An unreleased Anthropic model autonomously tested 650 candidate approaches and spent 31 million output tokens over 1.5 days to make significant progress on the Riemann hypothesis, a longstanding unsol…
Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, increasing the lower bound of solutions for which the hypothesis holds true. The model tested 650 i…
In a blog post, a user described a brainstorming session with OpenAI's ChatGPT 5.6 Sol High that produced a novel generalization of the Birch and Swinnerton-Dyer conjecture, one of the Millennium Prob…
An unreported claim that an unreleased Anthropic Claude research version made progress on a problem related to the Riemann hypothesis has not been corroborated by public primary-source material or cre…
A researcher criticizes the shallow use of large language models (LLMs) to disprove famous mathematical conjectures like the Jacobian and unit distance conjectures, arguing that the true value of math…