Potentially an exciting development in the world of AI - Typesafe AI with the oddly named Jev model - seems to be the first serious attempt at what I've previously called Software 3.5. What I meant by that was that - as we shift to agentic tasks...
Now that the robots have started attacking the Clay Mathematics millenium problems it's interesting when they'll get to P vs NP - you might ask, when they'll take this interest in mathematics right home to their own domain and start to seriously...
So as hard as this is to take in - news like the last post, the spate of mathematical proofs using big AI for formal verification or Anthropic's admission they had their own HuggingFace moment sound obviously like the arrival of super-duper smart...
So one of the biggest AI stories of the year is clearly the first very well documented IT crime, carried out by OpenAI researchers, instrumented through some AI agents they were testing. Please note the careful framing here. The car that you...
Amazon is ending Amazon Mechanical Turk which seems like a branding mistake of the same order as Google shutting down Google Reader and getting rid of the "I'm feeling lucky" button - but was probably obvious, given the state of AI. Amazon...