Loading activity…
imjustnewatai
AI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
Technology
OpenAI says it published the math and computer science outputs, while an external group will write up the physics result.
AI
OpenAI says its models helped identify the employee who planted the device; the FBI made an arrest.
Technology
An October 6 post claimed the papers would cover every math problem OpenAI had solved that day.
Technology
A user said on October 1 that the model was expected the following week and called it “very very very good.”
Technology
Three sources say the company is considering a release as OpenAI's GPT-6 Astra gains traction; no launch has been announced.
AI
The lab published internal measurements on AI R&D progress and safety resource use.
