Blog Posts | Joshua Berkowitz

5 Articles

github × mathematics ×

SciAgent: Gold Medal Performance Through Hierarchical Multi-Agent Scientific Reasoning

Researchers from Zhongguancun Academy, Peking University, Tencent AI Lab, and collaborating institutions have developed SciAgent, a hierarchical multi-agent system that achieves gold medal performance...

artificial intelligence hierarchical architecture mathematics multi-agent systems olympiad competitions physics ReAct framework scientific reasoning

Nov 16, 2025

0 5302

Papers

AlphaEvolve: AI-Powered Mathematical Discovery at Scale

Google DeepMind's AlphaEvolve is moving the bar yet again in how artificial intelligence tackles mathematical discovery. Published (preprint) in November 2025 by researchers Bogdan Georgiev, e t al at...

AI AlphaProof automated reasoning combinatorics DeepMind evolutionary computation FunSearch large language models machine learning mathematical discovery mathematics optimization Terence Tao

Nov 7, 2025

0 19591

Papers

DeepMind's AI Nearly Clinched Gold at the International Mathematical Olympiad

Artificial intelligence has taken a remarkable leap by matching the prowess of elite young mathematicians. DeepMind’s AlphaProof and AlphaGeometry 2 models recently performed at a silver-medal standar...

AlphaGeometry AlphaProof artificial intelligence formal reasoning IMO machine learning mathematics problem-solving

Sep 30, 2025

0 12221

News

Gemini Deep Think: AI Achieves Gold-Medal Status at the International Mathematical Olympiad

Artificial intelligence has taken a significant leap forward, rivaling the brightest young mathematicians at the prestigious International Mathematical Olympiad (IMO). Google DeepMind’s advanced Gemin...

AI DeepMind education technology Gemini International Mathematical Olympiad machine reasoning mathematics problem solving

Jul 22, 2025

0 10505

News

Revolutionizing AI Reasoning: Microsoft Research's Breakthroughs for Language Models

Artificial intelligence is advancing at a remarkable pace, but its true leap lies in enhancing reasoning skills. Microsoft Research is at the forefront, developing innovative approaches that emp...

AI research formal methods generalization language models machine learning mathematics reasoning symbolic reasoning

Jun 28, 2025

0 3707

News

Our latest content

Check out what's new !

See all

Ads

Prompt Maker Image Generator

Struggling with the perfect AI image prompt? My free app helps you generate brilliant ideas and instantly creates an image to match. Go from concept to creation in two clicks!

Most Popular Articles

Check out what the hot topics are!

See all

Every shirt tells a story—and every story

#ClothingForACause