Sharing AI progress in mathematics
OpenAI has published new results on open mathematical problems produced by an internal frontier model. It is sharing Lean formalizations of the proofs and research details on GitHub.
Related stories
Advancing computer use with Ironclad
OpenAI and contract-management firm Ironclad are training and testing AI agents on complex contracting workflows. The work aims to improve how agents operate computers for professional tasks.
From Scan to Treatment Plan, AI Helps Close Breast Cancer’s Deadliest Gaps
NVIDIA describes how AI is used to address gaps in breast cancer care, from screening to treatment decisions. It notes that many women over 40 skip annual screening, radiologists are stretched and some tests take weeks.
One Model Family, Two Gold-Level Results: Fine-Tuning Nemotron for IOI and IMO
A Hugging Face post describes fine-tuning NVIDIA’s Nemotron models to reach gold-level results at the International Olympiad in Informatics and the International Mathematical Olympiad.
EmTech Future 2026: When AI Meets Everything
At an MIT Technology Review event, Google Research head Yossi Matias discussed how AI is starting to reshape biology, infrastructure, manufacturing and science. He argued its biggest impact may come from combining it with other fields.
Generative AI freezes hiring of young people in exposed jobs
Since AI became widely available in November 2022, hiring of 21- to 29-year-olds has shrunk in the jobs most exposed to it. The finding comes from a joint study by the Banque de France and an HEC-affiliated lab on the future of work.