Capcom has treated us to another long look at Monster Hunter Wilds, including that all-important release date. The hunt is on beginning February 28, 2025, on PlayStation 5, Xbox Series X/S, and PC.

The latest trailer for the next entry in the massively popular Monster Hunter franchise showed off a more personal side to the story, opening with a child fleeing the wrath of the White Wraith and introducing us to many of the characters we can look forward to bonding with while slaying giant beasts. The adorable Palicos are back in full force, helping with cooking and on the battlefield as they have in prior games. In one instance a hunter was knocked out and saved by a Palico dropping a health potion on them.

Speaking of monsters, a number of impressive beasts appeared here, though none that haven’t been shown in prior trailers, including a massive water-born creature that leaps and dives through the water and a large hairy beast that the hunter uses their grappling hook to crush with some debris in the environment. However, the star of the show remains The White Wraith Arkveld. This is the game’s premier monster and “big bad” that the plot will center around hunting. This is described as a species of monster that was believed to be extinct, yet has reappeared and wreaks havoc on the world and its people.

Weather has been a major focus for Monster Hunter Wilds, and this trailer shows a few more instances of how the landscape and ecology can shift based on the current weather. Minor examples show how rain can cause a river to become a flood, while sandstorms can cut visibility down to nearly nothing and cause deadly lightning strikes.

Monster Hunter Wilds will come out on February 28, 2025, on PlayStation 5, Xbox Series X/S, and PC. Preorders are live right now with a special Layered Armor Guild Knight Set and Hope Charm Talisman offered as bonuses.

Generative AI, aka GenAI, has taken the world by storm. It’s not new to see the GenAI features these days on multiple apps, smartphones, PCs, and other tech products. Spotify is one such app that has recently announced a GenAI-powered feature called “AI playlists.” Today, Spotify announced it is expanding the AI Playlist in beta to Premium users in more countries.

Spotify’s AI Playlist is now available in the US as part of the Beta rollout

Initially, Spotify launched the AI Playlist feature back in April this year. Back then, it was exclusively available to Premium users from the UK and Australia. Now, the feature is available to Premium users in the U.S., Canada, Ireland, and New Zealand as part of the beta rollout. To catch you up, Spotify’s AI Playlist creates a customized playlist based on the given text prompt.

You can ask AI to curate a playlist according to your mood and vibe. For example, you can enter a prompt like “Give me some funky and upbeat songs.” That’s all you have to do. Then, Spotify uses the LLM technology to get the idea and scour through your app’s search history to create a playlist that matches your prompt.

This new feature can be your song-recommending friend when Spotify’s music feed doesn’t quite show what you might be looking for. It is worth noting that the generated playlist includes 30 songs which you can re-customize with additional prompts.

Here’s how you can access the feature on Spotify

If you are a Premium user and live in the said countries, the feature can be accessed on the Spotify app by tapping on the “+” button at the top right next to your Spotify library. Once you select the “AI Playlist” option, a drop-down menu will open the chat box. That’s where you can enter the text prompts. Not to forget, the feature also provides prompt suggestions.

Currently, the AI Playlist beta is only available on Spotify’s Android and iOS apps for now. That also means the feature is not available on the Spotify desktop app or web. However, we expect the audio streaming giant to bring it all devices down the line. In related news, Spotify has recently made some changes to the Family plan to prevent the “Kids” playlists from messing with parents’ algorithms and recommendations.

A US district court judge sentenced Caroline Ellison, the former advisor and ex-girlfriend to the convicted crypto fraudster and FTX founder Sam Bankman-Fried, to two years in prison.

reported Ellison’s sentence for her role in the $8 billion in fraud committed by the FTX crypto exchange that sent for 25 years back in March. Ellison will also have to serve three years of supervised release once she’s finished her prison sentence.

Ellison pled guilty at the end of 2022 to just as Bankman-Fried was being extradited to the US from the Bahamas. US Securities and Exchange Commission (SEC) Director of Enforcement Sanjay Wadhwa said following Ellison’s plea that she and Wang “were active participants in a scheme to conceal material information from FTX investors.”

Ellison was also the former chief executive officer of FTX’s sister company Alameda Research. Prosecutors said she diverted FTX customers’ funds onto Alameda’s books to hide risks from their clients. Ellison testified against Bankman-Fried, making her a key witness in his criminal fraud trial.

Prosecutors also got Bankman-Friend’s house arrest and bail revoked when a judge determined the FTX founder tried to hinder Ellison’s testimony last year. Bankman-Fried tried to message FTX’s general counsel on Signal and email in 2023 to influence Ellison’s testimony who was only identified as “Witness-1.”

Nine months later, Bankman-Fried showed that prosecutors said were an attempt to damage her reputation especially amongst prospective jurors. The judge agreed both instances merited Bankman-Fried’s arrest and jailing while he awaited trial. Bankman-Fried is currently serving his 25-year sentence in a federal prison in Brooklyn awaiting appeal for his conviction.

Ellison issued a statement before her sentence apologizing for her crimes to the people she and her former firm defrauded. Prosecutors did not issue a recommended sentence and characterized her cooperation with investigators as “exemplary” in a memo to the judge.

“Not a day goes by that I don’t think of the people I hurt,” Ellison said in court. “I am deeply ashamed of what I have done.”

Large language models (LLMs) have shown promise in solving planning and reasoning tasks by searching through possible solutions. However, existing methods can be slow, computationally expensive and provide unreliable answers. 

