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

Luminary • Series A

Luminary raises $22 million to expand AI estate planning tools: New York City-based Luminary has raised a $22 million Series A funding round led by Ten Coves Capital. The company, which develops AI-powered workflow tools for estate planning and wealth transfer, plans to use the capital to expand its AI capabilities and commercial team.