AI-MO released an open-source training pipeline kimina-prover-rl for Lean 4 theorem proving and two open-weight models: a 1.7B-parameter model scoring 76.63% Pass@32 on MiniF2F and a 0.6B-parameter…
Arm & ExecuTorch 0.7: Bringing Generative AI to the masses
Arm and ExecuTorch announce that KleidiAI will be enabled by default in ExecuTorch 0.7 beta, bringing automatic AI acceleration to Arm CPUs, including older devices with SDOT support, enabling…
Hugging Face announces FilBench, a comprehensive evaluation suite for assessing LLM performance on Tagalog, Filipino, and Cebuano across four categories: Cultural Knowledge, Classical NLP, Reading…
Hugging Face introduces TextQuests, a benchmark for evaluating LLMs on text-based video games, testing long-context reasoning and learning through exploration.
Basis built AI agents using OpenAI models including o3, o3-Pro, GPT-4.1, and GPT-5 to help accounting firms save up to 30% of their time and expand capacity for advisory and growth.
OpenAI sent a letter to California Governor Gavin Newsom advocating for harmonized state-level AI regulation that aligns with national and emerging global standards.
Together AI and Parsed demonstrate that fine-tuned small open-source models, using Together AI's fine-tuning platform, can outperform large closed-source models by 60% on specialized healthcare tasks…
Together AI announces support for OpenAI's newly open-sourced gpt-oss models (20B and 120B parameters) on its platform and publishes a comparison of gpt-oss-120B against o4-mini across five practical…
Baidu announced FastDeploy 2.0, an end-to-end toolkit for efficient deployment and high-performance inference of large models, with native support for the ERNIE 4.5 family.
LG AI Research and The Jackson Laboratory are collaborating on AI-driven Alzheimer's disease research, with six joint papers accepted at ICML 2025 and AAIC 2025.
Z.ai launched GLM-4.5V, a 100B-scale open-source vision reasoning model that supports video understanding, visual grounding, and GUI agents, and added a new thinking mode.