OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could…
- 01.OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification
- 02.Each result consumed about three hours of ChatGPT Pro compute on average
- 03.But 25 Fields Medal winners warn that mass-producing mathematical truths could…
This material is provided as an extended analytical summary.
Read full article at sourceRelated Intelligence
All stories →ChatGPT adds locked chats protected by PIN and Face ID
OpenAI has begun rolling out a locked-chat feature in ChatGPT that lets users hide individual conversations behind a PIN or biometric protection. The new feature helps keep personal chats inaccessible to others, even if the user hands over their phone.
Microsoft's MAI-DxO system diagnoses complex diseases more accurately than doctors
The MAI-DxO artificial intelligence system developed by Microsoft outperformed general practice physicians in diagnosing complex clinical cases. In internal tests, the system's diagnostic accuracy exceeded 80%, and in some metrics it was twice as high as doctors' results…
Sweden restricts access to ChatGPT and Claude on government work computers
Starting October 26, employees of the Swedish government apparatus cannot use the browser versions of ChatGPT and Claude on official computers. Authorities fear that using AI services not approved by the state could lead to leaks of confidential data, according to reports...