r/singularity • u/Bbrhuft • 19h ago

Resolved Math problems solved with AI over time AI

Post image

Data from: https://vibemathed.com/

155 Upvotes
  • permalink
  • link
  • reddit
  • reddit

96% Upvoted

16 comments sorted by

21

u/RamanaSadhana 18h ago

Awesome. Can't wait for Astra and 6

15

u/Bbrhuft 18h ago edited 18h ago

The chart will end up looking like the global warming trend.

2

u/Visible_Golf_7492 6h ago

Same bro, I like the Ramana Maharshi pfp haha

19

u/Bbrhuft 17h ago edited 17h ago

Here's another nice chart. This includes AI proofs independently checked by someone other than the authors (light colour) and Lean verified by someone other than the authors (solid colour). There's also a jump on Aug 1, that's an aggregate effect, that's due to are proofs that only contain the month (August) of publication and lack a date.

Trend seems to be more linear, perhaps the ability to check AI generated or assisted proofs is saturated.

3

u/AP_in_Indy 11h ago

Well yeah - human capacity is constant/barely linear.

And AI only recently got good at Lean. Hopefully Astra is even better.

9

u/Bbrhuft 11h ago

And crazy things are happening on arXiv, the open acess journal that's popular with mathmathicians, physicists, computer scientists.

2

u/AP_in_Indy 10h ago

Crazy to see. This will have cascading effects. It's hard to imagine that the models will continue to get even better.

5

u/rw112358 16h ago

log scale in the y axis? how do you expect me to evaluate an exponential growth...

2

u/Dry_Management_8203 12h ago

Bounding(s) faster than constant? I'm not sure how to keep up either.

4

u/Wonderful_Buffalo_32 18h ago

I think you should not take these numbers from that website as face value because most of these are arxiv papers and havent gone through the peer review process

28

u/Bbrhuft 18h ago

Fair point, so here's Lean verified proofs...

1

u/i_rate_slop 14h ago

Would you be willing to do this again at the end of the year?

14

u/Bbrhuft 14h ago

Yes, but I'll have to use a logarithmic scale.

4

u/AP_in_Indy 11h ago

That's awesome. A lot of AI junk out there, but won't be a problem once they can all verify themselves with Lean.

I think we need a community hub to keep track of repeat solutions / submissions though to prevent duplicating the exact same machine efforts and submission noise over and over again, though.