Ask Lemmy
A Fediverse community for open-ended, thought provoking questions
Rules: (interactive)
1) Be nice and; have fun
Doxxing, trolling, sealioning, racism, toxicity and dog-whistling are not welcomed in AskLemmy. Remember what your mother said: if you can't say something nice, don't say anything at all. In addition, the site-wide Lemmy.world terms of service also apply here. Please familiarize yourself with them
2) All posts must end with a '?'
This is sort of like Jeopardy. Please phrase all post titles in the form of a proper question ending with ?
3) No spam
Please do not flood the community with nonsense. Actual suspected spammers will be banned on site. No astroturfing.
4) NSFW is okay, within reason
Just remember to tag posts with either a content warning or a [NSFW] tag. Overtly sexual posts are not allowed, please direct them to either !asklemmyafterdark@lemmy.world or !asklemmynsfw@lemmynsfw.com.
NSFW comments should be restricted to posts tagged [NSFW].
5) This is not a support community.
It is not a place for 'how do I?', type questions.
If you have any questions regarding the site itself or would like to report a community, please direct them to Lemmy.world Support or email info@lemmy.world. For other questions check our partnered communities list, or use the search function.
6) No US Politics.
Please don't post about current US Politics. If you need to do this, try !politicaldiscussion@lemmy.world or !uspolitics@lemmy.world
7) No Hit-and-Run questions.
Please don't delete your post for no apparent reason. If you plan on deleting a question later, say so in the post, or if you feel that you have a good reason to remove it, message a mod beforehand. It's not fair to the ones who took their time to answer, and it's not in the spirit of the community.
8) No Bots.
Posts or comments from bots, LLM's, AIs, Neural Networks, Transformers, or Marvin the Paranoid Android are not welcome in AskLemmy. Real humans only please.
Reminder: The terms of service apply here too.
Partnered Communities:
Logo design credit goes to: tubbadu
view the rest of the comments
Unfortunately, that’s not true. LLMs have proven new results in mathematics, at extremely high levels, conjectures open since decades.
I am personally very against this use of AI, but let’s be clear on its capacities.
Every one of those mathematical milestones made by AI is followed by an article from a mathematician pointing out the 'discovery' was a flawed rehash or not really applicable to the problem. Same for all the claims about finding bugs, they are old and known bugs and occasionally it can identify already known types of bugs faster as long as a human can filter out the wrong results.
AI does do a fine job of filtering large data sets in controlled environments, like how it is used for finding exoplanets, but just for speeding up an existing process.
It doesn't do anything new.
A reference with a reasonable overview: https://arxiv.org/pdf/2608.02859
Look at code security too.
About some of those proofs...
https://cims.nyu.edu/~tristanb/statement.pdf
Yeah, I had read earlier today. But even the author said that his own draft was LLM-based.
Assisted, not based. Read through to see the difference
They write “with a great deal of help”, so I am usure where the boundary between the two lies and where they would find themselves.
names Fremats last theorem proved by Anthropic
Uhm? The one proven in the 90s?
https://www.anthropic.com/research/formalizing-fermats-last-theorem
😲