@NBAnthony2k@mastodo.neoliber.al cover
@NBAnthony2k@mastodo.neoliber.al avatar

NBAnthony2k

@[email protected]

I don't know how to use this site. But I think it's neat

This profile is from a federated server and may be incomplete. View on remote instance

@Daojoan@mastodon.social avatar Daojoan , to random

If you ever want to understand America just know that they have a channel called The History Channel and it shows Pawn Stars

NBAnthony2k ,
@NBAnthony2k@mastodo.neoliber.al avatar

@Daojoan

And somehow Pawn Stars has more historical content than most their other shows 😭

@Daojoan@mastodon.social avatar Daojoan , to random

Becoming increasingly convinced that LinkedIn is just Willy Wonka's factory except the chocolate river is bullshit and every Oompa Loompa has a podcast

NBAnthony2k ,
@NBAnthony2k@mastodo.neoliber.al avatar

@Daojoan Also every single post is either AI, or ran thought an AI

@tao@mathstodon.xyz avatar tao , to random

An update on the funding situation: the NSF has now approved an extension of funding of the institute for another five years, after a gap of several months where we have been using donations and other emergency funding sources to continue operations. https://www.ipam.ucla.edu/news/nsf-support-for-ipam-renewed-for-2025-2030/

The funding is (as we had already expected) at sharply reduced levels compared to the previous 5-year cycle, so we are still continuing to fundraise to reach a full level of operations, but we now at least have some guarantee of reaching minimal levels of activity, which was not at all certain until now.

NBAnthony2k ,
@NBAnthony2k@mastodo.neoliber.al avatar

@tao

Getting some funding is great news. Still shameful they're cutting everything.

@georgetakei@universeodon.com avatar georgetakei , to random

Oh, it shook the world alright. Can’t believe they’re actually selling replicas to the cultists.

A sponsored ad from “American Framed.” The text advertises a “Liberation Day Chart” as a collectible patriotic display piece. Below is a man holding a very large printed chart labeled “Reciprocal Tariffs,” listing countries and tariff percentages. The man is smiling and wearing a hat with an American flag design.
ALT
NBAnthony2k ,
@NBAnthony2k@mastodo.neoliber.al avatar

@georgetakei I hope its some hardworking immigrant just ripping MAGA out of their money

@tao@mathstodon.xyz avatar tao , (edited ) to random

Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem https://www.erdosproblems.com/367 :

  1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold".

  2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean.

  3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean

EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to . https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0

NBAnthony2k ,
@NBAnthony2k@mastodo.neoliber.al avatar

@tao I really like getting updates about the current usages of AI in academic math.

@malwaretech@infosec.exchange avatar malwaretech , to random

