Llm

• 

  DeepSeek Prover V2, an Open-Source Mathematics-Focused AI Model, Released

  DeepSeek, the Hangzhou, China-based artificial intelligence (AI) firm, released an updated version of its Prover model on Wednesday. Dubbed DeepSeek-Prover-V2, it is a highly specialised model that focuses on proving formal mathematical theorems. The large language model (LLM) uses the Lean 4 programming language to check if the mathematical proofs...

• 

  Xiaomi MiMo AI Models Launched With Efficient Reasoning, Small Size

  Xiaomi released an open-source reasoning-focused artificial intelligence (AI) model on Tuesday. Dubbed MiMo, the family of reasoning models innovate the optimisation of reasoning capability in a relatively smaller parameter size. This is also the first open-source reasoning model by the tech giant, and it competes with Chinese models such as DeepSe...

• 

  OpenAI Updates GPT-4o to Boost Intelligence and Personality, Faces Unexpected Side Effects

  OpenAI updated the GPT-4o artificial intelligence (AI) model on Saturday. The update was aimed at improving the intelligence and personality aspects of the large language model (LLM), which powers the default experience for those on the free tier of ChatGPT. However, on Sunday, the company found that the update had unexpected results, and the AI mo...

• 

  OpenAI’s o3 AI Model Falls Short of Benchmark Claims in FrontierMath Test

  OpenAI’s o3 artificial intelligence (AI) model, which was released last week, is underperforming on a specific benchmark. Epoch AI, the company behind the FrontierMath benchmark, highlighted that the publicly available version of the o3 AI model scored 10 percent on the test, a much lower value than the company’s claim at launch.

• 

  OpenAI o3 and o4-Mini AI Models With Visual Reasoning Capabilities Released

  OpenAI released two new artificial intelligence (AI) models on Wednesday. Dubbed o3 and o4-mini, these are the company’s latest reasoning-focused models with visible chain-of-thought (CoT). The San Francisco-based AI firm stated that these models come with visual reasoning capability, which means they can analyse and “think” about an image to...

• 

  OpenAI Releases GPT-4.1 Family of AI Models in API, Said to Outperform GPT-4o

  OpenAI released three new artificial intelligence (AI) models on Monday. Staying true to its unusual naming convention, the company called this the GPT-4.1 family of AI models. There are three variants — GPT-4.1, GPT-4.1 mini, and GPT-4.1 nano. The San Francisco-based AI firm said that these models outperform the GPT-4o and GPT-4o mini across sev...

• 

  Google Introduces Ironwood, Its Seventh Generation TPU Designed to Handle AI Inference

  Google introduced the seventh generation of its Tensor Processing Unit (TPU), Ironwood, last week. Unveiled at Google Cloud Next 25, it is said to be the company’s most powerful and scalable custom artificial intelligence (AI) accelerator. The Mountain View-based tech giant said the chipset was specifically designed for AI inference.

• 

  Google Releases Cost-Efficient and Low-Latency Gemini 2.5 Flash AI Model

  Google released its second artificial intelligence (AI) model in the Gemini 2.5 family on Thursday. Dubbed Gemini 2.5 Flash, it is a cost-efficient low-latency model which is designed for tasks requiring real-time inference, conversations at scale, and those which are generalistic in nature. The tech giant will soon make the AI model available on b...

• 

  Amazon Nova Sonic Audio Generation AI Model Released, Can Process Speech in Real-Time

  Amazon introduced a new artificial intelligence (AI) model in its flagship Nova family of models on Tuesday. Dubbed Amazon Nova Sonic, it is a voice generation model capable of generating human-like speech. However, it is not a text-to-speech (TTS) tool; instead, it can process voice input in real time and respond to it.

• 

  Runway Introduces Gen-4 Turbo Video AI Model With Faster Generation Speeds

  Runway introduced a new artificial intelligence (AI) video generation model in the recently released Gen-4 family on Monday. Dubbed Gen-4, the latest AI model prioritises generation speed while optimising efficiency. The AI firm says this AI model will help users in faster iterations and exploring creative vision for a project. The new addition to ...

• 

  Amazon Nova Reel 1.1 AI Model Released; Can Generate Up to Two-Minute-Long Videos

  Amazon introduced a new artificial intelligence (AI) video generation model that can create up to two minutes of video content with a single prompt. Announced on Monday, the Amazon Nova Reel 1.1 AI model is the successor to the Nova Reel model, which was introduced last year at its re:Invent event.

• 

  Google Moves Gemini 2.5 Pro to Public Preview, Offers Higher Rate Limits in AI Studio

  Google moved the Gemini 2.5 Pro artificial intelligence (AI) model to public preview last week. The Mountain View-based tech giant released its latest flagship tier AI model last week as an experimental preview with limited rate limits. But now, those using the Gemini application programming interface (API) or accessing the model via the Google AI ...

• 

  Meta Llama 4 Scout and Maverick AI Models With MoE Architecture Released

  Meta introduced the first artificial intelligence (AI) models in the Llama 4 family on Saturday. The Menlo Park-based tech giant released two models — Llama 4 Scout and Llama 4 Maverick — with native multimodal capabilities to the open community. The company says these are the first open models built with Mixture-of-Experts (MoE) architecture.

• 

  Midjourney Releases V7 Image Generation Model in Alpha, Comes With a Faster and Cheaper Draft Mode

  Midjourney released its latest image-generation artificial intelligence (AI) model, V7, on Friday. The V7 AI model is currently available in an alpha version, and the company is currently letting its user base test the model’s capability. Arriving nearly a year after its predecessor V6, the V7 Alpha model is also the first in the AI firm’s line...

• 

  AI Model Outsmarts Turing Test, Deemed More Human Than Humans In New Study

  Devised in 1950, the Turing Test - named after British mathematician and computer scientist, Alan Turing, has been the standard way of assessing AI.