AIBender fundraising begins, with SupGen integration planned
A member of the Bender team says they are buying a flight to the U.S. to seek venture capital investors who share the team's vision.
TLDR
Bender's team announced on September 20 that fundraising had begun, with one member planning a U.S. trip to seek investors—a search they expected to be difficult. In a follow-up reply, the same team member said Bender would be combined with SupGen, with the goal of proving Bend 2 theorems faster than large language models.
Combined views
9.8K
1 Source, first seen 6h ago
Bender fundraising begins, with SupGen integration planned
A member of the Bender team says they are buying a flight to the U.S. to seek venture capital investors who share the team's vision.
TLDR
Bender's team announced on September 20 that fundraising had begun, with one member planning a U.S. trip to seek investors—a search they expected to be difficult. In a follow-up reply, the same team member said Bender would be combined with SupGen, with the goal of proving Bend 2 theorems faster than large language models.