Ai Programming

• 

  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...

• 

  OpenAI Introduces Flex Processing in API to Help Developers Cut AI Usage Costs

  OpenAI is introducing a new service tier for developers starting Thursday via its application programming interface (API). Dubbed Flex processing, it reduces the AI usage costs by half for developers, compared to standard pricing. However, the lowered prices come with the consequence of slower response times and occasional resource unavailability.

• 

  Elon Musk’s xAI Releases Grok 3 in API for Developers, Introduces a ‘Fast’ Model

  Elon Musk’s xAI, the artificial intelligence (AI) firm behind the Grok chatbot, released a new application programming interface (API) on Thursday. The new API is for the Grok 3 AI model, which the company introduced in February. So far, the AI model has been available to the end consumer via the X (formerly known as Twitter) platform, the dedica...

• 

  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 ...

• 

  IIT Bombay Launches Online PG Diploma In Computer Science And Engineering

  This ePGD consists of six courses covering areas such as Advanced Programming, Computing Systems, Artificial Intelligence (AI), and Machine Learning (ML).

• 

  OpenAI Introduces New Audio Models in API, Can Be Used for Agentic Workflows

  OpenAI, on Thursday, introduced new audio models in application programming interface (API) that offer improved performance in accuracy and reliability. The San Francisco-based AI firm released three new artificial intelligence (AI) models for both speech-to-text transcription and text-to-speech (TTS) functions. The company claimed that these model...

• 

  xAI Launches New Grok API for Developers With Image Generation Capability

  xAI, the Elon Musk-led artificial intelligence (AI) firm behind Grok, released a new application programming interface (API) on Wednesday. The new API is unique as it is the first developer tool that supports image generation. The company has lately been focused on developers and has released as many as five APIs since the first one arrived in Nove...

• 

  OpenAI Introduces o1-Pro API for Developers as Its Most Expensive Offering Till Date

  OpenAI released a new application programming interface (API) for the recently introduced o1-pro artificial intelligence (AI) model on Wednesday. The new API will offer developers better responses than any of the existing models by the AI firm by using more compute. However, the company is passing through the higher computational costs back to the ...

• 

  OpenAI Unveils Responses API, Agents SDK to Help Developers Build AI Agents

  OpenAI made several developer-focused announcements in a live stream on Tuesday. The San Francisco-based AI giant is introducing a new application programming interface (API) and an open-source software development kit (SDK) that will allow developers to build artificial intelligence (AI) agents and manage multi-agent workflows. Alongside, the comp...

• 

  Mistral Introduces New OCR API That Can Convert PDF Documents Into AI-Ready Format

  Mistral introduced the Mistral Optical Character Recognition (OCR) application programming interface (API) on Thursday. The artificial intelligence (AI) model is capable of analysing and processing PDF documents and converting it into an AI-ready text format such as Markdown or raw text file. The tool is capable of extracting data from PDFs to make...

• 

  Microsoft Rolls Out Copilot for Windows App Update With New UI to Windows Insiders

  Microsoft has announced the rollout of a new update for the Copilot for Windows app. Testers registered with the Windows Insider Program can download the update via the Microsoft Store, through which they can access the changes. It includes a new user interface (UI) which introduces a side panel featuring all the conversations with the artificial i...

• 

  Samsung One UI 7 Beta Expands to Galaxy Z Flip 6, Galaxy Z Fold 6 in India, US, and More

  Samsung on Wednesday announced the expansion of One UI 7 Beta to more devices and regions. The beta program, first introduced in December 2024, brings Android 15 to Galaxy devices, introducing visual enhancements with more customisation options, a new notification system called Now Bar, redesigned One UI widgets, and an improved user interface (UI)...

• 

  Google Says Commercial Quantum Computing Applications Arriving Within Five Years

  Google aims to release commercial quantum computing applications within five years. "We’re optimistic that within five years we’ll see real-world applications that are possible only on quantum computers," founder and lead of Google Quantum AI Hartmut Neven said in a statement.

• 

  Australia Bans DeepSeek AI Program On Government Devices

  Australia has banned DeepSeek from all government devices as it seeks to block "an unacceptable level of security risk" presented by the Chinese artificial intelligence program, according to an official order Tuesday.

• 

  China's DeepSeek Evades Questions On Arunachal Pradesh: "Sorry, That's Beyond..."

  This exchange has sparked interest and raised questions about the chatbot's programming and potential biases.