❗️AI is starting to trigger a backlash in mathematics

OpenAI’s release of 722 AI-generated mathematics manuscripts is already causing a backlash among some mathematicians.

The Association for Human Mathematics (AHM) criticized the release and urged mathematicians to “discontinue their work with OpenAI.” Terence Tao also reposted the AHM statement on his blog.

The debate is bigger than whether AI-generated proofs are good or bad. If AI can increasingly produce serious mathematical results, the field now has to figure out how to verify, publish and evaluate them.

Walking away from the technology doesn’t resolve that question. The more interesting challenge is figuring out how mathematicians and AI can actually work together.

Source.

@aipost 🏴

❗️Anthropic says: be nice to Claude

Anthropic’s new global usage policy bans weapons development, mass surveillance and political psyops.

It also bans “abusive or cruel behavior” toward Claude.

Yes, Claude can apparently end the conversation if you’re being too mean.

Dario Amodei has said Anthropic doesn’t know whether Claude is conscious. Now the company’s policy is basically: just in case… behave yourself.

Anthropic can warn, throttle, limit, suspend or terminate access over violations. Though government use gets some restrictions “tailored” to the situation.

@aipost 🏴

❗️The AI domain war has officially begun

OpenAI, Google and Meta are now fighting over some of the most valuable AI-related internet domains.

ICANN received 1,615 applications from 481 applicants in its first new domain expansion since 2012. OpenAI applied for 15 domains, including .agent, .agi, .asi, .chatgpt, .gpt, .mcp, .model and .openai.

Google went even bigger with 39 applications, including .agent, .mcp, .gemini, .deepmind and .api. Meta submitted 18, including .agent, .llama, .metaai and .superintelligence.

Some strings are already crowded: .agent has 13 applicants, .agi has 7, and .mcp has 5. Interestingly, Anthropic, which created MCP didn’t apply for .mcp at all.

Anthropic only applied for .anthropic and .claude, while Microsoft went for .copilot and .msft.

Each application costs $227,000, and contested domains can become extremely expensive. Google previously paid $25 million for .app.

The process could continue until 2030, and none of these domains has been awarded yet.

@aipost 🏴

OpenAI says it shut down Russian and Iranian influence ops that used ChatGPT to invent fake journalists and think tanks, and got their stories into real news outlets.

Russia's "Dark Clark" ran a Latin American think tank whose own staff apparently had no idea Russians ran it.

@aipost 🏴

❗️The three Ex-OpenAI researchers say they believe they were fired for prioritizing safety over OpenAI’s near-term corporate interests.

They also deny being the source of the leak behind The Information’s recent report on allegedly less monitorable AI architectures. On the other hand, there seems to be a large amount of information leaking at OpenAI, and on the other hand, there are increasing security concerns.

@aipost 🏴

❗️Trump bought up to $25 MILLION of Meta and up to $5 MILLION of SpaceX's FIRST-EVER bonds.

Trump's August disclosure shows both purchases among 517 trades, with Meta the biggest of the month.

His accounts bought the SpaceX bonds on August 18, two days before he signed a memo to boost US space launches.

The Trump Organization says third-party institutions manage the accounts without input from Trump or his family.

@aipost 🏴

🤖 OpenAI's math dump is already OBLITERATING entire HUMAN research programs.

The Verge spoke to 3 dozen+ mathematicians. NYU's Tristan Buckmaster says he's heard of THREE people whose entire research programs were "obliterated." Others say grant proposals have been wiped out. Some results could have put human mathematicians in contention for a Fields Medal.

OpenAI released nearly 400 results across 700+ manuscripts, but only 42% of top-line results are Lean-formalized. It hasn't disclosed the model, prompts or full set of problems attempted.

One mathematician says even if AI disappeared TODAY, they could spend the next 10 YEARS just studying the results.

@aipost 🏴