Policy

AIThe Association of Historical Mathematicians (AHM) has called for a boycott of OpenAI after the company released more than 700 AI-generated proof files at once. Fields Medalist Terence Tao, who chairs the group, argues that AI solving open problems autonomously reduces seminars, collaborations, and fertile research directions, and that the field should shift its measure of progress toward explanation and community-building.

Why it matters: The article links the AHM boycott call to Tao's argument that AI-driven proof volume is changing how mathematicians measure progress and whether solutions remain useful.

AIMckay Wrigley reposted a statement from @SecWar accusing Anthropic of refusing the Department of War unrestricted access to its models for lawful purposes. The quoted statement directs the Department of War to designate Anthropic a Supply-Chain Risk to National Security, bars contractors from commercial activity with Anthropic, and allows Anthropic services for no more than six months. The author's own added text says only that he finds the situation horrifying and supports Anthropic.

Why it matters: The quoted statement is a direct government action against a named AI lab, giving readers a primary-source view of a dispute over military access to AI models.