OpenAI 表示，其新模型解决数学问题的速度比人类检查证明的速度还要快
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 在 HackAlem AI 上表彰三支团队，奖励其在人工智能领域的开发成果
在阿斯塔纳举行的 AI Month 期间，举办了最大规模 AI 黑客马拉松 HackAlem AI 的颁奖典礼。该活动被纳入 NVIDIA 创始人兼 CEO 黄仁勋 访问哈萨克斯坦的行程。黑客马拉松获奖者获得了与黄仁勋 亲自会面的机会，并……
«用AI玩具欺骗总统》：阿别诺夫批评哈萨克斯坦官员
哈勒克委员会成员穆拉特·阿别诺夫批评部委和州政府未加载国家超级计算机。据他称，官员们继续使用俄罗斯服务。这是因为他们担心腐败计划会被揭露……