Two Critical Updates re: Astra and Mathematics
Gary Marcus revisits OpenAI’s celebrated ‘Astra’ mathematics results, noting that an Anthropic mathematician independently replicated roughly half of the reported…
Gary Marcus revisits OpenAI’s celebrated ‘Astra’ mathematics results, noting that an Anthropic mathematician independently replicated roughly half of the reported…
Financial writer Rich Duprey argues investors should be wary of buying into Anthropic’s anticipated IPO despite its roughly $1 trillion…
Catherine Nakalembe, who has spent over 15 years building predictive climate models from satellite data, argues that AI-driven disaster forecasting…
Anthropic researchers ran an internal model (referred to as “Claude Mythos”) for roughly 60 hours of iterative, human-guided prompting to…
Mistral AI released Leanstral 1.5, a 6-billion-parameter model for formal proof engineering in Lean 4, under an Apache-2.0 license. It…
Mistral AI detailed new administrative and API-level controls for its agent “connectors” (tool/data integrations), aimed at production deployment concerns. The…
Meta AI described Brain2Qwerty v2, a system that decodes typed text directly from non-invasive magnetoencephalography (MEG) brain recordings using end-to-end…
This paper proposes AISPA, a framework for auditing the hidden system prompts that govern commercial LLM products, which are rarely…
Science fiction author Charlie Stross published an essay explaining why he uses no LLMs anywhere in his fiction writing or…
Economists Antonin Bergeaud and Robin Rivaton argue in Project Syndicate that the global AI competition has shifted from a contest…
In an investigative essay for the Bulletin of the Atomic Scientists, Bernice Yeung traces how Silicon Valley’s AI companies have…
Beginning on August 2, 2026, the European Commission’s AI Office and national authorities started enforcing the EU Artificial Intelligence Act’s…