OpenAI's internal version of Astra, its next major model, solved ten previously open mathematics problems. The model required roughly $2,000 worth of tokens (at Sol API rates) to find the solutions, which humans then prepared into manuscripts and formalized using Lean, a proof-verification system.
Summaries like this, in your inbox every morning.
Pick your industry and the AI tools you use, and get news related to your work every day.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.
Germany's government will unveil an AI agreement with Nvidia next week, according to government sources cited…
Amazon introduced Bee Frontier, a wearable personal AI, for $74.99 in Onyx, Lavender and Sage, and Bee Eclipse…
Wall Street ended down sharply, with worries about the AI trade and high oil prices weighing on the market
Citi has become the latest US bank to restrict AI agents from accessing accounts, per the Financial Times
Goldman Sachs says German exports have rebounded, driven by demand from the US, the EU, and the AI buildout
Forbes reports that Coca-Cola is using AI to reinvent its marketing, and presents the company's approach as a…
