Tags: International Mathematical Olympiad

DeepMind has unveiled AlphaProof, an artificial‑intelligence system that performed at the level of silver‑medal winners at the International Mathematical Olympiad, falling just one point short of gold at the premier undergraduate competition. The breakthrough highlights a shift from earlier AI that excelled at raw calculation but struggled with the logical reasoning required for advanced mathematics. AlphaProof leverages vast training data, including mathematical texts, while addressing the limitations of traditional large‑language models that rely on statistical token prediction. The achievement marks a significant step toward AI that truly understands mathematical proofs. Ler mais

OpenAI revealed its goal to develop an intern‑level AI research assistant by September 2026 and a fully autonomous "legitimate AI researcher" by 2028. The announcement came during a livestream with CEO Sam Altman and chief scientist Jakub Pachocki, who described the upcoming system as capable of handling large research projects independently. In parallel, OpenAI transitioned to a public‑benefit corporation, freeing it from non‑profit constraints and allowing new capital‑raising opportunities. The nonprofit OpenAI Foundation will retain a 26% stake, oversee research direction, and commit $25 billion to disease‑curing initiatives, while the for‑profit arm plans massive infrastructure investment to support the ambitious AI roadmap. Ler mais