Start-ups de IA contratam matemáticos para criar sistemas verificáveis

Start-ups como a Axiom Math e a Harmonic estão atraindo centenas de milhões em financiamento para criar ferramentas de IA que resolvem problemas matemáticos avançados e verificam os seus próprios resultados.

Matemáticos como Ken Ono deixaram cargos universitários para se juntar a essas empresas. Ono entrou em licença da Universidade da Virgínia em 2025 para trabalhar na Axiom Math em Palo Alto, na Califórnia. A empresa foi fundada por sua ex-aluna Carina Hong, que estudou na Universidade Stanford.

Artigos relacionados

A bustling crowd of developers at an AI and blockchain hackathon in Miami Beach, building innovative projects with AI agents and drones.
Imagem gerada por IA

AI agents spark startup frenzy at consensus miami hackathon

Reportado por IA Imagem gerada por IA

Nearly 1,000 developers gathered in Miami Beach for the EasyA Hackathon at Consensus Miami 2026, building AI-native projects focused on autonomous payments, drones, and consumer apps. The event highlighted a shift toward practical AI and blockchain applications.

AI Labs, an AI-driven crypto trading company backed by Academic Labs, has announced the launch of a new platform in Singapore designed to enhance cryptocurrency trading through data analysis and automation. The platform aims to make advanced analytical tools more accessible to a broader range of traders. It integrates visual reasoning, narrative monitoring, and automated execution features.

Reportado por IA

Anthropic raised $65 billion in a new funding round and reached a $900 billion valuation, surpassing OpenAI.

Major Brazilian companies are distributing monthly artificial intelligence credits so employees can experiment with models like ChatGPT and Claude. The initiative aims to encourage useful tool creation and boost technology adoption in daily operations.

Reportado por IA

At the American Physical Society Global Physics Summit in Denver, Colorado, thousands of researchers are using AI chatbots to simplify complex talks. The event has sparked intense discussions on whether artificial intelligence will transform physics research. Speakers presented contrasting views on AI's potential and limitations.

Este site usa cookies

Usamos cookies para análise para melhorar nosso site. Leia nossa política de privacidade para mais informações.
Recusar