Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub. Source link More
Latest stories
-
-
Can the AI industry persuade data center opponents by getting rid of NDAs?
Amazon recently followed Microsoft’s lead and said it will no longer use nondisclosure agreements (NDAs) while negotiating with local governments over data centers. On the latest episode of TechCrunch’s Equity podcast, Sean O’Kane, Rebeccan Bellan and I discussed Amazon’s announcement, which came in the middle of a longer blog post making the case that data […] More
-
How Jump Trading is scaling quant research with ChatGPT
Jump Trading uses OpenAI to expand quantitative research. See how longer-running AI workflows combine multiple data sources with human review. Source link More
-
Here are the top AI agents that can live in your text messages
Rather than downloading another app, a growing number of agents can simply be texted like an ordinary person. You text it what you need, and it can remember context, connect to the apps and services you already use, and complete tasks on your behalf. That can mean scheduling an appointment, organizing a calendar, researching a […] More
-
Atlassian and OpenAI expand partnership to turn enterprise knowledge into action
Atlassian and OpenAI are expanding their partnership to connect frontier models with enterprise knowledge and help teams plan, build, and deliver work. Source link More
-
3 days to Disrupt 2026: Meet the startups before they hit mainstream
TechCrunch Disrupt 2026 starts in just three days. Moscone West is getting ready, hundreds of startups are preparing to show what they’ve built, and thousands of founders, investors, and tech leaders are heading to San Francisco. The three-day countdown is on, and so are your pass savings of up to $100. Grab your pass before […] More
-
GPT-6 and Intelligent UI for everyone
GPT‑6 is rolling out globally in ChatGPT with Intelligent UI, delivering faster responses with visuals and interactive experiences you can explore and use directly. Source link More
-
Cloudflare acquires Deno to improve its Workers programming model
Cloudflare announced Friday that it’s acquiring Deno, the startup behind the programming runtime of the same name. According to Cloudflare’s Kenton Varda, Cloudflare will use this acquisition to improve its Workers programming model and platform, which allows customers to build and run software on Cloudflare’s network. (Varda is principal engineer for Cloudflare Workers.) Deno — […] More
-
Radisson Hotel Group brings hotel discovery into ChatGPT
Radisson partnered with Accenture to build a ChatGPT plugin using OpenAI technology, helping travelers find, compare, and book hotels while planning their trips. Source link More
-
Microsoft’s Satya Nadella says AI models need an ‘emergency brake’
Microsoft CEO Satya Nadella is the latest tech executive to offer lengthy thoughts on how AI safety might be improved. In a Saturday morning post on X, Nadella wrote that it’s time “to step back and assess the trust architecture” of AI. “We can’t treat Super Intelligence as a set of nested black boxes and […] More
-
Helping teens learn, plan, and shape the future of AI
College Planner is coming to ChatGPT for Teens to help students manage college applications, alongside new flashcards, quizzes, and a teen AI council. Source link More
-
Apple discloses deal to hire team and license tech from personalized podcast startup Huxe
Apple revealed in a regulatory filing that it has reached an agreement to bring on team members and technology from personalized audio startup Huxe, in what’s commonly known as a reverse acqui-hire deal. As first reported in MacRumors, Apple disclosed to the European Commission that it has agreed to make employment offers to “certain employees […] More
Load More
Congratulations. You've reached the end of the internet.