Lean

Anthropic: Claude-líkan sannaði síðustu setningu Fermats með tölvuaðstoð

Anthropic tilkynnti á fimmtudag að gervigreindarlíkanið Claude hafi lokið fyrstu tölvustaðfestu sönnuninni á síðustu setningu Fermats, einni frægustu niðurstöðu stærðfræðinnar. Claude vann að mestu sjálfstætt í 11 daga og skrifaði sönnunina í Lean-forritunarmálinu, þar sem það framleiddi 13 milljónir línur…