30 July 2026

Imagine thinking that you had proven the Collatz Conjecture, only to find out that it was just a bug in the LEAN theorem proving platform. How was your day?

––– 凄い –––

Two articles on Anthropic:
It's tough when you're the best AI company on the planet, and a lot of people want you to just give away much of your IP just so that they can have it. 
Anthropic and OpenAI have accused some Chinese model-makers of ripping off their technology through a process called “distillation,” basically querying a model potentially millions of times in order to use its answers to train another model.
Anthropic has accused Chinese labs of training their lower-cost models on Claude's outputs via "industrial-scale distillation campaigns." Critics counter that distillation is a standard part of AI development — and that Anthropic is an awkward messenger after settling a $1.5 billion copyright lawsuit over pirated books.
Being the leader in AI is not easy, as Meta is finding out. Meta has a few open-source models out there, and while they are good, they are getting long in the tooth. And Meta is not making money from them. 

DeepSeek has paused a second fundraising round after founder Liang Wenfeng’s remarks at a conference circulated online, including a statement that the company could obtain some processors he described as “noncompliant.”
Oops. You don't say that out loud.

––– 良くない–––

Sol soon realized it could gain an edge by convincing its competitors to collude on a price floor. The models were all buying drinks at $1.50 a bottle, and Sol proposed they agree to sell for no less than $2.15. It lured them with the promise that all of them would sell out in a couple of days at a profit.
Sorry, the video player failed to load.(Error Code: 104153)

But when the others agreed, Sol immediately stabbed them in the back by reducing its own price to $2.14.
These systems don't share human integrity values, that's for sure.

––– 良くない–––

The million-dollar talent wars for 20-something math geniuses. Being a math nerd is never out of fashion.
––– 凄い –––

"I'm glad that you're putting your health first."
––– 良くない–––

A fundamental flaw leaves LLMs strikingly vulnerable to attack. Whenever inference relies on a model's trained weights, you risk this sort of behavior. It's 2026, already. People should know better.

––– 良くない–––

Word worm crawls into Copilot, spreads chaos. It's Microsoft again.

––– 良くない–––

Across all mouse strains, cancers nearly always acquired a cancer-driving mutation that activated the same cancer-promoting signalling system, called the MAPK pathway. This is a multi-step cascade of molecular signals that controls important life processes, including cell growth and cell differentiation, and plays a key role in numerous types of cancer.

However, depending on the inherited genetics of the mouse, the particular driver mutation that was acquired altered the activity of other cancer-associated signalling pathways, as well as causing a striking tendency for whole-genome duplication, an event in which the entire set of chromosomes is doubled.
Carcinogens affect organisms differently. There's an element of chance.

––– 良くない–––

Leave it to NPR to tout the benefits of declaring bankruptcy.
A common bankruptcy concern is that it can hurt your credit history — and it does show up on your record. But if you're filing for bankruptcy, your credit score is probably already in rough shape.

In fact, your credit score could ultimately improve. Samuel Antill, an assistant professor at the Harvard Business School, said his research shows most people's credit scores recover within a year of filing and usually improve from there.

"People don't understand how good of a deal bankruptcy is," Antill said.
Down with capitalism! Declare bankruptcy!

––– 良くない–––

Great way to ruin trust in telehealth companies. Telehealth providers Hims and Hers have been selling people's health information to advertisers despite promising privacy.

––– 良くない–––

When researchers updated the way they did their theoretical calculations, they found that their predictions matched the experimental results much more precisely than before, to one part in 100 billion.

But that, in turn, has created another puzzle: The old calculations seem perfectly valid. So why don’t they match the new calculations? 
Back to the lab.

––– 良くない–––

A neuroprosthesis for restoring hand movement and sensation in a person with complete tetraplegia. Nice reminder that not all great advances in science are in artificial intelligence.

––– 凄い –––

Election concerns. Republicans are concerned that ballots will be mishandled and not counted correctly. Democrats are worried that ICE agents will be around voting centers.  🙄
––– 良くない–––

Wednesday’s news is a blow to the 375 workers who stand to lose their jobs and to Portland’s fragile economy. The city has struggled to attract business in the years since the pandemic and Oregon’s manufacturing workforce has been in steep decline since 2022. Statewide, factory jobs are at their lowest point in 15 years. 
Gov. Tina Kotek’s office did not respond to a message seeking comment on the Swan Island closure. 
This is a big deal. Portland (Oregon) is in a doom loop. And there's a rumor that Riverpoint Medical (another manufacturing company) will move out of Portland to Clark County.

But I'm sure Democrats will win in November. They somehow always do.

––– 良くない–––

tracking system called "radar ticketing" and targeting wealthier neighborhoods. Green said ticketing residents in wealthier neighborhoods would reduce going after people "experiencing multiple layers of economic oppression."
They don't hide it anymore.

––– 良くない–––