Lifeboat Foundation

Probabl isn’t your average AI startup, as this new French company is an Inria spin-off company that revolves around an open source data science library called scikit-learn — Inria is a well-known French technology research institute.

As for scikit-learn, with more than 45,000 stars on GitHub, this Python module is widely used by machine learning teams working on tabular data. It can be used for model fitting, predicting, cross-validation, etc.

Unless you’re an ML developer, this might be the first time you’re hearing about scikit-learn. But many big companies have relied on the library for their own products, such as Spotify, Hugging Face, Booking.com and Dataiku.

Taylor Swift deepfakes be damned, Google is releasing a new AI-powered tool, ImageFX, for image creation.

Google has launched a new image generation tool, ImageFX, powered by its recently released Imagen 2 GenAI model.

Hybrid Intelligence, an emerging field at the intersection of human intellect and artificial intelligence (AI), is redefining the boundaries of what can be achieved when humans and machines collaborate. This synergy leverages the creativity and emotional intelligence of humans with the computational power and efficiency of machines. Let’s explore how hybrid intelligence is augmenting human capabilities, with real examples and its impacts on the human workforce.

Hybrid intelligence is not just about AI assisting humans; it’s a deeper integration where both sets of intelligence complement each other’s strengths and weaknesses. While AI excels in processing vast amounts of data and pattern recognition, it lacks the emotional intelligence, creativity, and moral reasoning humans possess. Hybrid systems are designed to capitalize on these respective strengths, leading to outcomes that neither could achieve alone.

In the healthcare sector, hybrid intelligence is enhancing diagnostic accuracy and treatment efficiency. IBM’s Watson Health, for example, assists doctors in diagnosing and developing treatment plans for cancer patients. By analyzing medical literature and patient data, Watson provides recommendations based on the latest research, which doctors then evaluate and contextualize based on their professional judgment and patient interaction.

In today’s column, I am continuing my ongoing series about the impact of generative AI in the health and medical realm.

You can use generative AI to analyze your sleeping dreams, but do so with caution and a keen eye. This close up look tells you how to best proceed.

The Telangana state government in South India, in collaboration with various agricultural aid organizations and technology companies, launched a groundbreaking project known as “Saagu Baagu.” This initiative focused on assisting 7,000 chilli farmers with AI-powered tools, marking a significant step…

Saagu Baagu shows AI’s growing role in agriculture, helping developing-world farmers achieve sustainable and profitable practices.

A collaborative study by the UTokyo-KI LINK program, headed by Camilla Björkegren from Karolinska Institutet, Kristian Jeppsson and Katsuhiko Shirahige from The University of Tokyo shows that a protein complex named Smc5/6 binds DNA structures called positive supercoils. These form when the chromosomal DNA double helix folds onto itself due to overtwisting caused by transcription, which is the first step in gene expression.

The study presents in vivo data indicating that Smc5/6 binds to the base of chromosome loops in regions that contain high levels of transcription-induced positive supercoils. The complex is also shown to control the three-dimensional (3D) organization of these regions.

Computational machine learning provides additional results supporting that transcription-induced positive supercoils determine the chromosomal binding pattern of Smc5/6. Finally, in vitro single molecule analysis, performed by the team of Dr. Eugene Kim at Max Planck Institute in Frankfurt, provides direct evidence that Smc5/6 preferentially binds positive DNA supercoils.

The attempt to resuscitate FTX is dead on arrival, and soon the defunct exchange will repay the people its convicted felon co-founder bilked out of money.

As The Guardian reports, company attorney Andrew Dietderich admitted that there will be no FTX comeback because, basically, nobody was dumb enough to try and rebuild it.

From the time one-time head Sam Bankman-Fried was first arrested back in November 2022 until now, there have been repeated and vague reports about a potential bounce-back for the shuttered brand.

“Soilless biofortification of vegetables has opened the door to the potential for adapting vegetable production to specific dietary requirements,” said Dr. Massimiliano Renna.

Can microgreen be customized based on dietary and medical needs? This is what a recent study published in the Journal of the Science of Food and Agriculture hopes to address as a collaborative team of Italian researchers investigated the potential for customizing microgreens via soilless growing methods designed to suit specific dietary needs based on medical concerns. This study holds the potential to help scientists and patients better understand the available nutritional options, specifically for medical reasons.

“Propelled by an ever-growing awareness of the importance of following dietary recommendations, interest in personalized nutrition is on the rise. Soilless biofortification of vegetables has opened the door to the potential for adapting vegetable production to specific dietary requirements,” said Dr. Massimiliano Renna, who is a professor of agricultural and environmental science at the University of Bari Aldo Moro and a co-author on the study.

Continue reading “Customized Microgreens: A Breakthrough in Personalized Nutrition” »

Not all software is perfect—many apps, programs, and websites are released despite bugs. But the software behind critical systems like cryptographic protocols, medical devices, and space shuttles must be error-free, and ensuring the absence of bugs requires going beyond code reviews and testing. It requires formal verification.

Formal verification involves writing a mathematical proof of your code and is “one of the hardest but also most powerful ways of making sure your code is correct,” says Yuriy Brun, a professorat the University of Massachusetts Amherst.

To make formal verification easier, Brun and his colleagues devised a new AI-powered method called Baldur to automatically generate proofs. The accompanying paper, presented in December 2023 at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering in San Francisco, won a Distinguished Paper award. The team includes Emily First, who completed the study as part of her doctoral dissertation at UMass Amherst; Markus Rabe, a former researcher at Google, where the study was conducted; and Talia Ringer, an assistant professor at the University of Illinois Urbana-Champaign.