[Thread, post or comment was deleted by the author]

    •
    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @malwaretech Tell us you're out of touch with your customers without telling us you're out of touch with your customers

    @briankrebs@infosec.exchange avatar briankrebs , to random

    They had me at the headline: AI isn’t replacing jobs. AI spending is

    "From Amazon to General Motors to Booz Allen Hamilton, layoffs are being announced and blamed on AI. Amazon said it would cut 14,000 corporate jobs. United Parcel Service (UPS) said it had reduced its management workforce by about 14,000 positions over the past 22 months. And Target said it would cut 1,800 corporate roles. Some academic economists have also chimed in: The St. Louis Federal Reserve found a (weak) correlation between theoretical AI exposure and actual AI adoption in 12 occupational categories."

    "Yet we remain skeptical of the claim that AI is responsible for these layoffs. A recent MIT Media Lab study found that 95% of generative AI pilot business projects were failing. Another survey by Atlassian concluded that 96% of businesses “have not seen dramatic improvements in organizational efficiency, innovation, or work quality.” Still another study found that 40% of the business people surveyed have received “AI slop” at work in the last month and that it takes nearly two hours, on average, to fix each instance of slop. In addition, they “no longer trust their AI-enabled peers, find them less creative, and find them less intelligent or capable.”

    https://www.fastcompany.com/91435192/chatgpt-llm-openai-jobs-amazon

    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @briankrebs the Amazon one being about AI is wild since we know it was about them trying to be more nimble like a start up

    @w7voa@journa.host avatar w7voa , to random

    Qantas says specially configured A350-1000ULRs will enable the world’s longest commercial flights, up to 22 hours, connecting nonstop Australia’s east coast to London and New York for the first time. https://www.qantasnewsroom.com.au/media-releases/qantas-first-project-sunrise-aircraft-takes-shape-in-toulouse/

    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @w7voa I barely survived a 15 hour flight. Not sure how supposed to do a 22 hour flight. That sounds unbearable.

    @briankrebs@infosec.exchange avatar briankrebs , to random

    Did you watch the unfuckingbelievable interview that 60 Minutes aired last night on Trump? The travesty is that the edited version should never have been edited, as we can see from viewing the transcript of the entire batshit crazy interview. Wherein Trump contradicts himself many times and claims he had no idea who Binance founder Changpeng Zhao even was before pardoning him for billions in crypto money laundering. The president even bragged that he got 60 Minutes' parent to pay him $15M, then suggested they could edit that out of the interview (which they dutifully did), even though he sued Paramount for editing out unflattering parts of an interview w/ VP Kamala Harris last year, and they caved because they wanted a merger to go through.

    Mike Masnick at Techdirt has an excellent breakdown of the lunacy. I've been waiting to see how 60 Minutes was going to handle its next interview with the POTUS, and they didn't fail to disappoint.

    https://www.techdirt.com/2025/11/03/60-minutes-edits-donald-trump-telling-them-60-minutes-should-edit-donald-trump-talking-about-how-60-minutes-paid-him-for-editing-kamala-harris/

    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @briankrebs that fact about asylum is so wild. He's been on this for like 3 years too.

    @w7voa@journa.host avatar w7voa , to random

    NYT - ICE senior leadership shake-up coming due to DHS frustration over the pace of deportations. https://www.nytimes.com/2025/10/24/us/politics/trump-deportations-ice.html?smid=nytcore-ios-share&referringSource=articleShare

    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @w7voa I think the next obvious step is to start deporting brown and black American citizens. Who is going to stop them?

    @nixCraft@mastodon.social avatar nixCraft , (edited ) to random

    WTF? 😳 OpenAI whistleblower found dead in San Francisco apartment: Suchir Balaji, 26, claimed the company broke copyright law. Balaji helped gather and organize the enormous amounts of internet data used to train the startup’s ChatGPT chatbot. Information he held was expected to play a key part in lawsuits against the OpenAI https://www.mercurynews.com/2024/12/13/openai-whistleblower-found-dead-in-san-francisco-apartment/

    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @nixCraft it's important to note that his testimony and evidence isn't gone. The prosecution/DA can still use it.

    OpenAI has almost nothing to gain from killing him, but everything to lose.

    This is the result of the US "rule of law"

    @vozercozer@mastodo.neoliber.al avatar vozercozer , to random

    haha yeah elon. welcome to texas, pussy! crawl back into the west cost where you belong !

    Ian Miles Cheong: Please, please triple your protection. If they can come for Trump they will also come for you. @elonmusk Elon Musk: Dangerous times ahead. Two people (separate occasions) have already tried to kill me in the past 8 months. They were arrested with guns about 20 mins drive from Tesla HQ in Texas.
    ALT
    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @vozercozer guns? In Texas? Gasp!

    @arstechnica@mastodon.social avatar arstechnica , to random

    EV sales slowdown is mostly a Tesla problem, according to sales data

    Almost every other automaker is seeing double-digit EV sales growth.

    https://arstechnica.com/cars/2024/06/ev-sales-slowdown-is-mostly-a-tesla-problem-according-to-sales-data/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social

    NBAnthony2k ,
    @NBAnthony2k@mastodo.neoliber.al avatar

    @arstechnica a lot of Tesla model 3 buyers were waiting for the new model to come out.

    It's kinda interesting to see the "smartphone"-ification of automobiles