Ai start-ups hire mathematicians to build verifiable systems

Start-ups including Axiom Math and Harmonic are attracting hundreds of millions in funding to create AI tools that solve advanced mathematics and verify their own results.

Mathematicians such as Ken Ono have left university posts to join these firms. Ono went on leave from the University of Virginia in 2025 to work at Axiom Math in Palo Alto, California. The company was founded by his former student Carina Hong, who studied at Stanford University.

관련 기사

A bustling crowd of developers at an AI and blockchain hackathon in Miami Beach, building innovative projects with AI agents and drones.
AI에 의해 생성된 이미지

AI agents spark startup frenzy at consensus miami hackathon

AI에 의해 보고됨 AI에 의해 생성된 이미지

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.

AI에 의해 보고됨

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.

AI에 의해 보고됨

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.

이 웹사이트는 쿠키를 사용합니다

사이트를 개선하기 위해 분석을 위한 쿠키를 사용합니다. 자세한 내용은 개인정보 보호 정책을 읽으세요.
거부