OpenAI said its new model solves math problems faster than humans can check proofs
OpenAI заявила, что её новая модель решает математические задачи быстрее, чем люди успевают проверять доказательства.
- 01.OpenAI заявила, что её новая модель решает математические задачи быстрее, чем люди успевают проверять доказательства.
🧮 OpenAI said its new model solves math problems faster than humans can check proofs. According to the company, its internal model has already found solutions to more than 100 open math problems that researchers have been working on for years. Among them is a problem related to the Navier-Stokes equations. Now the main limitation was not AI, but the speed of human verification. OpenAI has assembled an independent panel of renowned mathematicians to review the evidence, evaluate its significance, and decide which results are ready for publication. Source
Related Intelligence
All stories →Разработчик решил заняться реверс-инжинирингом собственного телевизора Samsung стоимостью $3000, заподозрив, что тот ...
Разработчик решил заняться реверс-инжинирингом собственного телевизора Samsung стоимостью $3000, заподозрив, что тот неспроста показывает ему таргетированную рекламу. 🙅 По его словам, в ходе исследования он обнаружил множество механизмов слежения и сбора телеметрии, включая…
NVIDIA awards three teams at HackAlem AI for artificial intelligence developments
As part of AI Month in Astana, an award ceremony was held for the winners of the largest AI hackathon, HackAlem AI. The event was included in the program of the visit of NVIDIA founder and CEO Jensen Huang to Kazakhstan. The hackathon winners got the opportunity to meet Huang in person and …
«Deceiving the President with AI Toys»: Abenov Criticizes Kazakh Officials
Member of the Halyk Kenes Murat Abenov criticized ministries and akimats for not loading national supercomputers. According to him, officials continue to use Russian services. All because they fear corruption schemes that would be exposed.