Breakthroughs, benchmarks, and model releases from the frontier of AI and machine learning research.
According to reports circulating across Hacker News and Reddit, Anthropic's newest model, Claude Fable, has produced what it claims to be a counterexample to the Jacobian Conjecture — a notoriously stubborn open problem in algebraic geometry that has resisted resolution since …
DeepSeek has published DSpark, a paper detailing a refined approach to speculative decoding — the inference acceleration technique where a small 'draft' model proposes tokens that a larger target model then verifies in parallel. The core innovation tackles one of the most pers…
Quanta Magazine has published an extended profile framing Fields Medalist Terry Tao as a leading evangelist for AI in mathematics. In practice, much of Tao's documented work in this domain centers on Lean, the formal proof assistant developed at Microsoft Research, and on larg…
A provocative academic paper has surfaced online arguing that the same logic used to attribute human-like properties — such as reasoning, understanding, or proto-consciousness — to large language models would, if applied consistently, also confer those attributes to Age of Emp…
Anthropic's research institute has published a detailed piece outlining what it describes as meaningful progress toward recursive self-improvement — the concept of AI systems meaningfully contributing to their own development cycles. The article positions Anthropic at the fron…
A growing cohort of mathematicians is sounding the alarm over AI systems that are increasingly capable of performing complex mathematical reasoning, proof verification, and potentially even original discovery — territory long considered the exclusive domain of human intellect.…
A group of prominent mathematicians has published the Leiden Declaration on Artificial Intelligence and Mathematics, a formal statement raising serious concerns about the growing influence of AI tools in mathematical research and publication. Signed by high-profile figures suc…
OpenAI has announced that one of its models successfully disproved a central conjecture in discrete geometry — a result that had eluded human mathematicians for years. Notably, the model achieved this without the aid of specialized mathematical frameworks or a custom-built pro…
An audit conducted by Ontario's oversight bodies has revealed that AI transcription and note-taking tools deployed in medical settings routinely produce inaccurate records — misrepresenting dosages, diagnoses, and other critical clinical details. The findings highlight a growi…