AI and technology news summaries from iEnvi, framed for environmental professionals.
🤖 “We are having fun verifying code properties and catching bugs in Rust repos!”
That is how Albert Jiang, lead AI researcher at Mistral AI, announced the release of Leanstral 1.5, a specialised open-source model designed for formal mathematical verification.
🤖
“They are not a path towards human-level or human-like intelligence, or even animal-like intelligence, because they cannot deal with real-world data, they just are not built for that,” according to Turing Award winner Yann LeCun.
🤖 Andrej Karpathy has described the progression of AI something like this: first the model was a website you visited, then an app you downloaded, and now it is a persistent thing that lives inside your organisation and works while you sleep.
🤖 “A public wealth fund could provide every citizen, including those not invested in financial markets, with a stake in AI-driven economic growth.” – Sam Altman.
🤖 “If you have an opportunity to make things very prescribed and repeatable, that is cheaper in terms of token consumption, it is more repeatable in terms of controls.”
That observation from Morgan Stanley Managing Director Todd Johnson explains why the financial giant succeeded with AI where many
🤖 “It is, in fact, almost an order of magnitude reduction in complexity compared to the previous generation.”
That is the claim reportedly made by Alberto Rodriguez, Director of Robot Behaviour for Atlas at Boston Dynamics, about the company’s fifth-generation electric humanoid robot.
🤖 Steering AI model outputs to meet undisclosed objectives could soon be classed as a deceptive business practice under US federal consumer protection law. The US Federal Trade Commission has issued a warning to AI developers.
🤖 “Almost every week there are different companies that come to us… asking if we have compute that they could buy from us.” – Mark Zuckerberg.
🤖 “We are entering the third phase: first, completing hazardous and repetitive work to free people; second, extending into everyday life through companionship and service; and ultimately, advancing toward seamless interaction between humans and intelligent robots.” – James Zhou, CEO of UBTECH.
🤖 “The industry has spent years showing what robots can do in demos. We are focused on what they can do every day on the job.”
This statement from Apptronik CEO Jeff Cardenas marks a meaningful shift in the robotics sector.