Ai Tools

Researchers train Nemotron 3 Ultra checkpoints to generate olympiad math proofs: Researchers trained two specialist checkpoints from Nemotron 3 Ultra using supervised fine-tuning and reinforcement learning to generate natural-language proofs for olympiad mathematics. The resulting test-time-compute pipeline operates entirely in natural language without formal provers or external tools.

Nemotron • arXiv

Meta reportedly delayed removing ads for AI apps that nudify teenage girls: Meta reportedly delayed the removal of advertisements on its platforms that promoted AI applications designed to nudify photos of young girls. The ads targeted Instagram users and showcased tools capable of digitally stripping clothing from images of real teenagers.

Society • Ars Technica AI