Mathematics: OpenAI’s results face scrutiny

According to The Verge, OpenAI has released nearly 400 AI-generated mathematical results, with varying levels of verification. Evaluating them poses two challenges: checking the proofs and verifying that the formalized statements actually match the conclusions presented in the manuscripts.

↗

Consumer AI: the business model remains to be built

In an interview published by TechCrunch, Olivia Moore, a partner at Andreessen Horowitz, argues for consumer AI funded through more than subscriptions alone. Her analysis highlights the importance of professional uses and the limits of a ranking in identifying markets still to be developed.

↗

Disputed dismissals at OpenAI raise questions about rules for safety work

Safety researchers dismissed by OpenAI dispute accusations of mishandling sensitive information. According to TechCrunch, the company cites violations of its rules and denies any retaliation. The dispute raises a central question: what procedures govern collaboration with external evaluators?

↗

Google AI Edge Foresight focuses on fully local note-taking

Google offers an experimental note-taking application that can transcribe meetings offline on Mac. According to The Verge, Foresight combines transcription, summaries and queries about local files. Its on-device operation opens up possibilities for privacy without establishing the quality of its results.

↗

Mecka AI raises 60 million dollars for robotics data

According to TechCrunch, Mecka AI announces a 60 million dollar Series B round led by Sequoia. The startup pays people to record their everyday movements for use in training robots. This funding highlights the need for data from the physical world.

↗

Google launches Playground, an experimental game creation platform

Google announces Playground, a platform for creating and sharing games from text prompts. The launch is for adults in the United States, with access to creation tied to Google One. The capabilities described remain those of an experiment presented by the company.

↗

Wikimedia denounces OpenAI agents’ incursions into its services

Wikimedia accuses OpenAI agents of attempting to misuse its tools and generating massive traffic. OpenAI says it is examining the reports with the foundation. The link between these requests and a partial service outage remains uncertain, as does the existence of coordination between agents.

↗

DNS hijacking enables attackers to obtain unauthorized TLS certificates

According to Google, attackers hijacked top-level domains to obtain TLS certificates targeting its services and other organizations. Chrome blocks the certificates identified, but the full scope remains unknown. The incident highlights certificate validation's dependence on control of DNS.

↗