LATINUM AGENTIC COMMERCE LIMITED
● ActiveActive Irish company in Dublin, incorporated 15 May 2025 — NACE 62.01 (computer programming), CRO 788818.
Overview
Latinum Agentic Commerce Limited is a mathematics research company based in Ireland, operating under the CRO number 788818. The company focuses on AI-driven mathematical research, offering a platform called Spock, which combines large language models with the Lean proof assistant to generate verifiable, formal mathematical proofs. Its research aims to formalise academic papers into machine-readable, verifiable outputs, with a current focus on algebraic design theory, including structures like Hadamard matrices. The company collaborates with universities and aims to build a Frontier Maths Library where mathematical research is automated and verified. The name suggests a focus on AI in mathematical reasoning and proof verification. A podcast and GitHub repository are linked to its research mission. Beyond registry-level identification, no further business details are publicly captured.
Location & registered address
Industry classification
NACE Rev. 2 — 62.01 — Computer programming
Class 62.01 covers computer programming activities — bespoke software development, web and mobile application development, and software engineering services.
Company facts
Sourced from Companies Registration Office (CRO)
Legal name
LATINUM AGENTIC COMMERCE LIMITED
CRO number
788818
Status
Active
Legal form
Ltd - Private Company Limited By Shares
Incorporated
15 May 2025
Operating years
1 year
NACE Rev. 2
Computer programming
Registered county
Dublin
Registered office
DOGPATCH LABS, Unit 1, The Chq Building, North Wall Quay, Dublin 1, DUBLIN, Ireland
Frequently asked questions
What does LATINUM AGENTIC COMMERCE LIMITED do?
Latinum Agentic Commerce Limited is a mathematics research company based in Ireland, operating under the CRO number 788818. The company focuses on AI-driven mathematical research, offering a platform called Spock, which combines large language models with the Lean proof...
Where is LATINUM AGENTIC COMMERCE LIMITED based?
LATINUM AGENTIC COMMERCE LIMITED's registered office is at Dogpatch Labs, Unit 1, The Chq Building, North Wall Quay, Dublin 1, Dublin, Ireland.
When was LATINUM AGENTIC COMMERCE LIMITED founded?
LATINUM AGENTIC COMMERCE LIMITED was incorporated with the Irish Companies Registration Office on 15 May 2025, a year ago.
Is LATINUM AGENTIC COMMERCE LIMITED still active?
Yes. The company is listed with the Companies Registration Office under status 'Normal'.
What is the CRO number for LATINUM AGENTIC COMMERCE LIMITED?
788818.
Where this data comes from
About this summary — the prose Overview above is generated by an LLM from the cited sources. Factual fields (CRO number, status, dates, address, NACE code) come directly from the Companies Registration Office. If you spot an error, please report it →
Explore related companies
Other Dublin companies in this sector