General AI
OpenAI launches math advisory group amid controversy
TechCrunch AIhigh confidence
Why it matters
- →Establishes a formal mechanism for external oversight of AI-generated mathematical proofs.
- →Highlights growing tension between AI labs and the academic mathematics community regarding research pace and validity.
- →Signals OpenAI's strategy to legitimize its expanding role in fundamental scientific discovery through institutional partnerships.
OpenAI announced the formation of an independent Advisory Group on Mathematics and Artificial Intelligence, hosted at the Institute for Advanced Study in Princeton. The group aims to provide mathematicians with a voice in how AI-driven mathematical research is conducted and released. This announcement follows controversy surrounding OpenAI's claim that its internal model resolved over 100 open math problems, including the Navier-Stokes Millennium Prize problem. While the advisory group can offer unsolicited advice and control its own membership, it will not have decision-making power to slow down or redirect OpenAI's research pace. Nine prominent mathematicians have been named as initial members, though only one signed a recent open letter criticizing AI labs' approach to mathematical work.
Read originalMore from TechCrunch AI
© TechCrunch AIMarket & Regulationother
Meta's Muse outpaces ChatGPT in early mobile downloads
Third-party data suggests Meta’s new AI app Muse is gaining traction faster than ChatGPT did at launch. In the U.S. and Canada, Muse hit 1.8 million iOS downloads in its first 12 days, beating ChatGPT’s 1.3 million. Daily active users also lead, with 642,000 in the U.S. compared to ChatGPT’s 231,000 at the same stage. This surge likely stems from Meta’s cross-promotion across Instagram and Facebook, where over 95% of Muse users are already present. The app has climbed to No. 1 on the U.S. App Store, signaling strong initial adoption for a consumer-facing AI tool.
TechCrunch AI
© TechCrunch AIInvestment · $1M
Market & Regulationbusiness
Tabby raises $1M to automate bookkeeping with AI
Tabby is betting that small businesses don't need better accounting software, they just need it gone. By using Plaid for live data and AI to generate real-time financial dashboards, the startup aims to replace the manual entry layer entirely. With 5,500 users and $100k ARR, they are proving there is demand for this frictionless approach against giants like QuickBooks. This pre-seed round signals that investors are backing tools that remove software complexity rather than just adding AI features to existing workflows.
TechCrunch AI
© TechCrunch AIModels & Labsproductivity
Google launches $899 'Googlebook' with baked-in Gemini AI
Google is betting that deep OS-level AI integration can finally displace the Chromebook, launching the 'Googlebook' at $899 to capture the education market. The device replaces standard interactions with an AI cursor and introduces Rambler for dictation cleanup, aiming to migrate 50 million school devices to Gemini. While these features are incremental compared to autonomous agents, bundling a year of Google AI Pro makes the hardware upgrade financially viable for schools. This marks a strategic pivot from software-only AI access to hardware-anchored ecosystem lock-in.
TechCrunch AI
More in General AI
© The AI Daily BriefGeneral AIother
Mistral AI Reports Second Security Breach
AI company Mistral has confirmed a second security breach affecting its systems or data.
The AI Daily Brief
© Matt WolfeGeneral AIother
Threehalves Robot Designed for Hazardous Remote Operations
The Threehalves robot features a four-legged design with wrist-mounted tools and horn-integrated cameras for remote operation in dangerous environments.
Matt Wolfe
© MIT Technology Review AIGeneral AIother
MIT uses AI to map border deaths from police reports
This investigation reveals how generative AI transformed a tedious manual process into a scalable method for extracting geospatial data from thousands of unstructured police reports. By using Anthropic’s Claude API to parse over 4,000 pages of Texas sheriff records, the team identified coordinates for more than 1,500 migrant deaths near surveillance towers—a task that would have been prohibitively slow and expensive otherwise. The AI acted as a force multiplier for human verification, allowing journalists to focus on accuracy rather than data entry. This demonstrates a practical, high-impact use case for LLMs in investigative journalism where structured data is scarce.
MIT Technology Review AI