| 25-04-2025 |
Kimi AI |
Kimina-Prover Preview Unveils 72B Model Demo and Open-Source Lean Server |
AI Innovation Update |
The Kimina Team, a collaboration between Numina and Kimi Moonshot, has launched a demo of the 72B Kimina-Prover Preview model, achieving top results on the miniF2F benchmark. They have also open-sourced the Kimina Lean Server, a tool used in their training process to support scalable theorem proving. These advancements make formal reasoning more accessible for researchers and developers. Visit the Kimina Team’s GitHub page to try Kimina-Prover Preview and explore its capabilities for AI-driven math solutions. |
|
| 25-04-2025 |
Lumalabs.AI |
Luma AI’s Ray2 Enhances Adobe Firefly with Advanced Video Generation |
Feature |
Luma AI’s Ray2 video model will soon integrate with Adobe Firefly and Firefly Boards, enabling creators to produce high-quality, realistic videos from simple text prompts. This partnership brings Ray2’s cinematic motion and detailed visuals to Adobe’s creative platform, offering seamless video creation for all users. The integration supports commercial use and is accessible to both free and subscribed Adobe users. Try Ray2 in Adobe Firefly or explore its features on Luma’s Dream Machine today. |
|
| 25-04-2025 |
Magic School AI |
MagicSchool Data Transforms Student Assessment Analysis for Schools |
Company News |
MagicSchool AI introduces MagicSchool Data, a new tool designed to quickly analyze assessments, group students, and identify learning gaps. Exclusively available to Enterprise partners, it prioritizes data privacy for secure use in educational settings. Over 13,000 schools and districts already trust MagicSchool’s solutions. Request a quote at magicschool.ai to explore how MagicSchool Data can support your institution. |
|
| 25-04-2025 |
Akur8 |
Akur8 to Showcase AI-Driven Insurance Solutions at BIBA Conference 2025 |
Tech Events |
Akur8, a leader in AI-powered insurance pricing and reserving, will sponsor and exhibit at the BIBA Conference 2025 in the UK. Their innovative tool, Arius, helps insurers analyze losses and trends efficiently, enhancing decision-making. Visit Akur8 at Booth G1 on May 14–15 to explore smarter insurance strategies. Connect with their team to learn how Akur8 can transform your business processes. |
|
| 25-04-2025 |
Okta IAM |
Okta Workforce Identity Cloud Boosts Workday’s Security and Efficiency |
Case Studies |
Workday partners with Okta to deliver secure, AI-driven identity management using the Workforce Identity Cloud. The solution automates access, supports adaptive MFA, and saves Workday over $1 million in compliance costs. It ensures seamless, secure experiences for employees and customers. Explore load how Okta Workforce Identity Cloud can enhance your business security today. |
|
| 25-04-2025 |
Bitdefender |
Bitdefender Scamio and Password Generator Strengthen Online Safety for Free |
Feature |
Bitdefender offers four free tools, including Scamio and Password Generator, to protect users from scams and weak passwords. Scamio uses AI to detect fraudulent messages and links, while Password Generator creates strong, unique passwords instantly. These tools provide essential cybersecurity without slowing down devices. Visit Bitdefender’s website to start using Scamio and Password Generator today. |
|
| 25-04-2025 |
SentinelOne |
Purple AI by SentinelOne Revolutionizes Cyber Defense in AWS Podcast |
Podcast |
In a recent AWS podcast, SentinelOne showcased Purple AI, a tool that automates threat detection and boosts security team efficiency. Built on Amazon Bedrock, Purple AI counters advanced threats like phishing and deepfakes. It helps businesses stay resilient against evolving cyberattacks. Tune in to the episode to discover how Purple AI enhances cybersecurity. |
|
| 25-04-2025 |
Splunk |
Splunk’s Audra Streetman, Jamie Garcia, and Anto Tossounian Nominated for CyberScoop 50 Awards |
Awards & Honours |
Splunk celebrates the nomination of Audra Streetman, Jamie Garcia, and Anto Tossounian for the 2025 CyberScoop 50 Awards, recognizing their cybersecurity leadership. Streetman is nominated as a Most Inspiring Up & Comer, while Garcia and Tossounian are recognized for Industry Leadership. Their work with Splunk’s threat intelligence and analytics tools drives industry change. |
|
| 25-04-2025 |
Ansible |
Red Hat Ansible Automation Platform Simplifies IT Operations for Enterprises |
Feature |
Red Hat Ansible Automation Platform streamlines IT tasks, enhancing security and efficiency across hybrid cloud and network environments. Recognized as a leader by Forrester, it supports AI adoption and reduces operational downtime. Businesses like Southwest Airlines save time with its automation tools. Visit Red Hat’s website to explore how Ansible Automation Platform can optimize your IT workflows. |
|
| 25-04-2025 |
Workato |
Workato’s Recipe Copilot Enhances AI Automation with User-Driven Insights |
Feature |
Workato’s Recipe Copilot improves business automation by adapting to real user interactions, ensuring reliable AI-driven workflows. A new methodology uses simulated prompts to refine AI accuracy before launch. This approach boosts productivity for tasks like employee onboarding and IT help desk operations. Discover how Workato’s Recipe Copilot can streamline your automation processes. |
|
