AI contributions to Erdős problems. Note that the models that were most associated with success were Aristotle. GPT-5 also had some success but not as much as Aristotle. Off-the-shelf models aren't as optimized. Aristotle isn't just a single transformer. It uses the transformer to parse the input, but mainly relies on a Monte Carlo Graph Search strategy, the LEAN proof assistant (which is C++ based, not Python), and a lemma-based informal reasoning system where theorems are broken down into lemmas which are proved individually leading to proof of the entire theorem.
––– 凄い –––
Joke. California dropped their suit against the Trump administration for withholding money that was going to fund their failing high-speed rail system. Instead, they're going to seek private investors. Private investors? 🤣😂
––– 凄い –––
The health care industry expected to see Oregon’s greatest job growth over next decade. But what is the healthcare industry in Oregon? It's not a burgeoning cancer or cardiology research center industry, or growth in hospitals offering cutting edge care. No, it's more nursing homes and social assistance. That seems to be what Oregon is good for – providing assistance to people, and the state certainly seems to have a lot of people ready to receive it. Take a look this collection of charts dealing with Oregon. The state sure is high on providing food stamps.
––– 良くない–––
New laws that will take effect starting January 1. It's great that gas taxes won't go up as the state legislators and governor wanted. It's great that evicting squatters will be easier, but that's just restoration of common sense. But erase medical debt from credit reporting makes no sense at all. Debt is debt and needs to be counted. Telemarketing crackdown is not strong enough. The other stuff is going to affect just a relative few.
––– 良くない–––
I still remember when introducing nurse practitioners and physician assistants was going to help save clinics and hospitals money. How's that working out, Legacy? Real doctors don't strike, and these APPs know it. They know that they can shirk work, and real doctors will pick up the slack while they hit the picket lines.
––– 良くない–––
Portland is a failure, and this interview highlights it. The city looks the other way as illegal drugs are freely available, screwing up people's lives. No building housing is NOT the solution.
––– 良くない–––