Researchers from Cornell University and IBM Research have introduced AutoToS, a new technique that combines the planning power of LLMs with the speed and accuracy of rule-based search algorithms. AutoToS eliminates the need for human intervention and significantly reduces the computational cost of solving planning problems. This makes it a promising technique for LLM applications that must reason over large solution spaces.

Thought of Search

There is a growing interest in using LLMs to handle planning problems, and researchers have developed several techniques for this purpose. The more successful techniques, such as Tree of Thoughts, use LLMs as a search algorithm that can validate solutions and propose corrections.

While these approaches have demonstrated impressive results, they face two main challenges. First, they require numerous calls to LLMs, which can be computationally expensive, especially when dealing with complex problems with thousands of possible solutions. Second, they do not guarantee that the LLM-based algorithm qualifies for “completeness” and “soundness.” Completeness ensures that if a solution exists, the algorithm will eventually find it, while soundness guarantees that any solution returned by the algorithm is valid.

Thought of Search (ToS) offers an alternative approach. ToS leverages LLMs to generate code for two key components of search algorithms: the successor function and the goal function. The successor function determines how the search algorithm explores different nodes in the search space, while the goal function checks whether the search algorithm has reached the desired state. These functions can then be used by any offline search algorithm to solve the problem. This approach is much more efficient than keeping the LLM in the loop during the search process.

“Historically, in the planning community, these search components were either manually coded for each new problem or produced automatically via translation from a description in a planning language such as PDDL, which in turn was either manually coded or learned from data,” Michael Katz, principal research staff member at IBM Research, told VentureBeat. “We proposed to use the large language models to generate the code for the search components from the textual description of the planning problem.”

The original ToS technique showed impressive progress in addressing the soundness and completeness requirements of search algorithms. However, it required a human expert to provide feedback on the generated code and help the model refine its output. This manual review was a bottleneck that reduced the speed of the algorithm.

Automating ToS

“In [ToS], we assumed a human expert in the loop, who could check the code and feedback the model on possible issues with the generated code, to produce a better version of the search components,” Katz said. “We felt that in order to automate the process of solving the planning problems provided in a natural language, the first step must be to take the human out of that loop.”

AutoToS automates the feedback and exception handling process using unit tests and debugging statements, combined with few-shot and chain-of-thought (CoT) prompting techniques.

AutoToS works in multiple steps. First, it provides the LLM with the problem description and prompts it to generate code for the successor and goal functions. Next, it runs unit tests on the goal function and provides feedback to the model if it fails. The model then uses this feedback to correct its code. Once the goal function passes the tests, the algorithm runs a limited breadth-first search to check if the functions are sound and complete. This process is repeated until the generated functions pass all the tests. 

Finally, the validated functions are plugged into a classic search algorithm to perform the full search efficiently.

AutoToS in action

The researchers evaluated AutoToS on several planning and reasoning tasks, including BlocksWorld, Mini Crossword and 24 Game. The 24 Game is a mathematical puzzle where you are given four integers and must use basic arithmetic operations to create a formula that equates to 24. BlocksWorld is a classic AI planning domain where the goal is to rearrange blocks stacked in towers. Mini Crosswords is a simplified crossword puzzle with a 5×5 grid.

They tested various LLMs from different families, including GPT-4o, Llama 2 and DeepSeek Coder. They used both the largest and smallest models from each family to evaluate the impact of model size on performance.

Their findings showed that with AutoToS, all models were able to identify and correct errors in their code when given feedback. The larger models generally produced correct goal functions without feedback and required only a few iterations to refine the successor function. Interestingly, GPT-4o-mini performed surprisingly well in terms of accuracy despite its small size.

“With just a few calls to the language model, we demonstrate that we can obtain the search components without any direct human-in-the-loop feedback, ensuring soundness, completeness, accuracy and nearly 100% accuracy across all models and all domains,” the researchers write.

Compared to other LLM-based planning approaches, ToS drastically reduces the number of calls to the LLM. For example, for the 24 Game dataset, which contains 1,362 puzzles, the previous approach would call GPT-4 approximately 100,000 times. AutoToS, on the other hand, needed only 2.2 calls on average to generate sound search components.

“With these components, we can use the standard BFS algorithm to solve all the 1,362 games together in under 2 seconds and get 100% accuracy, neither of which is achievable by the previous approaches,” Katz said.

AutoToS for enterprise applications

AutoToS can have direct implications for enterprise applications that require planning-based solutions. It cuts the cost of using LLMs and reduces the reliance on manual labor, enabling experts to focus on high-level planning and goal specification.

“We hope that AutoToS can help with both the development and deployment of planning-based solutions,” Katz said. “It uses the language models where needed—to come up with verifiable search components, speeding up the development process and bypassing the unnecessary involvement of these models in the deployment, avoiding the many issues with deploying large language models.”

ToS and AutoToS are examples of neuro-symbolic AI, a hybrid approach that combines the strengths of deep learning and rule-based systems to tackle complex problems. Neuro-symbolic AI is gaining traction as a promising direction for addressing some of the limitations of current AI systems.

“I don’t think that there is any doubt about the role of hybrid systems in the future of AI,” Harsha Kokel, research scientist at IBM, told VentureBeat. “The current language models can be viewed as hybrid systems since they perform a search to obtain the next tokens.”

While ToS and AutoToS show great promise, there is still room for further exploration.

“It is exciting to see how the landscape of planning in natural language evolves and how LLMs improve the integration of planning tools in decision-making workflows, opening up opportunities for intelligent agents of the future,” Kokel and Katz said. “We are interested in general questions of how the world knowledge of LLMs can help improve planning and acting in real-world environments.”