Topic: Mathematics

Short answer

This page shows the most relevant public items for Mathematics, ranked by trend activity and review signal. Use weekly for fast changes, monthly for more stable patterns, and all-time for evergreen picks.

WeeklyMonthlyAll time
Current monthLast month2 months ago

← Back to home

  1. Solving olympiad geometry without human demonstrations

    PaperJan 17, 2024NatureTrieu Trinh, Yuhuai Wu, Quoc V. Le, He He, Thang Luong

    Proving mathematical theorems requires deep logical reasoning and intuition, representing a grand challenge for AI. We introduce AlphaGeometry, a neuro-symbolic system that solves complex geometry ...

  2. Mathematical discoveries from program search with large language models

    PaperDec 14, 2023NatureBernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, Pushmeet Kohli

    Large language models (LLMs) have demonstrated impressive capabilities in code generation, but their ability to discover novel mathematical knowledge has been limited by hallucinations and lack of ...

Related Topics

lab:deep-mind-ai (3)cs.AI (2)cs.LG (1)FunSearch (1)Automated Theorem Proving (1)
Mathematics — trending content and reviews | Attendemia