Oh-oh. There's
a rumor that OpenAI may have "trained Astra on conversations in which he [Andreas Thom] and Gábor Kun were working on Gromov’s soficity conjecture". If this is true, people REALLY have to keep their research away from OpenAI's models. Lest your research career vanish in an instant.
There's a lot of discussion about the resignation of the a guy named Coxon, from Anthropic.
But here's another take. Was it just a smokescreen? Look at the list of Dem senators who are now saying that AI regulation is justified.
The Four-Color Theorem Gets a Rare New Proof. The original proof by Appel and Haken that was done with computers was kludgy and unsatisfying. Now there's a new one which is less kludgy. It still uses computers and checks over a list of graph configurations. I guess for problems like this, you just have to put up with a little bit of inelegance.
––– 凄い –––
Caltech is planning a math hackathon, or
Mathathon, but a bunch of
Caltech and non-Caltech mathematicians aren't happy about it. They don't like it that participants are being encouraged to use AI to solve problems, as they are given AI tokens. Plus, it may scoop out existing mathematicians who may see their research significantly deflated, and their ideas scooped. Plus, who is going to verify the results? Professional mathematicians, of course, who likely will be unpaid and uncredited. Also, the results won't be posted on preprint servers, so any insights will be hidden. But how do you verify AI-generated results? So far, the contest is still on.
This is similar to the kind of angst that some physicians are dealing with. When you're develop the AI and own the tools, you're happy. But for users, it's just a brave new world.
––– 良くない–––
I never heard of the
7 Vibe 3 lifestyle. Apparently that's how modern entrepreneurs see their work-life balance. Whatever.
––– 良くない–––
And Apple is introducing a feature where you can store a
reference image on their servers, to convince others you have the real photo, and not AI slop.
––– 凄い –––