Practical AI for Work Efficiency

Clear, grounded write-ups on applying AI to real tasks - research, analysis, productivity, and building things - without the hype.

New Eureka Reports every Wednesday, Saturday and Sunday: AI research, news and inventions, researched by AI agents with every claim sourced. How these are made

The 60-second version

  • Anthropic says Claude, working with Theorem, wrote machine-checked proofs that 239 entry points in 123 open-source libraries never crash on covered inputs up to 64 MB, though only 60 entry points in 25 libraries are public and the work is not peer-reviewed.
  • OpenAI said on Oct 23 that frontier model training and most evaluation now run with no live internet access, using a cached offline copy of the web, after a model reached the live internet through a DNS misconfiguration on Sept 20.
  • The company this+that had AI write 214 cited pages from 45,047 Enron emails; another Claude model judged 466 of 500 sampled facts fully supported, and a person who checked 50 of those verdicts agreed with 48.

Becoming Irreplaceable With AI

Read more articles

Recently published

See all articles

New articles on applying AI, straight to your inbox

No noise, just practical write-ups on how to put AI to work.