Breakthroughs, benchmarks, and model releases from the frontier of AI and machine learning research.
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…
Anthropic has rolled out a 'Claude for Small Business' feature set, positioning its AI assistant as a practical tool for under-resourced business owners navigating operational complexity — from tax prep and payroll to compliance and third-party software integrations. The initi…