In its public GitHub repository, NEAR AI stated that replaying the PutnamBench benchmark usage at later listed DeepSeek off-peak prices would cost $331.

Overview Debates Related claims Topics Sources

The UK Financial Conduct Authority and the Bank of England are assessing runtime governance tools and kill switches for autonomous artificial intelligence trading agents.

Binance AI Pro requires explicit user approval before a strategy can go live, and any modification to a strategy's logic produces a new version requiring re-approval.

Binance's automated code checks for AI Pro confirm logic execution without errors but explicitly do not assess a strategy's profitability, quality, or likely performance.

Binance AI Pro initially supports spot and USD-margined futures trading strategies on Binance's website and app, subject to regional restrictions.

Binance AI Pro trading agents cannot independently transfer funds or send money from an AI Strategy Account to outside addresses.

Binance AI Pro allows users to test strategies with virtual funds using paper trading before committing capital to live execution.

Binance AI Pro builds strategy workflows by combining a large language model with a finance-specific agent framework developed by Binance.

Binance AI Pro supports non-trading administrative tasks including daily market reports, market monitoring, subscription alerts, and price signal generation.

Binance AI Pro converts plain-language trading instructions specifying assets, buying or selling conditions, and risk limits into an editable visual workflow without requiring coding skills.

Desktop users of Binance AI Pro can inspect and adjust workflow steps via Strategy Canvas beside the chat, while mobile users refine strategies directly through chat prompts.

Binance AI Pro's free Standard plan provides 250,000 monthly usage credits and allows paper trading and live deployment, but does not support credit top-ups.

Live strategies in Binance AI Pro execute inside a dedicated AI Strategy Account separated from the user's main balance, which must be manually funded by the user.

Binance AI Pro's Premium plan costs 19.99 USDC monthly, offering 10 million monthly credits, additional AI models such as ChatGPT Sol and Claude Opus where available, and credit purchasing options.

Binance made its AI Pro trading agent available to all users on October 19, 2026, expanding access through a free tier following a paid beta that began on March 25, 2026.

Existing subscriptions to Binance's March 2026 beta remain active at $9.99 monthly, allowing users to run the beta and the new free Standard plan concurrently.

Binance AI Pro's risk management controls follow bounded autonomy principles outlined in a Binance Global Policy paper titled 'Know Your Agent: Building the Compliance Layer for Agentic Finance'.

NEAR AI achieved first place by total solves on the Lean Eval v1 formalization leaderboard, solving 670 upstream PutnamBench problems alongside two corrected formalizations.

Mathematicians and computer scientists emphasize that automated formal checking in Lean does not eliminate the need for independent human evaluation of mathematical proofs and assumptions.

OpenAI generated formal mathematical proofs using Lean, an open-source programming language and proof assistant that checks logical correctness against strict rules.

NEAR AI reported that its automated agent solved 672 Lean problems from the PutnamBench benchmark at a total submission-time model cost of $111.85, averaging approximately $0.17 per problem.