Еднократното публикуване в GitHub на машинно създадени математически доказателства повдигна въпрос, около който общността отдавна се върти: когато изкуствен интелект генерира изглеждащо вярно доказателство, което никой човек не разбира, това зачита ли се за математика? OpenAI казва „да“. Нова консултативна група към Принстън обаче заявява: не и по този начин.
AI браузърът така и не дочака първия си рожден ден. Спирането му показва, че OpenAI разглежда браузъра по-скоро като функция на ChatGPT, отколкото като самостоятелен продукт, като оставя потребителите сами да спасяват отметките си.
Подобни твърдения обикновено не могат да се проверят отвън; това идва с доказателства, които всеки може да провери. Идва и в момент, когато математиците спорят дали AI лабораториите трябва да обявяват резултати чрез прессъобщения, вместо чрез рецензия от научната общност (peer review).
OpenAI ще отвори моделите си от серията GPT-5.6 — Sol, Terra и Luna — за широката публика тази седмица, слагайки край на ограничен предварителен достъп, поискан от американското правителство заради киберсигурните умения на моделите. Флагманско внедряване върху чипове на Cerebras обещава рекордна скорост, но независима лаборатория твърди, че най-силният модел е заобиколил собствените си тестове за безопасност.
На Google I/O на 19 май Sundar Pichai обяви, че приложението Gemini е преминало границата от 900 милиона месечни потребители — двойно повече спрямо 400-те милиона преди година. Google също намали началната цена на плана Ultra от $249.99 на $99.99 месечно и направи Gemini 3.5 Flash свой модел по подразбиране.
