La IA china avanza en geometría en la principal Olimpiada Matemática de EE.UU.

Los investigadores afirman que el sistema TongGeometry desarrollado en China no solo supera a competidores estadounidenses resolviendo problemas, sino que también genera problemas matemáticos, tres de los cuales aparecieron en un examen clasificatorio del equipo nacional chino de 2024 y en una Olimpiada de primer nivel de EE.UU.

Investigadores del Beijing Institute for General Artificial Intelligence y la Universidad Pekín han desarrollado TongGeometry, un sistema que supera a competidores estadounidenses como AlphaGeometry de Google DeepMind en la resolución de problemas de geometría. A diferencia de los modelos existentes limitados a la resolución de problemas, también genera problemas matemáticos, tres de los cuales aparecieron en un examen clasificatorio para el equipo nacional chino de 2024 y en una Olimpiada de primer nivel de EE.UU. Los desarrolladores de TongGeometry dijeron que el sistema «funciona más como un entrenador que diseña problemas de entrenamiento y guía estrategias de solución, en vez de solo un estudiante que resuelve problemas dados». Basado en 196 problemas de geometría de Olimpiadas pasadas, generó 6.700 millones de problemas de geometría que requerían construcciones auxiliares. Funciona en una GPU NVIDIA RTX 4090 y se publicó en Nature Machine Intelligence, con participación de investigadores de la Universidad de Nueva York. Este avance resalta el progreso de la IA china en la Olimpiada Internacional de Matemáticas, superando las limitaciones de modelos previos.

Artículos relacionados

Two Chinese mathematicians receiving Fields Medals at the 2026 ICM ceremony in Philadelphia.
Imagen generada por IA

Two Chinese mathematicians win 2026 Fields Medals

Reportado por IA Imagen generada por IA

Chinese mathematicians Deng Yu and Wang Hong received the Fields Medals at the opening ceremony of the 2026 International Congress of Mathematicians in Philadelphia on Thursday, marking the first time Chinese mathematicians have won the award.

Zhipu AI launched its GLM-5.2 large language model and ZCode platform on June 16. The release positions the Chinese firm closer to leading American AI systems in coding and cybersecurity tasks.

Reportado por IA

A Harvard mathematician has used artificial intelligence to disprove a long-standing problem in algebra that experts had spent decades trying to prove true. Levent Alpöge announced the finding on social media on 19 July with a short counterexample.

A basic AI prompt has disproved the Dinitz-Garg-Goemans conjecture, a 30-year-old problem in graph theory. Dmitry Rybin used ChatGPT 5.6 Pro to find a counterexample after entering fewer than 60 words across four prompts. The process took 5.5 hours.

Reportado por IA

Omar Yaghi, who shared the 2025 Nobel Prize in Chemistry, has accepted a faculty position at Tsinghua University in Beijing to lead a new artificial intelligence research institute.

Este sitio web utiliza cookies

Utilizamos cookies para análisis con el fin de mejorar nuestro sitio. Lee nuestra política de privacidad para más información.
Rechazar