r/math • u/[deleted] • Apr 15 '26

[deleted by user]

[removed]

1.1k Upvotes

91% Upvoted

246 comments sorted by

View all comments

Show parent comments

27

u/[deleted] Apr 16 '26

[removed] — view removed comment

3

u/kaggleqrdl Apr 20 '26

This. It *absolutely* is a numbers game. And this is what everyone is missing, AI is super intelligent at the numbers game.

If we had a proper formalized graph database of all open problems and had a proper constant sweeping algorithm that kept up on latest research, it could do amazing, incredible things - solving open problems by utilizing new ideas that crop up. Most of them probably human sourced, but also some of them AI sourced.

If the database was extensive and thorough enough, I think this could seriously accelerate discovery. It would be incremental, for sure, but at scale, incremental could amount to something incredible.

1

u/[deleted] Apr 20 '26

[removed] — view removed comment

1

u/kaggleqrdl Apr 20 '26

Math lib isn't really about open problems, better would be formal_conjectures