#agi

271 posts

Dec 14, 2023 · Essay · 1 min
Lean Copilot: A New Step in Theorem Proving Automation
Lean Copilot is a new tool that changes the theorem proving process with the help of AI.
Dec 13, 2023 · Essay · 1 min
Brain vs LLM: Who's Better?
From a technical standpoint, the brain is no better than an LLM, but modern models can use all "senses".
Dec 8, 2023 · Essay · 1 min
Attention Test: How Many Murderers in the Room?
No LLM has answered the question about the number of murderers in the room correctly.
Dec 6, 2023 · Essay · 1 min
Google Launches Its Multimodal GPT - Google Gemini
Google has launched Gemini, a new family of multimodal AI models with outstanding capabilities.
Nov 30, 2023 · Essay · 1 min
Conflict at OpenAI - Outcomes
Sam Altman returns as CEO of OpenAI, and the board of directors has been updated.
Nov 22, 2023 · Essay · 1 min
Sam Altman and Greg Brockman Return to OpenAI
Sam Altman and Greg Brockman are back at OpenAI.
Nov 20, 2023 · Essay · 1 min
The Conclusion with Sam Altman and Greg Brockman
Sam Altman and Greg Brockman are leaving to work at Microsoft. The shortest interview series in Microsoft's history.
Nov 19, 2023 · Essay · 1 min
Ilya Sutskever on AI: It's Not So Simple
Ilya Sutskever says in the video that "it's not so straightforward" regarding AI issues.
Nov 18, 2023 · Essay · 1 min
Shock and Sadness Over the Board's Decision
Sam and I are shocked and saddened by what the board did today.
Nov 18, 2023 · Essay · 1 min
Greg Brockman Leaves OpenAI
Greg Brockman, President and Co-Founder of OpenAI, is leaving the company.

← Back to essays