A rivalidade da OpenAI com matemáticos só está aumentando | TechCrunch
Fatos de fora, checados: https://techcrunch.com/2026/09/11/openais-feud-with-mathematicians-is-only-escalating
- Disrupt 2026: OpenAI, Anthropic, Replit, and more take over 6 industry stages. 25% off tickets now
- This week, NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit a collaborator who works for Anthropic for solving an important math problem, and wondered if the company had used their work with Codex to produce its own ground-breaking proof over a marathon weekend of inference.
- On Thursday, OpenAI withdrew its sponsorship of a math event at CalTech after the company was criticized by researchers at the university.
- While the ability of AI models to solve the world’s outstanding mathematical challenges could be a boon to humanity, the signatories of the new letter argue that will only be the case if those solutions can be understood and communicated by the math community, and ultimately, the rest of the world.
- This letter follows the Leiden Declaration, released by a working group of mathematicians in June. That document also grapples with the ways that LLM proofs will change their work, and offers a set of recommendations for mathematicians, institutions, and policymakers.
🚫 Bit Proibido — shorts diários sobre IA e o futuro no @bitproibido | feed completo | base do projeto: crom.run
Deixe um comentário