Anthropic✓
@AnthropicAI
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of
Ethan Mollick
@emollick
The discourse from folks working at the Labs today is super weird, even for AI discourse, and suggests to me that everyone is in reaction mode to fast moving events, both in revealed AI ability and in public perception.
OpenAI
@OpenAI
Small business owners deserve every advantage. Meet the 16 plugins that help take work off your plate so you can focus on what matters most—running your business. Explore the small business collection: https:// chatgpt.com/plugins?catego ry=small-business&utm_medium=social&utm_source=social&utm_campaign=PLG-ChatGPT_SMB_Plugin_Directory …
Ethan Mollick
@emollick
WeWorm: https:// calif.io/research/weworm HFI:
Ethan Mollick
@emollick
Increasingly clear over the past two weeks that however much your company is worried about the cybersecurity environment, it is not worried enough. The WeWorm demonstration shows how effective bad actors can be. The Hugging Face Incident shows you don’t even need bad actors.
