Towards Autonomous Mathematics Research

64 points - today at 6:35 PM

Source

Comments

u1hcw9nx today at 8:07 PM
>The results of this paper should not be interpreted as suggesting that AI can consistently solve research-level mathematics questions. In fact, our anecdotal experience is the opposite: success cases are rare, and an apt intuition for autonomous capabilities (and limitations) may currently be important for finding such cases. The papers (ACGKMP26; Feng26; LeeSeo26) grew out of spontaneous positive outcomes in a wider benchmarking effort on research-level problems; for most of these problems, no autonomous progress was made.
amiune today at 7:05 PM
Perfect match for this test: https://arxiv.org/abs/2602.05192
paulpauper today at 9:37 PM
"...well as model outputs at this https URL."

Had no idea it was possible to put a live url in the abstract of an arxiv listing

measurablefunc today at 6:59 PM
I still don't get how achieving 96% on some benchmark means it's a super genius but that last 4% is somehow still out of reach. The people who constantly compare robots to people should really ponder how a person who manages to achieve 90% on some advanced math benchmark still misses that last 10% somehow.
deleted today at 8:44 PM
engelo_b today at 8:52 PM
[dead]
deleted today at 6:58 PM
nivcmo today at 7:18 PM
[dead]
tug2024 today at 8:16 PM
[dead]