Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Catégorie : AI
Advancing computer use with Ironclad
Learn how OpenAI and Ironclad are training and evaluating AI agents on complex contracting workflows to advance computer use for professional work.
DeepSeek trie ses investisseurs pour un tour de 80 milliards de yuans
DeepSeek s’apprête à boucler un tour de financement d’au moins 80 milliards de yuans (10,6 milliards d’euros), bien au-delà des 50 visés initialement, avec Tencent et CATL en tête de table. Le laboratoire sélectionne ses investisseurs et viserait une entrée en Bourse à Shanghai début 2027, selon Reuters.
Atlassian and OpenAI expand partnership to turn enterprise knowledge into action
Atlassian and OpenAI are expanding their partnership to connect frontier models with enterprise knowledge and help teams plan, build, and deliver work.