@ZachWeinersmith@mastodon.social
2026-04-16 00:57 UTC
Another wild result using LLMs to solve math problems. https://www.reddit.com/r/math/comments/1smehbo/stunning_ai_breakthrough_gpt_54_solves_erdos/
I continue to be amazed how little people care about this compared to automatic PowerPoint presentation generators and Ai girlfriends.
Replies (3)
-
@AlexanderKingsbury@mastodon.social 2026-04-16 01:04
@ZachWeinersmith I mean....people in general don't care much about mathematical proofs, from AI or any other source. I'd be surprised if 1 person in 1000 has ever read any mathematical proof at all. But about half of the planet will, at some point, care about having a girlfriend.
-
@Orb2069@mastodon.online 2026-04-16 01:23
@ZachWeinersmith Anybody who pays attention to this stuff realizes that half the "stop the presses” AI announcements are faked or overhyped in some fashion - follow @davidgerard for examples and details.
-
@rich@mastodon.gamedev.place 2026-04-16 15:06
@ZachWeinersmith Replacing the Mertens' prime product with the von Mangoldt weights was not on my 2026 bingo card 👍