The AI Revolution in Math Has Arrived | Quanta Magazine
www.quantamagazine.org
external-link
AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.
@[email protected]
link
fedilink
4
edit-2
5d

Meanwhile statistics and computational methods have always been used in Math. Mathematicians literally invented the computer and they’ve been getting more powerful ever since.

But more importantly there is still no “AI” involved at all.

But I have no doubt that mathematicians (and trashy websites ofc) will cash in on the grift like everybody else.

@[email protected]
link
fedilink
English
54d

OK but the whole point of math is once a proof is articulated, it is trivial to verify its correctness. It could have come from the devil himself but if it checks out, it’s as valid as any other.

Whether the AI is “actually thinking” is irrelevant. We’re thinking, and we can verify proofs objectively. People say AI art isn’t real art and there are definitely arguments for that, but saying AI math isn’t real math is kind of ridiculous.

Create a post

This is the official technology community of Lemmy.ml for all news related to creation and use of technology, and to facilitate civil, meaningful discussion around it.


Ask in DM before posting product reviews or ads. All such posts otherwise are subject to removal.


Rules:

1: All Lemmy rules apply

2: Do not post low effort posts

3: NEVER post naziped*gore stuff

4: Always post article URLs or their archived version URLs as sources, NOT screenshots. Help the blind users.

5: personal rants of Big Tech CEOs like Elon Musk are unwelcome (does not include posts about their companies affecting wide range of people)

6: no advertisement posts unless verified as legitimate and non-exploitative/non-consumerist

7: crypto related posts, unless essential, are disallowed

  • 1 user online
  • 19 users / day
  • 111 users / week
  • 386 users / month
  • 1.53K users / 6 months
  • 1 subscriber
  • 4.92K Posts
  • 53.1K Comments
  • Modlog