World News
A community for discussing events around the World
Rules:
-
Rule 1: posts have the following requirements:
- Post news articles only
- Video links are NOT articles and will be removed.
- Title must match the article headline
- Not United States Internal News
- Recent (Past 30 Days)
- Screenshots/links to other social media sites (Twitter/X/Facebook/Youtube/reddit, etc.) are explicitly forbidden, as are link shorteners.
-
Rule 2: Do not copy the entire article into your post. The key points in 1-2 paragraphs is allowed (even encouraged!), but large segments of articles posted in the body will result in the post being removed. If you have to stop and think "Is this fair use?", it probably isn't. Archive links, especially the ones created on link submission, are absolutely allowed but those that avoid paywalls are not.
-
Rule 3: Opinions articles, or Articles based on misinformation/propaganda may be removed.
-
Rule 4: Posts or comments that are homophobic, transphobic, racist, sexist, anti-religious, or ableist will be removed. “Ironic” prejudice is just prejudiced.
-
Posts and comments must abide by the lemmy.world terms of service UPDATED AS OF OCTOBER 19 2025
-
Rule 5: Keep it civil. It's OK to say the subject of an article is behaving like a (pejorative, pejorative). It's NOT OK to say another USER is (pejorative). Strong language is fine, just not directed at other members. Engage in good-faith and with respect! This includes accusing another user of being a bot or paid actor. Trolling is uncivil and is grounds for removal and/or a community ban.
Similarly, if you see posts along these lines, do not engage. Report them, block them, and live a happier life than they do. We see too many slapfights that boil down to "Mom! He's bugging me!" and "I'm not touching you!" Going forward, slapfights will result in removed comments and temp bans to cool off.
-
Rule 6: Memes, spam, other low effort posting, reposts, misinformation, advocating violence, off-topic, trolling, offensive, regarding the moderators or meta in content may be removed at any time.
-
Rule 7: We didn't USED to need a rule about how many posts one could make in a day, then someone posted NINETEEN articles in a single day. Not comments, FULL ARTICLES. If you're posting more than say, 10 or so, consider going outside and touching grass. We reserve the right to limit over-posting so a single user does not dominate the front page.
We ask that the users report any comment or post that violate the rules, to use critical thinking when reading, posting or commenting. Users that post off-topic spam, advocate violence, have multiple comments or posts removed, weaponize reports or violate the code of conduct will be banned.
All posts and comments will be reviewed on a case-by-case basis. This means that some content that violates the rules may be allowed, while other content that does not violate the rules may be removed. The moderators retain the right to remove any content and ban users.
Lemmy World Partners
News !news@lemmy.world
Politics !politics@lemmy.world
World Politics !globalpolitics@lemmy.world
Recommendations
For Firefox users, there is media bias / propaganda / fact check plugin.
https://addons.mozilla.org/en-US/firefox/addon/media-bias-fact-check/
- Consider including the article’s mediabiasfactcheck.com/ link
view the rest of the comments
Yeah, that's not true. The math proofs it has solved are not "more difficult than any solved by a living person". Many of the proofs AI has solved are corner case conditions that are not being actively worked on by mathematicians. In a trivial example. Image a problem like:
x = n + 25AI says, hey, let's assume n=3.
AI solved the proof that
3 + 25 = 28.Then we get an article posted about how AI solved the impossible problem of
n + 25!Now, it can be helpful to have these less general proofs solved. It can help mathematicians in creating a more general proof (what they are usually focused on).
But, as far as I'm aware, these are most of the contributions of AI so far in the field of mathematics. You're falling for the hype around it. It's mostly filling in gaps for corner cases that are not actively being worked on.
Which makes sense. Because it's just a text generation algorithm that predicts the most likely characters. It's using training data for the
n = 3case that it learned from another already solved problem and then injecting it into the unsolved problem. Sometimes is spits out something that makes sense, a human being has to verify it, and then a corner case for mathematical proof is "solved".It's not capable of thinking or rationalizing to anything new. It is filling in gaps in a field of research that is not primarily focused on "gap filling".
It's why it's "having success" in Math but not Physics. Mathematicians focus on general proofs that apply under all conditions. So, the field inevitably has a lot of problems that could be solved by a lot of brute force for specific conditions.
In Physics, scientist are constantly trying to "fill gaps". They work with real world measurements and observations. Any new "gap" is constantly being tested. AI has no gaps to fill with its brute force way of "thinking". And it's completely incapable of coming up with theories or hypothesis on a level a human does.
This is why it's not solving ground breaking mathematics proofs and why it is mostly useless in replacing humans in the scientific process. Because it isn't actually thinking.
Sorry, rant. But this is something that bothers me and you hit a nerve.
Sorry the wording of that phrase was too ambiguous. I meant it had solved more proofs than any human had in their lifetime, and those were at least difficult enough to stump humans for years or decades. I didn't mean that they were more difficult than proofs that humans had solved, simply that the AI had solved a higher quantity of them, and that, on average, they would be considered difficult. At least difficult enough to stump humans for a pretty good stretch of time.
Sure. That's fine. But I think you still misunderstand exactly what is being solved in most of those cases. It's not about quantity. If it was then all mathematicians would be spending time on filling "gaps". Mathematicians aren't focused on filling in gaps as a lot of the time that type of brute force work is not meaningful to the field of mathematics. They are focused on proving (or disproving) axioms that are foundational to the field. AI has not proven or disproven any mathematical axiom.
The biggest proof it's ever provided was for "Erdos Problem". Which is essentially just a fun "dot placement optimization problem" that Erdos came up with, was never taken too seriously, and was difficult enough that spending time on it in academics would likely get you laughed at.
It's formal proof yields almost nothing to the field.
On top of that, it was "solved" by an AI math startup with closed source software. There is literally no confirmation that it was AI solving it organically or if the mathematicians themselves solved it during developing the AI and saw a means of getting headlines and more capital investment.
Please, be more skeptical. I double majored in Math and CS and have worked in the field for over a decade. There are applications for AI that are helpful. But, right now, people are falling for a lot of the hype and lies that are being pushed around to attract capital investment. You're not an investor, you can be smarter and more skeptical than that.
In a decade we're going to have a lot of reflection on this time and the lies being told about the usefulness of AI.
We live in a world where one of the most valued companies in the world pretends it's AI robots are real and not just being remote operated by a human. You think AI startups aren't giving credit to AI for the work of humans? They all are. Because it gets them investment.
A mostly fun and non helpful math problem gets solved by a human. The math community enjoys it. Laughs a little at the guy who spent too much of his life solving it. And no one outside the community hears about it.
But if you say "AI did it". You get millions of dollars in investment.
I don't have evidence a human solved it. But they also don't have evidence AI solved it either. And all financial incentives right now are in saying "AI did it". That is why you should be extremely skeptical of all these things you hear about the capability of AI.