Axiom Math, một startup có trụ sở tại Palo Alto, tuyên bố hệ thống AI của họ, AxiomProver, đã giải quyết nhiều bài toán toán học chưa được giải, bao gồm các giả thuyết quan trọng trong hình học đại số và Giả thuyết Fel. Được thành lập bởi Carina Hong, công ty khẳng định các bằng chứng do AI tạo ra, được đăng trên arXiv vào tháng 2 năm 2026, đang trong quá trình đánh giá đồng cấp, mặc dù chưa có bài báo nào được xác nhận xuất bản trên tạp chí. Hệ thống sử dụng xác minh chính thức để đảm bảo tính hợp lý logic, phân biệt nó với các kết quả AI thông thường. Axiom Math đã huy động được 264 triệu đô la vốn, với vòng gọi vốn Series A gần đây trị giá 200 triệu đô la do Menlo Ventures dẫn đầu, định giá công ty ở mức 1,6 tỷ đô la. Đội ngũ của startup bao gồm Ken Ono, một nhà lý thuyết số nổi tiếng. Nỗ lực của công ty phù hợp với xu hướng rộng lớn hơn trong nghiên cứu toán học dựa trên AI, như các sáng kiến như DeepMind AlphaProof của Google.